Safe Haskell	Safe-Inferred
Language	Haskell98

Djinn.HTypes

Documentation

data HKind Source #

Constructors

KStar
KArrow HKind HKind
KVar Int

Instances

Instances details

Eq HKind Source #
Instance details Defined in Djinn.HTypes Methods (==) :: HKind -> HKind -> Bool # (/=) :: HKind -> HKind -> Bool #
Show HKind Source #
Instance details Defined in Djinn.HTypes Methods showsPrec :: Int -> HKind -> ShowS # show :: HKind -> String # showList :: [HKind] -> ShowS #

data HType Source #

Constructors

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

Instances

Instances details

Eq HType Source #
Instance details Defined in Djinn.HTypes Methods (==) :: HType -> HType -> Bool # (/=) :: HType -> HType -> Bool #
Read HType Source #
Instance details Defined in Djinn.HTypes Methods readsPrec :: Int -> ReadS HType # readList :: ReadS [HType] # readPrec :: ReadPrec HType # readListPrec :: ReadPrec [HType] #
Show HType Source #
Instance details Defined in Djinn.HTypes Methods showsPrec :: Int -> HType -> ShowS # show :: HType -> String # showList :: [HType] -> ShowS #

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 #

Constructors

HClause HSymbol [HPat] HExpr

Instances

Instances details

Eq HClause Source #
Instance details Defined in Djinn.HTypes Methods (==) :: HClause -> HClause -> Bool # (/=) :: HClause -> HClause -> Bool #
Show HClause Source #
Instance details Defined in Djinn.HTypes Methods showsPrec :: Int -> HClause -> ShowS # show :: HClause -> String # showList :: [HClause] -> ShowS #

data HPat Source #

Constructors

HPVar HSymbol
HPCon HSymbol
HPTuple [HPat]
HPAt HSymbol HPat
HPApply HPat HPat

Instances

Instances details

Eq HPat Source #
Instance details Defined in Djinn.HTypes Methods (==) :: HPat -> HPat -> Bool # (/=) :: HPat -> HPat -> Bool #
Show HPat Source #
Instance details Defined in Djinn.HTypes Methods showsPrec :: Int -> HPat -> ShowS # show :: HPat -> String # showList :: [HPat] -> ShowS #

data HExpr Source #

Constructors

HELam [HPat] HExpr
HEApply HExpr HExpr
HECon HSymbol
HEVar HSymbol
HETuple [HExpr]
HECase HExpr [(HPat, HExpr)]

Instances

Instances details

Eq HExpr Source #
Instance details Defined in Djinn.HTypes Methods (==) :: HExpr -> HExpr -> Bool # (/=) :: HExpr -> HExpr -> Bool #
Show HExpr Source #
Instance details Defined in Djinn.HTypes Methods showsPrec :: Int -> HExpr -> ShowS # show :: HExpr -> String # showList :: [HExpr] -> ShowS #

hPrClause :: HClause -> String Source #

hPrExpr :: HExpr -> String Source #

termToHExpr :: Term -> HExpr Source #

termToHClause :: HSymbol -> Term -> HClause Source #

getBinderVars :: HClause -> [HSymbol] Source #