FrontEnd.HsSyn

Documentation

hsNameIdent_u :: (String -> String) -> Name -> Name

hsIdentString_u :: (t1 -> t) -> t1 -> t

type HsName = Name

data HsModule

Constructors

HsModule

Fields

hsModuleName :: Module

hsModuleSrcLoc :: SrcLoc

hsModuleExports :: Maybe [HsExportSpec]

hsModuleImports :: [HsImportDecl]

hsModuleDecls :: [HsDecl]

hsModuleOptions :: [String]

hsModuleOpt :: Opt

Instances

HasLocation HsModule

data HsExportSpec

Constructors

HsEVar HsName

HsEAbs HsName

HsEThingAll HsName

HsEThingWith HsName [HsName]

HsEModuleContents Module

HsEQualified NameType HsExportSpec

Instances

Eq HsExportSpec

Show HsExportSpec

data HsImportDecl

Constructors

HsImportDecl

Fields

hsImportDeclSrcLoc :: SrcLoc

hsImportDeclModule :: Module

hsImportDeclQualified :: !Bool

hsImportDeclAs :: Maybe Module

hsImportDeclSpec :: Maybe (Bool, [HsExportSpec])

Instances

Eq HsImportDecl

Show HsImportDecl

HasLocation HsImportDecl

data HsAssoc

Constructors

HsAssocNone

HsAssocLeft

HsAssocRight

Instances

Eq HsAssoc

Show HsAssoc

Binary HsAssoc

hsDataDecl :: HsDecl

hsNewTypeDecl :: HsDecl

data DeclType

Constructors

DeclTypeData

DeclTypeNewtype

DeclTypeKind

Instances

Eq DeclType

Show DeclType

data HsDecl

Constructors

HsTypeFamilyDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclData :: !Bool

hsDeclName :: HsName

hsDeclTArgs :: [HsType]

hsDeclHasKind :: Maybe HsKind

HsTypeDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclName :: HsName

hsDeclTArgs :: [HsType]

hsDeclType :: HsType

HsDataDecl

Fields

hsDeclDeclType :: !DeclType

hsDeclSrcLoc :: SrcLoc

hsDeclContext :: HsContext

hsDeclName :: HsName

hsDeclArgs :: [Name]

hsDeclCons :: [HsConDecl]

hsDeclHasKind :: Maybe HsKind

hsDeclCTYPE :: Maybe String

hsDeclDerives :: [HsName]

HsInfixDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclAssoc :: HsAssoc

hsDeclInt :: !Int

hsDeclNames :: [HsName]

HsClassDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclClassHead :: HsClassHead

hsDeclDecls :: [HsDecl]

HsClassAliasDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclName :: HsName

hsDeclTypeArgs :: [HsType]

hsDeclContext :: HsContext

hsDeclClasses :: HsContext

hsDeclDecls :: [HsDecl]

HsInstDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclClassHead :: HsClassHead

hsDeclDecls :: [HsDecl]

HsDefaultDecl SrcLoc HsType

HsTypeSig SrcLoc [HsName] HsQualType

HsFunBind [HsMatch]

HsPatBind SrcLoc HsPat HsRhs [HsDecl]

HsActionDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclPat :: HsPat

hsDeclExp :: HsExp

HsSpaceDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclName :: HsName

hsDeclExp :: HsExp

hsDeclCName :: Maybe String

hsDeclCount :: Int

hsDeclQualType :: HsQualType

HsForeignDecl

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclForeign :: FfiSpec

hsDeclName :: HsName

hsDeclQualType :: HsQualType

HsForeignExport

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclFFIExport :: FfiExport

hsDeclName :: HsName

hsDeclQualType :: HsQualType

HsPragmaProps SrcLoc String [HsName]

HsPragmaRules [HsRule]

HsPragmaSpecialize

Fields

hsDeclUniq :: (Module, Int)

hsDeclSrcLoc :: SrcLoc

hsDeclBool :: Bool

hsDeclName :: HsName

hsDeclType :: HsType

HsDeclDeriving

Fields

hsDeclSrcLoc :: SrcLoc

hsDeclClassHead :: HsClassHead

Instances

Eq HsDecl

Show HsDecl

HasLocation HsDecl

PPrint Doc HsDecl

data HsRule

Constructors

HsRule

Fields

hsRuleUniq :: (Module, Int)

hsRuleSrcLoc :: SrcLoc

hsRuleIsMeta :: Bool

hsRuleString :: String

