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