Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
CGE | |
|
CGInfo | |
|
ppr_CGInfo :: t -> Doc Source
fromListHEnv :: [Symbol] -> HEnv Source
mkRTyConInv :: [Located SpecType] -> RTyConInv Source
mkRTyConIAl :: [(a, Located SpecType)] -> RTyConInv Source
addRTyConInv :: RTyConInv -> SpecType -> SpecType Source
toListREnv :: REnv -> [(Symbol, SpecType)] Source
fromListREnv :: [(Symbol, SpecType)] -> REnv Source
deleteREnv :: Symbol -> REnv -> REnv Source
memberREnv :: Symbol -> REnv -> Bool Source