| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SMCDEL.Internal.Help
Synopsis
- 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]]
- 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
Documentation
anydiffWith :: Eq b => (a -> b) -> [a] -> Bool Source #
groupSortWith :: (Eq a, Ord b) => (a -> b) -> [a] -> [[a]] Source #
applyPartial :: Eq a => [(a, a)] -> a -> a Source #
An equivalence relation given by equivalence classes, as a list of lists.