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