Olist

The Olist type

type Olist a

The construction and test for ordered lists

olist

isOlist

The empty list

empty

isEmpty

Singular operations on ordered lists

member

insert

delete

The common binary operations on sets

included

properlyIncluded

disjunct

properlyDisjunct

equal

union

intersection

difference

opposition

unionList

intersectionList