Safe Haskell | Safe-Inferred |
---|
Djinn.HTypes
Documentation
prHSymbolOp :: HSymbol -> StringSource
termToHExpr :: Term -> HExprSource
termToHClause :: HSymbol -> Term -> HClauseSource
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 |
---|
Djinn.HTypes
prHSymbolOp :: HSymbol -> StringSource
termToHExpr :: Term -> HExprSource
termToHClause :: HSymbol -> Term -> HClauseSource
getBinderVars :: HClause -> [HSymbol]Source