| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Relation
Synopsis
- type Relation a = Set (a, a)
- image :: Ord a => Relation a -> a -> Set a
- setImage :: Ord a => Relation a -> Set a -> Set a
- unionSet :: Ord a => Set (Set a) -> Set a
- addImage :: Ord a => Relation a -> Set a -> Set a
- type People = String
- isParent :: Relation People
- addChildren :: Set People -> Set People
- compose :: Ord a => Relation a -> Relation a -> Relation a
- setProduct :: (Ord a, Ord b) => Set a -> Set b -> Set (a, b)
- adjoin :: (Ord a, Ord b) => Set a -> b -> Set (a, b)
- tClosure :: Ord a => Relation a -> Relation a
- limit :: Eq a => (a -> a) -> a -> a
- connect :: Ord a => Relation a -> Relation a
- inverse :: Ord a => Relation a -> Relation a
- classes :: Ord a => Relation a -> Set (Set a)
- eles :: Ord a => Relation a -> Set a
- addImages :: Ord a => Relation a -> Set (Set a) -> Set (Set a)
- newDescs :: Ord a => Relation a -> Set a -> a -> Set a
- findDescs :: Ord a => Relation a -> [a] -> a -> [a]
- breadthFirst :: Ord a => Relation a -> a -> [a]
- depthFirst :: Ord a => Relation a -> a -> [a]
- depthSearch :: Ord a => Relation a -> a -> [a] -> [a]
- depthList :: Ord a => Relation a -> [a] -> [a] -> [a]
Documentation
type Relation a = Set (a, a) Source #
^^^^^^^^^^^^^^^^^^^^^^^^^
The image of an element under a relation.
addImages :: Ord a => Relation a -> Set (Set a) -> Set (Set a) Source #
^^^^^^^^^^^^^^^^^^
The descendants v under rel which lie outside st.
breadthFirst :: Ord a => Relation a -> a -> [a] Source #
^^^^^^^^^^^^^^^^^^^^
depthFirst :: Ord a => Relation a -> a -> [a] Source #
depthSearch :: Ord a => Relation a -> a -> [a] -> [a] Source #