hsRuleFreeVars :: [(HsName, Maybe HsType)]

hsRuleLeftExpr :: HsExp

hsRuleRightExpr :: HsExp

Instances

Eq HsRule

Show HsRule

HasLocation HsRule

data HsPragmaExp

Constructors

HsPragmaExp String [HsExp]

data HsMatch

Constructors

HsMatch

Fields

hsMatchSrcLoc :: SrcLoc

hsMatchName :: HsName

hsMatchPats :: [HsPat]

hsMatchRhs :: HsRhs

hsMatchDecls :: [HsDecl]

Instances

Eq HsMatch

Show HsMatch

HasLocation HsMatch

data HsConDecl

Constructors

HsConDecl

Fields

hsConDeclSrcLoc :: SrcLoc

hsConDeclExists :: [HsTyVarBind]

hsConDeclName :: HsName

hsConDeclConArg :: [HsBangType]

HsRecDecl

Fields

hsConDeclSrcLoc :: SrcLoc

hsConDeclExists :: [HsTyVarBind]

hsConDeclName :: HsName

hsConDeclRecArg :: [([HsName], HsBangType)]

Instances

Eq HsConDecl

Show HsConDecl

hsConDeclArgs :: HsConDecl -> [HsBangType]

data HsBangType

Constructors

HsBangedTy

Fields

hsBangType :: HsType

HsUnBangedTy

Fields

hsBangType :: HsType

Instances

Eq HsBangType

Show HsBangType

data HsRhs

Constructors

HsUnGuardedRhs HsExp

HsGuardedRhss [HsGuardedRhs]

Instances

Eq HsRhs

Show HsRhs

data HsGuardedRhs

Constructors

HsGuardedRhs SrcLoc HsExp HsExp

Instances

Eq HsGuardedRhs

Show HsGuardedRhs

data HsQualType

Constructors

HsQualType

Fields

hsQualTypeContext :: HsContext

hsQualTypeType :: HsType

Instances

Eq HsQualType

Data HsQualType

Ord HsQualType

Show HsQualType

Typeable HsQualType

Binary HsQualType

PPrint Doc HsQualType

type LHsType = Located HsType

data HsType

Constructors

HsTyFun HsType HsType

HsTyTuple [HsType]

HsTyUnboxedTuple [HsType]

HsTyApp HsType HsType

HsTyVar

Fields

hsTypeName :: HsName

HsTyCon

Fields

hsTypeName :: HsName

HsTyForall

Fields

hsTypeVars :: [HsTyVarBind]

hsTypeType :: HsQualType

HsTyExists

Fields

hsTypeVars :: [HsTyVarBind]

hsTypeType :: HsQualType

HsTyExpKind

Fields

hsTyLType :: LHsType

hsTyKind :: HsKind

HsTyStrictType

Fields

hsTyStrict :: !Bool

hsTyLType :: LHsType

HsTyAssoc

HsTyEq HsType HsType

Instances

Eq HsType

Data HsType

Ord HsType

Show HsType

Typeable HsType

Binary HsType

PPrint Doc HsType

FreeVars HsType (Set Name)

data HsTyVarBind

Constructors

HsTyVarBind

Fields

hsTyVarBindSrcLoc :: SrcLoc

hsTyVarBindName :: HsName

hsTyVarBindKind :: Maybe HsKind

Instances

Eq HsTyVarBind

Data HsTyVarBind

Ord HsTyVarBind

Show HsTyVarBind

Typeable HsTyVarBind

Binary HsTyVarBind

HasLocation HsTyVarBind

PPrint Doc HsTyVarBind

hsTyVarBind :: HsTyVarBind

type HsContext = [HsAsst]

data HsAsst

Constructors

HsAsst HsName [HsName]

HsAsstEq HsType HsType

Instances

Eq HsAsst

Data HsAsst

Ord HsAsst

Show HsAsst

Typeable HsAsst

Binary HsAsst

data HsLiteral

Constructors

HsInt !Integer

HsChar !Char

HsString String

HsFrac Rational

HsCharPrim Char

HsStringPrim String

HsIntPrim Integer

HsFloatPrim Rational

HsDoublePrim Rational

HsLitLit String

Instances

Eq HsLiteral

Ord HsLiteral

Show HsLiteral

hsParen :: HsExp -> HsExp

data HsErrorType

Constructors

HsErrorPatternFailure

HsErrorSource

HsErrorFieldSelect

HsErrorUnderscore

HsErrorUninitializedField

HsErrorRecordUpdate

Instances

