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

Util.PartialFunctions

Documentation

type PartialFunction a b = [(a, b)]Source

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

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

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

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

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

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