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

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

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

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

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

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

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

hsKindStar :: HsKind

hsKindHash :: HsKind

hsKindBang :: HsKind

hsKindQuest :: HsKind

hsKindQuestQuest :: HsKind

hsKindStarBang :: HsKind

Generated by DrIFT : Look, but Don't Touch. *

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

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

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

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

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

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

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

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

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

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

hsModuleName_s :: Module -> HsModule -> HsModule

hsModuleOpt_s :: Opt -> HsModule -> HsModule

hsModuleOptions_s :: [String] -> HsModule -> HsModule

hsModuleSrcLoc_s :: SrcLoc -> HsModule -> HsModule

isHsTypeFamilyDecl :: HsDecl -> Bool

isHsTypeDecl :: HsDecl -> Bool

isHsDataDecl :: HsDecl -> Bool

isHsInfixDecl :: HsDecl -> Bool

isHsClassDecl :: HsDecl -> Bool

isHsClassAliasDecl :: HsDecl -> Bool

isHsInstDecl :: HsDecl -> Bool

isHsDefaultDecl :: HsDecl -> Bool

isHsTypeSig :: HsDecl -> Bool

isHsFunBind :: HsDecl -> Bool

isHsPatBind :: HsDecl -> Bool

isHsActionDecl :: HsDecl -> Bool

isHsSpaceDecl :: HsDecl -> Bool

isHsForeignDecl :: HsDecl -> Bool

isHsForeignExport :: HsDecl -> Bool

isHsPragmaProps :: HsDecl -> Bool

isHsPragmaRules :: HsDecl -> Bool

isHsPragmaSpecialize :: HsDecl -> Bool

isHsDeclDeriving :: HsDecl -> Bool

isHsConDecl :: HsConDecl -> Bool

isHsRecDecl :: HsConDecl -> Bool

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

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

hsConDeclName_u :: (HsName -> HsName) -> HsConDecl -> HsConDecl

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

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

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

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

hsConDeclName_s :: HsName -> HsConDecl -> HsConDecl

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

hsConDeclSrcLoc_s :: SrcLoc -> HsConDecl -> HsConDecl

isHsTyFun :: HsType -> Bool

isHsTyTuple :: HsType -> Bool

isHsTyUnboxedTuple :: HsType -> Bool

isHsTyApp :: HsType -> Bool

isHsTyVar :: HsType -> Bool

isHsTyCon :: HsType -> Bool

isHsTyForall :: HsType -> Bool

isHsTyExists :: HsType -> Bool

isHsTyExpKind :: HsType -> Bool

isHsTyStrictType :: HsType -> Bool

isHsTyAssoc :: HsType -> Bool

isHsTyEq :: HsType -> Bool

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

hsTyVarBindName_u :: (HsName -> HsName) -> HsTyVarBind -> HsTyVarBind

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

hsTyVarBindKind_s :: Maybe HsKind -> HsTyVarBind -> HsTyVarBind

hsTyVarBindName_s :: HsName -> HsTyVarBind -> HsTyVarBind

hsTyVarBindSrcLoc_s :: SrcLoc -> HsTyVarBind -> HsTyVarBind

isHsInt :: HsLiteral -> Bool

isHsChar :: HsLiteral -> Bool

isHsString :: HsLiteral -> Bool

isHsFrac :: HsLiteral -> Bool

isHsCharPrim :: HsLiteral -> Bool

isHsStringPrim :: HsLiteral -> Bool

isHsIntPrim :: HsLiteral -> Bool

isHsFloatPrim :: HsLiteral -> Bool

isHsDoublePrim :: HsLiteral -> Bool

isHsLitLit :: HsLiteral -> Bool

isHsVar :: HsExp -> Bool

isHsCon :: HsExp -> Bool

isHsLit :: HsExp -> Bool

isHsInfixApp :: HsExp -> Bool

isHsApp :: HsExp -> Bool

isHsNegApp :: HsExp -> Bool

isHsLambda :: HsExp -> Bool

isHsLet :: HsExp -> Bool

isHsIf :: HsExp -> Bool

isHsCase :: HsExp -> Bool

isHsDo :: HsExp -> Bool

isHsTuple :: HsExp -> Bool

isHsUnboxedTuple :: HsExp -> Bool

isHsList :: HsExp -> Bool

isHsParen :: HsExp -> Bool

isHsLeftSection :: HsExp -> Bool

isHsRightSection :: HsExp -> Bool

isHsRecConstr :: HsExp -> Bool

isHsRecUpdate :: HsExp -> Bool

isHsEnumFrom :: HsExp -> Bool

isHsEnumFromTo :: HsExp -> Bool

isHsEnumFromThen :: HsExp -> Bool

isHsEnumFromThenTo :: HsExp -> Bool

isHsListComp :: HsExp -> Bool

isHsExpTypeSig :: HsExp -> Bool

isHsAsPat :: HsExp -> Bool

isHsError :: HsExp -> Bool

isHsWildCard :: HsExp -> Bool

isHsIrrPat :: HsExp -> Bool

isHsBangPat :: HsExp -> Bool

isHsLocatedExp :: HsExp -> Bool

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

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

hsExpLExp_u :: (LHsExp -> LHsExp) -> HsExp -> HsExp

hsExpName_u :: (HsName -> HsName) -> HsExp -> HsExp

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

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

hsExpString_u :: (String -> String) -> HsExp -> HsExp

hsExpErrorType_s :: HsErrorType -> HsExp -> HsExp

hsExpExp_s :: HsExp -> HsExp -> HsExp

hsExpLExp_s :: LHsExp -> HsExp -> HsExp

hsExpName_s :: HsName -> HsExp -> HsExp

hsExpSrcLoc_s :: SrcLoc -> HsExp -> HsExp

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

hsExpString_s :: String -> HsExp -> HsExp

hsClassHead_u :: (HsName -> HsName) -> HsClassHead -> HsClassHead

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

hsClassHeadContext_u :: (HsContext -> HsContext) -> HsClassHead -> HsClassHead

hsClassHead_s :: HsName -> HsClassHead -> HsClassHead

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

hsClassHeadContext_s :: HsContext -> HsClassHead -> HsClassHead

isHsPVar :: HsPat -> Bool

isHsPLit :: HsPat -> Bool

isHsPNeg :: HsPat -> Bool

isHsPInfixApp :: HsPat -> Bool

isHsPApp :: HsPat -> Bool

isHsPTuple :: HsPat -> Bool

isHsPUnboxedTuple :: HsPat -> Bool

isHsPList :: HsPat -> Bool

isHsPParen :: HsPat -> Bool

isHsPRec :: HsPat -> Bool

isHsPAsPat :: HsPat -> Bool

isHsPWildCard :: HsPat -> Bool

isHsPIrrPat :: HsPat -> Bool

isHsPBangPat :: HsPat -> Bool

isHsPTypeSig :: HsPat -> Bool