HsTypes

Synopsis

• data HsType name
  • = HsForAllTy HsExplicitFlag (Maybe SrcSpan) (LHsTyVarBndrs name) (LHsContext name) (LHsType name)
  • | HsTyVar name
  • | HsAppTy (LHsType name) (LHsType name)
  • | HsFunTy (LHsType name) (LHsType name)
  • | HsListTy (LHsType name)
  • | HsPArrTy (LHsType name)
  • | HsTupleTy HsTupleSort [LHsType name]
  • | HsOpTy (LHsType name) (LHsTyOp name) (LHsType name)
  • | HsParTy (LHsType name)
  • | HsIParamTy HsIPName (LHsType name)
  • | HsEqTy (LHsType name) (LHsType name)
  • | HsKindSig (LHsType name) (LHsKind name)
  • | HsQuasiQuoteTy (HsQuasiQuote name)
  • | HsSpliceTy (HsSplice name) (PostTc name Kind)
  • | HsDocTy (LHsType name) LHsDocString
  • | HsBangTy HsSrcBang (LHsType name)
  • | HsRecTy [LConDeclField name]
  • | HsCoreTy Type
  • | HsExplicitListTy (PostTc name Kind) [LHsType name]
  • | HsExplicitTupleTy [PostTc name Kind] [LHsType name]
  • | HsTyLit HsTyLit
  • | HsWrapTy HsTyWrapper (HsType name)
  • | HsWildcardTy
  • | HsNamedWildcardTy name
• type LHsType name = Located (HsType name)
• type HsKind name = HsType name
• type LHsKind name = Located (HsKind name)
• type HsTyOp name = (HsTyWrapper, name)
• type LHsTyOp name = HsTyOp (Located name)
• data HsTyVarBndr name
  • = UserTyVar name
  • | KindedTyVar (Located name) (LHsKind name)
• type LHsTyVarBndr name = Located (HsTyVarBndr name)
• data LHsTyVarBndrs name = HsQTvs {
  • hsq_kvs :: [Name]
  • hsq_tvs :: [LHsTyVarBndr name]
  }
• data HsWithBndrs name thing = HsWB {
  • hswb_cts :: thing
  • hswb_kvs :: PostRn name [Name]
  • hswb_tvs :: PostRn name [Name]
  • hswb_wcs :: PostRn name [Name]
  }
• data HsTupleSort
  • = HsUnboxedTuple
  • | HsBoxedTuple
  • | HsConstraintTuple
  • | HsBoxedOrConstraintTuple
• data HsExplicitFlag
  • = Qualified
  • | Implicit
  • | Explicit
• type HsContext name = [LHsType name]
• type LHsContext name = Located (HsContext name)
• data HsQuasiQuote id = HsQuasiQuote id SrcSpan FastString
• data HsTyWrapper = WpKiApps [Kind]
• data HsTyLit
  • = HsNumTy SourceText Integer
  • | HsStrTy SourceText FastString
• newtype HsIPName = HsIPName FastString
• hsIPNameFS :: HsIPName -> FastString
• type LBangType name = Located (BangType name)
• type BangType name = HsType name
• data HsBang
  • = HsNoBang
  • | HsSrcBang (Maybe SourceText) (Maybe Bool) Bool
  • | HsUnpack (Maybe Coercion)
  • | HsStrict
• type HsSrcBang = HsBang
• type HsImplBang = HsBang
• getBangType :: LHsType a -> LHsType a
• getBangStrictness :: LHsType a -> HsSrcBang
• data ConDeclField name = ConDeclField {
  • cd_fld_names :: [Located name]
  • cd_fld_type :: LBangType name
  • cd_fld_doc :: Maybe LHsDocString
  }
• type LConDeclField name = Located (ConDeclField name)
• pprConDeclFields :: OutputableBndr name => [LConDeclField name] -> SDoc
• mkHsQTvs :: [LHsTyVarBndr RdrName] -> LHsTyVarBndrs RdrName
• hsQTvBndrs :: LHsTyVarBndrs name -> [LHsTyVarBndr name]
• isHsKindedTyVar :: HsTyVarBndr name -> Bool
• hsTvbAllKinded :: LHsTyVarBndrs name -> Bool
• mkExplicitHsForAllTy :: [LHsTyVarBndr RdrName] -> LHsContext RdrName -> LHsType RdrName -> HsType RdrName
• mkImplicitHsForAllTy :: LHsType RdrName -> HsType RdrName
• mkQualifiedHsForAllTy :: LHsContext RdrName -> LHsType RdrName -> HsType RdrName
• mkHsForAllTy :: HsExplicitFlag -> [LHsTyVarBndr RdrName] -> LHsContext RdrName -> LHsType RdrName -> HsType RdrName
• flattenTopLevelLHsForAllTy :: LHsType name -> LHsType name
• flattenTopLevelHsForAllTy :: HsType name -> HsType name
• flattenHsForAllTyKeepAnns :: HsType name -> ([AddAnn], HsType name)
• hsExplicitTvs :: LHsType Name -> [Name]
• hsTyVarName :: HsTyVarBndr name -> name
• mkHsWithBndrs :: thing -> HsWithBndrs RdrName thing
• hsLKiTyVarNames :: LHsTyVarBndrs Name -> [Name]
• hsLTyVarName :: LHsTyVarBndr name -> name
• hsLTyVarNames :: LHsTyVarBndrs name -> [name]
• hsLTyVarLocName :: LHsTyVarBndr name -> Located name
• hsLTyVarLocNames :: LHsTyVarBndrs name -> [Located name]
• splitLHsInstDeclTy_maybe :: LHsType name -> Maybe (LHsTyVarBndrs name, HsContext name, Located name, [LHsType name])
• splitHsClassTy_maybe :: HsType name -> Maybe (name, [LHsType name])
• splitLHsClassTy_maybe :: LHsType name -> Maybe (Located name, [LHsType name])
• splitHsFunType :: LHsType Name -> ([LHsType Name], LHsType Name)
• splitHsAppTys :: LHsType n -> [LHsType n] -> (LHsType n, [LHsType n])
• hsTyGetAppHead_maybe :: LHsType n -> Maybe (n, [LHsType n])
• mkHsAppTys :: OutputableBndr n => LHsType n -> [LHsType n] -> HsType n
• mkHsOpTy :: LHsType name -> Located name -> LHsType name -> HsType name
• isWildcardTy :: HsType a -> Bool
• isNamedWildcardTy :: HsType a -> Bool
• pprParendHsType :: OutputableBndr name => HsType name -> SDoc
• pprHsForAll :: OutputableBndr name => HsExplicitFlag -> LHsTyVarBndrs name -> LHsContext name -> SDoc
• pprHsForAllExtra :: OutputableBndr name => HsExplicitFlag -> Maybe SrcSpan -> LHsTyVarBndrs name -> LHsContext name -> SDoc
• pprHsContext :: OutputableBndr name => HsContext name -> SDoc
• pprHsContextNoArrow :: OutputableBndr name => HsContext name -> SDoc
• pprHsContextMaybe :: OutputableBndr name => HsContext name -> Maybe SDoc

Documentation

(?x :: ty)

ty1 ~ ty2

(ty :: kind)