Eq HsErrorType

Show HsErrorType

type LHsExp = Located HsExp

data HsExp

Constructors

HsVar

Fields

hsExpName :: HsName

HsCon

Fields

hsExpName :: HsName

HsLit HsLiteral

HsInfixApp HsExp HsExp HsExp

HsApp HsExp HsExp

HsNegApp HsExp

HsLambda SrcLoc [HsPat] HsExp

HsLet [HsDecl] HsExp

HsIf HsExp HsExp HsExp

HsCase HsExp [HsAlt]

HsDo

Fields

hsExpStatements :: [HsStmt]

HsTuple [HsExp]

HsUnboxedTuple [HsExp]

HsList [HsExp]

HsParen HsExp

HsLeftSection HsExp HsExp

HsRightSection HsExp HsExp

HsRecConstr HsName [HsFieldUpdate]

HsRecUpdate HsExp [HsFieldUpdate]

HsEnumFrom HsExp

HsEnumFromTo HsExp HsExp

HsEnumFromThen HsExp HsExp

HsEnumFromThenTo HsExp HsExp HsExp

HsListComp HsExp [HsStmt]

HsExpTypeSig SrcLoc HsExp HsQualType

HsAsPat

Fields

hsExpName :: HsName

hsExpExp :: HsExp

HsError

Fields

hsExpSrcLoc :: SrcLoc

hsExpErrorType :: HsErrorType

hsExpString :: String

HsWildCard SrcLoc

HsIrrPat

Fields

hsExpLExp :: LHsExp

HsBangPat

Fields

hsExpLExp :: LHsExp

HsLocatedExp LHsExp

Instances

Eq HsExp

Show HsExp

HasLocation HsExp

DeNameable HsExp

PPrint Doc HsExp

data HsClassHead

Constructors

HsClassHead

Fields

hsClassHeadContext :: HsContext

hsClassHead :: HsName

hsClassHeadArgs :: [HsType]

Instances

Eq HsClassHead

Show HsClassHead

type LHsPat = Located HsPat

data HsPat

Constructors

HsPVar

Fields

hsPatName :: HsName

HsPLit

Fields

hsPatLit :: HsLiteral

HsPNeg HsPat

HsPInfixApp HsPat HsName HsPat

HsPApp

Fields

hsPatName :: HsName

hsPatPats :: [HsPat]

HsPTuple [HsPat]

HsPUnboxedTuple [HsPat]

HsPList [HsPat]

HsPParen HsPat

HsPRec HsName [HsPatField]

HsPAsPat

Fields

hsPatName :: HsName

hsPatPat :: HsPat

HsPWildCard

HsPIrrPat

Fields

hsPatLPat :: LHsPat

HsPBangPat

Fields

hsPatLPat :: LHsPat

HsPTypeSig SrcLoc HsPat HsQualType

Instances

Eq HsPat

Ord HsPat

Show HsPat

DeNameable HsPat

PPrint Doc HsPat

data HsPatField

Constructors

HsPFieldPat HsName HsPat

Instances

Eq HsPatField

Ord HsPatField

Show HsPatField

data HsStmt

Constructors

HsGenerator SrcLoc HsPat HsExp

HsQualifier HsExp

HsLetStmt [HsDecl]

Instances

Eq HsStmt

Show HsStmt

data HsFieldUpdate

Constructors

HsFieldUpdate HsName HsExp

Instances

Eq HsFieldUpdate

Show HsFieldUpdate

data HsAlt

Constructors

HsAlt SrcLoc HsPat HsRhs [HsDecl]

Instances

Eq HsAlt

Show HsAlt

HasLocation HsAlt

DeNameable HsAlt

data HsKind

Constructors

HsKind HsName

HsKindFn HsKind HsKind

Instances

Eq HsKind

Data HsKind

Ord HsKind

Show HsKind

Typeable HsKind

Binary HsKind

DocLike d => PPrint d HsKind

hsKindStar :: HsKind

hsKindHash :: HsKind

hsKindBang :: HsKind

hsKindQuest :: HsKind

hsKindQuestQuest :: HsKind

hsKindStarBang :: HsKind

hsModuleSrcLoc_s :: SrcLoc -> HsModule -> HsModule

hsModuleSrcLoc_u :: (SrcLoc -> SrcLoc) -> HsModule -> HsModule

hsModuleOptions_s :: [[Char]] -> HsModule -> HsModule

hsModuleOptions_u :: ([[Char]] -> [[Char]]) -> HsModule -> HsModule

