Data.List.Set

Definitions

record ListSet : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkListSet : Eq v => List v -> ListSet v

Projections:

.eq : ListSet v -> Eq v

.rawValues : ListSet v -> List v

Hints:

Foldable ListSet

Ord k => Monoid (ListSet k)

Ord k => Semigroup (ListSet k)

Show k => Show (ListSet k)

.eq : ListSet v -> Eq v

Visibility: public export

eq : ListSet v -> Eq v

Visibility: public export

.rawValues : ListSet v -> List v

Visibility: public export

rawValues : ListSet v -> List v

Visibility: public export

empty : Eq v => ListSet v

Visibility: export

insert : v -> ListSet v -> ListSet v

Visibility: export

insert' : ListSet v -> v -> ListSet v

Visibility: public export

contains : v -> ListSet v -> Bool

Visibility: export

contains' : ListSet v -> v -> Bool

Visibility: public export

singleton : Eq v => v -> ListSet v

Visibility: export

fromList : Eq v => List v -> ListSet v

Visibility: export

normalise : ListSet v -> ListSet v

Visibility: export

.asList : ListSet v -> List v

Visibility: export

union : ListSet v -> ListSet v -> ListSet v

  Set union. Keeps the equality specified by the left set.

Visibility: export

difference : ListSet v -> ListSet v -> ListSet v

  Set difference. Delete all elements in y from x.
  Keeps the equality specified by the left set.

Visibility: export

symDifference : ListSet v -> ListSet v -> ListSet v

  Set symmetric difference. Uses the union of the differences.

Visibility: export

intersection : ListSet v -> ListSet v -> ListSet v

  Set intersection. Implemented as the difference of the union and the symetric difference.

Visibility: export

toSortedSet : Ord v => ListSet v -> SortedSet v

Visibility: public export