Documentation
envsModule :: Menv -> Module -> MenvSource
primCoercionError :: Show a => a -> bSource
type Tcenv = Map Tcon KindOrCoercionSource
mkTypeEnvsNoChecking :: [Tdef] -> (Tcenv, Cenv)Source
type NtEnv = Map Tcon CoercionKindSource
envsModule :: Menv -> Module -> MenvSource
primCoercionError :: Show a => a -> bSource
type Tcenv = Map Tcon KindOrCoercionSource
mkTypeEnvsNoChecking :: [Tdef] -> (Tcenv, Cenv)Source
type NtEnv = Map Tcon CoercionKindSource