|
| Language.VDM_SL.AuxFuncLib | | Portability | portable
| | Stability | experimental | | Maintainer | joost.visser@di.uminho.pt |
|
|
|
|
|
| Description |
| Auxiliary functions.
|
|
| Synopsis |
|
| dom :: [(String, String)] -> [String] | | | rng :: [(String, String)] -> [String] | | | filterEquals :: Eq a => [a] -> [a] | | | filterDuplicates :: Eq a => (a -> a -> Bool) -> [a] -> [a] | | | union :: Eq a => [a] -> [a] -> [a] | | | composition :: [(String, String)] -> [(String, String)] -> [(String, String)] | | | applyIter :: Eq a => (a -> a) -> a -> a |
|
|
| Documentation |
|
| dom :: [(String, String)] -> [String] |
|
| rng :: [(String, String)] -> [String] |
|
| filterEquals :: Eq a => [a] -> [a] |
|
| filterDuplicates :: Eq a => (a -> a -> Bool) -> [a] -> [a] |
|
| union :: Eq a => [a] -> [a] -> [a] |
|
| composition :: [(String, String)] -> [(String, String)] -> [(String, String)] |
|
| applyIter :: Eq a => (a -> a) -> a -> a |
| Apply in a iterative way a function to an argument while
the result of the function is different from the previous result
|
|
| Produced by Haddock version 0.6 |
