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

Safe HaskellSafe
LanguageHaskell98

Djinn.HCheck

Documentation

htCheckEnv :: [(HSymbol, ([HSymbol], HType, a))] -> Either String [(HSymbol, ([HSymbol], HType, HKind))] #

htCheckType :: [(HSymbol, ([HSymbol], HType, HKind))] -> HType -> Either String () #