djinn-lib-0.0.1: Generate Haskell code from a type. Library extracted from djinn package.

Safe Haskell	Safe-Inferred

Djinn.HTypes

Documentation

data HKind Source

Constructors

KStar
KArrow HKind HKind
KVar Int

Instances

Eq HKind
Show HKind

data HType Source

Constructors

HTApp HType HType
HTVar HSymbol
HTCon HSymbol
HTTuple [HType]
HTArrow HType HType
HTUnion [(HSymbol, [HType])]
HTAbstract HSymbol HKind

Instances

Eq HType
Read HType
Show HType

type HSymbol = String Source

hTypeToFormula :: [(HSymbol, ([HSymbol], HType, a))] -> HType -> Formula Source

pHSymbol :: Bool -> ReadP HSymbol Source

pHType :: ReadP HType Source

pHDataType :: ReadP HType Source

pHTAtom :: ReadP HType Source

pHKind :: ReadP HKind Source

prHSymbolOp :: HSymbol -> String Source

htNot :: HSymbol -> HType Source

isHTUnion :: HType -> Bool Source

getHTVars :: HType -> [HSymbol]Source

substHT :: [(HSymbol, HType)] -> HType -> HType Source

data HClause Source

Instances

Eq HClause
Show HClause

data HPat Source

Instances

Eq HPat
Show HPat

data HExpr Source

Constructors

Instances

Eq HExpr
Show HExpr

hPrClause :: HClause -> String Source

termToHExpr :: Term -> HExpr Source

termToHClause :: HSymbol -> Term -> HClause Source

getBinderVars :: HClause -> [HSymbol]Source