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