| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Recognize.Data.Definition
Description
Documentation
type Definition a = (String, a) Source #
definitionView :: WithVars a => View (Relation a) (Definition a) Source #
toDefinition :: WithVars a => Relation a -> Maybe (Definition a) Source #
fromDefinition :: WithVars a => Definition a -> Relation a Source #