Libraries.Data.NatSet

(source)

Definitions

NatSet : Type: Totality: total
Visibility: export
empty : NatSet: Totality: total
Visibility: export
elem : Nat -> NatSet -> Bool: Totality: total
Visibility: export
drop : NatSet -> List a -> List a: Totality: total
Visibility: export
take : NatSet -> List a -> List a: Totality: total
Visibility: export
isEmpty : NatSet -> Bool: Totality: total
Visibility: export
size : NatSet -> Nat: Totality: total
Visibility: export
insert : Nat -> NatSet -> NatSet: Totality: total
Visibility: export
delete : Nat -> NatSet -> NatSet: Totality: total
Visibility: export
toList : NatSet -> List Nat: Totality: total
Visibility: export
partition : NatSet -> List a -> (List a, List a): Totality: total
Visibility: export
intersection : NatSet -> NatSet -> NatSet: Totality: total
Visibility: export
union : NatSet -> NatSet -> NatSet: Totality: total
Visibility: export
intersectAll : List NatSet -> NatSet: Totality: total
Visibility: export
allLessThan : Nat -> NatSet: Totality: total
Visibility: export
overwrite : a -> NatSet -> List a -> List a: Totality: total
Visibility: export
popZ : NatSet -> NatSet: Totality: total
Visibility: export
popNs : Nat -> NatSet -> NatSet: Totality: total
Visibility: export
addZ : NatSet -> NatSet: Totality: total
Visibility: export