Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Djinn.HTypes
Documentation
pHDataType :: ReadP HType #
prHSymbolOp :: HSymbol -> String #
termToHExpr :: Term -> HExpr #
termToHClause :: HSymbol -> Term -> HClause #
getBinderVars :: HClause -> [HSymbol] #
djinn-lib-0.0.1.2: Generate Haskell code from a type. Library extracted from djinn package.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Djinn.HTypes
pHDataType :: ReadP HType #
prHSymbolOp :: HSymbol -> String #
termToHExpr :: Term -> HExpr #
termToHClause :: HSymbol -> Term -> HClause #
getBinderVars :: HClause -> [HSymbol] #