hsModuleOpt_s :: Opt -> HsModule -> HsModule

hsModuleOpt_u :: (Opt -> Opt) -> HsModule -> HsModule

hsModuleName_s :: Module -> HsModule -> HsModule

hsModuleName_u :: (Module -> Module) -> HsModule -> HsModule

hsModuleImports_s :: [HsImportDecl] -> HsModule -> HsModule

hsModuleImports_u :: ([HsImportDecl] -> [HsImportDecl]) -> HsModule -> HsModule

hsModuleExports_s :: Maybe [HsExportSpec] -> HsModule -> HsModule

hsModuleExports_u :: (Maybe [HsExportSpec] -> Maybe [HsExportSpec]) -> HsModule -> HsModule

hsModuleDecls_s :: [HsDecl] -> HsModule -> HsModule

hsModuleDecls_u :: ([HsDecl] -> [HsDecl]) -> HsModule -> HsModule

isHsDeclDeriving :: HsDecl -> Bool

isHsPragmaSpecialize :: HsDecl -> Bool

isHsPragmaRules :: HsDecl -> Bool

isHsPragmaProps :: HsDecl -> Bool

isHsForeignExport :: HsDecl -> Bool

isHsForeignDecl :: HsDecl -> Bool

isHsSpaceDecl :: HsDecl -> Bool

isHsActionDecl :: HsDecl -> Bool

isHsPatBind :: HsDecl -> Bool

isHsFunBind :: HsDecl -> Bool

isHsTypeSig :: HsDecl -> Bool

isHsDefaultDecl :: HsDecl -> Bool

isHsInstDecl :: HsDecl -> Bool

isHsClassAliasDecl :: HsDecl -> Bool

isHsClassDecl :: HsDecl -> Bool

isHsInfixDecl :: HsDecl -> Bool

isHsDataDecl :: HsDecl -> Bool

isHsTypeDecl :: HsDecl -> Bool

isHsTypeFamilyDecl :: HsDecl -> Bool

isHsRecDecl :: HsConDecl -> Bool

isHsConDecl :: HsConDecl -> Bool

hsConDeclSrcLoc_s :: SrcLoc -> HsConDecl -> HsConDecl

hsConDeclSrcLoc_u :: (SrcLoc -> SrcLoc) -> HsConDecl -> HsConDecl

hsConDeclRecArg_s :: [([Name], HsBangType)] -> HsConDecl -> HsConDecl

hsConDeclRecArg_u :: ([([Name], HsBangType)] -> [([Name], HsBangType)]) -> HsConDecl -> HsConDecl

hsConDeclName_s :: Name -> HsConDecl -> HsConDecl

hsConDeclName_u :: (Name -> Name) -> HsConDecl -> HsConDecl

hsConDeclExists_s :: [HsTyVarBind] -> HsConDecl -> HsConDecl

hsConDeclExists_u :: ([HsTyVarBind] -> [HsTyVarBind]) -> HsConDecl -> HsConDecl

hsConDeclConArg_s :: [HsBangType] -> HsConDecl -> HsConDecl

hsConDeclConArg_u :: ([HsBangType] -> [HsBangType]) -> HsConDecl -> HsConDecl

isHsTyEq :: HsType -> Bool

isHsTyAssoc :: HsType -> Bool

isHsTyStrictType :: HsType -> Bool

isHsTyExpKind :: HsType -> Bool

isHsTyExists :: HsType -> Bool

isHsTyForall :: HsType -> Bool

isHsTyCon :: HsType -> Bool

isHsTyVar :: HsType -> Bool

isHsTyApp :: HsType -> Bool

isHsTyUnboxedTuple :: HsType -> Bool

isHsTyTuple :: HsType -> Bool

isHsTyFun :: HsType -> Bool

hsTyVarBindSrcLoc_s :: SrcLoc -> HsTyVarBind -> HsTyVarBind

hsTyVarBindSrcLoc_u :: (SrcLoc -> SrcLoc) -> HsTyVarBind -> HsTyVarBind

hsTyVarBindName_s :: Name -> HsTyVarBind -> HsTyVarBind

hsTyVarBindName_u :: (Name -> Name) -> HsTyVarBind -> HsTyVarBind

hsTyVarBindKind_s :: Maybe HsKind -> HsTyVarBind -> HsTyVarBind

hsTyVarBindKind_u :: (Maybe HsKind -> Maybe HsKind) -> HsTyVarBind -> HsTyVarBind

