Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
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 #