Documentation
type PartialFunction a b = [(a, b)]Source
functionDomain :: Eq a => PartialFunction a b -> [a]Source
functionImage :: Eq a => PartialFunction a b -> [b]Source
identityFunction :: Eq a => [a] -> PartialFunction a aSource
invert :: (Eq a, Eq b) => PartialFunction a b -> PartialFunction b aSource
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
composeFunctions :: (Eq a, Eq b) => PartialFunction b c -> PartialFunction a b -> PartialFunction a cSource
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
removeEntry :: Eq a => PartialFunction a b -> a -> PartialFunction a bSource