djinn-lib-0.0.1.4: Generate Haskell code from a type. Library extracted from djinn package.
Safe HaskellSafe-Inferred
LanguageHaskell98

Djinn.HCheck

Documentation

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

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