Data.POSet.Internal

data POSet k

Instances

Query

size

width

member

notMember

lookupLT

lookupLE

lookupGE

lookupGT

isSubsetOf

isProperSubsetOf

Construction

empty

singleton

insert

delete

Combine

Union

union

unions

Difference

difference

Intersection

intersection

Filter

filter

partition

Map

map

mapMonotonic

Folds

foldr'

foldl'

Min/Max

lookupMin

lookupMax

Conversion

elems

toList

fromList