PureFP.OrdSet

Chapter 1 and Appendix A of /Pure Functional Parsing – an advanced tutorial/ by Peter Ljunglöf

http://www.ling.gu.se/~peb/pubs/p02-lic-thesis.pdf

Documentation

class OrdSet m where

Methods

emptySet :: Ord a => m a

unitSet :: Ord a => a -> m a

isEmpty :: Ord a => m a -> Bool

elemSet :: Ord a => a -> m a -> Bool

(<++>) :: Ord a => m a -> m a -> m a

(<\\>) :: Ord a => m a -> m a -> m a

plusMinus :: Ord a => m a -> m a -> (m a, m a)

union :: Ord a => [m a] -> m a

makeSet :: Ord a => [a] -> m a

elems :: Ord a => m a -> [a]

ordSet :: Ord a => [a] -> m a

limit :: Ord a => (a -> m a) -> m a -> m a

Instances

OrdSet Set

data Set a

Instances

OrdSet Set

Eq a => Eq (Set a)

Ord a => Ord (Set a)

Show a => Show (Set a)