libcspm-0.2.0: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Compiler.Map

Documentation

type Map k v = PartialFunction k vSource

lookup :: Eq a => a -> PartialFunction a b -> Maybe bSource

empty :: [a]Source

insert :: t -> t1 -> [(t, t1)] -> [(t, t1)]Source

domain :: Eq a => PartialFunction a b -> [a]Source

unSafeLookup :: Eq a => a -> PartialFunction a b -> bSource

toList :: a -> aSource

fromList :: a -> aSource

type Relation k v = Map k vSource

applyRelation :: Eq a => PartialFunction a b -> a -> [b]Source