| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||||||||||||||||||
data HsType name | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
type LHsType name = Located (HsType name) | ||||||||||||||||||||||||||||||||||||||||
data HsTyVarBndr name | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
type LHsTyVarBndr name = Located (HsTyVarBndr name) | ||||||||||||||||||||||||||||||||||||||||
data HsExplicitForAll | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
type HsContext name = [LHsPred name] | ||||||||||||||||||||||||||||||||||||||||
type LHsContext name = Located (HsContext name) | ||||||||||||||||||||||||||||||||||||||||
data HsPred name | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
type LHsPred name = Located (HsPred name) | ||||||||||||||||||||||||||||||||||||||||
type LBangType name = Located (BangType name) | ||||||||||||||||||||||||||||||||||||||||
type BangType name = HsType name | ||||||||||||||||||||||||||||||||||||||||
data HsBang | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
getBangType :: LHsType a -> LHsType a | ||||||||||||||||||||||||||||||||||||||||
getBangStrictness :: LHsType a -> HsBang | ||||||||||||||||||||||||||||||||||||||||
data ConDeclField name | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
pprConDeclFields :: OutputableBndr name => [ConDeclField name] -> SDoc | ||||||||||||||||||||||||||||||||||||||||
mkExplicitHsForAllTy :: [LHsTyVarBndr name] -> LHsContext name -> LHsType name -> HsType name | ||||||||||||||||||||||||||||||||||||||||
mkImplicitHsForAllTy :: LHsContext name -> LHsType name -> HsType name | ||||||||||||||||||||||||||||||||||||||||
hsExplicitTvs :: LHsType name -> [name] | ||||||||||||||||||||||||||||||||||||||||
hsTyVarName :: HsTyVarBndr name -> name | ||||||||||||||||||||||||||||||||||||||||
hsTyVarNames :: [HsTyVarBndr name] -> [name] | ||||||||||||||||||||||||||||||||||||||||
replaceTyVarName :: HsTyVarBndr name1 -> name2 -> HsTyVarBndr name2 | ||||||||||||||||||||||||||||||||||||||||
hsLTyVarName :: LHsTyVarBndr name -> name | ||||||||||||||||||||||||||||||||||||||||
hsLTyVarNames :: [LHsTyVarBndr name] -> [name] | ||||||||||||||||||||||||||||||||||||||||
hsLTyVarLocName :: LHsTyVarBndr name -> Located name | ||||||||||||||||||||||||||||||||||||||||
hsLTyVarLocNames :: [LHsTyVarBndr name] -> [Located name] | ||||||||||||||||||||||||||||||||||||||||
splitHsInstDeclTy :: OutputableBndr name => HsType name -> ([LHsTyVarBndr name], HsContext name, name, [LHsType name]) | ||||||||||||||||||||||||||||||||||||||||
splitHsFunType :: LHsType name -> ([LHsType name], LHsType name) | ||||||||||||||||||||||||||||||||||||||||
type PostTcType = Type | ||||||||||||||||||||||||||||||||||||||||
placeHolderType :: PostTcType | ||||||||||||||||||||||||||||||||||||||||
pprParendHsType :: OutputableBndr name => HsType name -> SDoc | ||||||||||||||||||||||||||||||||||||||||
pprHsForAll :: OutputableBndr name => HsExplicitForAll -> [LHsTyVarBndr name] -> LHsContext name -> SDoc | ||||||||||||||||||||||||||||||||||||||||
pprHsContext :: OutputableBndr name => HsContext name -> SDoc | ||||||||||||||||||||||||||||||||||||||||
ppr_hs_context :: OutputableBndr name => HsContext name -> SDoc | ||||||||||||||||||||||||||||||||||||||||
pprHsTyVarBndr :: Outputable name => name -> Kind -> SDoc | ||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.7.2 |