djinn-lib-0.0.1: Generate Haskell code from a type. Library extracted from djinn package.
Djinn.HCheck
htCheckEnv :: [(HSymbol, ([HSymbol], HType, a))] -> Either String [(HSymbol, ([HSymbol], HType, HKind))]Source
htCheckType :: [(HSymbol, ([HSymbol], HType, HKind))] -> HType -> Either String ()Source