SMCDEL.Internal.Help

Documentation

alleq :: Eq a => [a] -> Bool

alleqWith :: Eq b => (a -> b) -> [a] -> Bool

anydiff :: Eq a => [a] -> Bool

anydiffWith :: Eq b => (a -> b) -> [a] -> Bool

alldiff :: Eq a => [a] -> Bool

groupSortWith :: (Eq a, Ord b) => (a -> b) -> [a] -> [[a]]

apply :: Show a => Show b => Eq a => Rel a b -> a -> b

(!) :: Show a => Show b => Eq a => Rel a b -> a -> b

set :: Eq a => Rel a b -> a -> b -> Rel a b

applyPartial :: Eq a => [(a, a)] -> a -> a

(!=) :: Eq a => [(a, a)] -> a -> a

powerset :: [a] -> [[a]]

restrict :: Ord a => [a] -> Erel a -> Erel a

rtc :: (Ord a, Eq a) => Rel a a -> Rel a a

tc :: (Ord a, Eq a) => Rel a a -> Rel a a

type Erel a = [[a]]

An equivalence relation given by equivalence classes, as a list of lists.

bl :: Eq a => Erel a -> a -> [a]

fusion :: Ord a => [[a]] -> Erel a

intersection :: Ord a => [a] -> [Erel a] -> Erel a

seteq :: Ord a => [a] -> [a] -> Bool

subseteq :: Eq a => [a] -> [a] -> Bool

lfp :: Eq a => (a -> a) -> a -> a