| ||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||
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.6.1 |