isHsLitLit :: HsLiteral -> Bool

isHsDoublePrim :: HsLiteral -> Bool

isHsFloatPrim :: HsLiteral -> Bool

isHsIntPrim :: HsLiteral -> Bool

isHsStringPrim :: HsLiteral -> Bool

isHsCharPrim :: HsLiteral -> Bool

isHsFrac :: HsLiteral -> Bool

isHsString :: HsLiteral -> Bool

isHsChar :: HsLiteral -> Bool

isHsInt :: HsLiteral -> Bool

isHsLocatedExp :: HsExp -> Bool

isHsBangPat :: HsExp -> Bool

isHsIrrPat :: HsExp -> Bool

isHsWildCard :: HsExp -> Bool

isHsError :: HsExp -> Bool

isHsAsPat :: HsExp -> Bool

isHsExpTypeSig :: HsExp -> Bool

isHsListComp :: HsExp -> Bool

isHsEnumFromThenTo :: HsExp -> Bool

isHsEnumFromThen :: HsExp -> Bool

isHsEnumFromTo :: HsExp -> Bool

isHsEnumFrom :: HsExp -> Bool

isHsRecUpdate :: HsExp -> Bool

isHsRecConstr :: HsExp -> Bool

isHsRightSection :: HsExp -> Bool

isHsLeftSection :: HsExp -> Bool

isHsParen :: HsExp -> Bool

isHsList :: HsExp -> Bool

isHsUnboxedTuple :: HsExp -> Bool

isHsTuple :: HsExp -> Bool

isHsDo :: HsExp -> Bool

isHsCase :: HsExp -> Bool

isHsIf :: HsExp -> Bool

isHsLet :: HsExp -> Bool

isHsLambda :: HsExp -> Bool

isHsNegApp :: HsExp -> Bool

isHsApp :: HsExp -> Bool

isHsInfixApp :: HsExp -> Bool

isHsLit :: HsExp -> Bool

isHsCon :: HsExp -> Bool

isHsVar :: HsExp -> Bool

hsExpString_s :: [Char] -> HsExp -> HsExp

hsExpString_u :: ([Char] -> [Char]) -> HsExp -> HsExp

hsExpStatements_s :: [HsStmt] -> HsExp -> HsExp

hsExpStatements_u :: ([HsStmt] -> [HsStmt]) -> HsExp -> HsExp

hsExpSrcLoc_s :: SrcLoc -> HsExp -> HsExp

hsExpSrcLoc_u :: (SrcLoc -> SrcLoc) -> HsExp -> HsExp

hsExpName_s :: Name -> HsExp -> HsExp

hsExpName_u :: (Name -> Name) -> HsExp -> HsExp

hsExpLExp_s :: Located HsExp -> HsExp -> HsExp

hsExpLExp_u :: (Located HsExp -> Located HsExp) -> HsExp -> HsExp

hsExpExp_s :: HsExp -> HsExp -> HsExp

hsExpExp_u :: (HsExp -> HsExp) -> HsExp -> HsExp

hsExpErrorType_s :: HsErrorType -> HsExp -> HsExp

hsExpErrorType_u :: (HsErrorType -> HsErrorType) -> HsExp -> HsExp

hsClassHeadContext_s :: [HsAsst] -> HsClassHead -> HsClassHead

hsClassHeadContext_u :: ([HsAsst] -> [HsAsst]) -> HsClassHead -> HsClassHead

hsClassHeadArgs_s :: [HsType] -> HsClassHead -> HsClassHead

hsClassHeadArgs_u :: ([HsType] -> [HsType]) -> HsClassHead -> HsClassHead

hsClassHead_s :: Name -> HsClassHead -> HsClassHead

hsClassHead_u :: (Name -> Name) -> HsClassHead -> HsClassHead

isHsPTypeSig :: HsPat -> Bool

isHsPBangPat :: HsPat -> Bool

isHsPIrrPat :: HsPat -> Bool

isHsPWildCard :: HsPat -> Bool

isHsPAsPat :: HsPat -> Bool

isHsPRec :: HsPat -> Bool

isHsPParen :: HsPat -> Bool

isHsPList :: HsPat -> Bool

isHsPUnboxedTuple :: HsPat -> Bool

isHsPTuple :: HsPat -> Bool

isHsPApp :: HsPat -> Bool

isHsPInfixApp :: HsPat -> Bool

isHsPNeg :: HsPat -> Bool

isHsPLit :: HsPat -> Bool

isHsPVar :: HsPat -> Bool