{-# LANGUAGE PatternSynonyms #-}
module Language.Haskell.Tools.Rewrite.Match.Decls where
import Language.Haskell.Tools.AST
import Language.Haskell.Tools.Rewrite.ElementTypes
pattern TypeDecl :: DeclHead -> Type -> Decl
pattern TypeDecl dh typ <- Ann _ (UTypeDecl dh typ)
pattern StandaloneDeriving :: Maybe DeriveStrategy -> Maybe OverlapPragma -> InstanceRule -> Decl
pattern StandaloneDeriving strat overlap instRule <- Ann _ (UDerivDecl (AnnMaybeG _ strat) (AnnMaybeG _ overlap) instRule)
pattern FixityDecl :: FixitySignature -> Decl
pattern FixityDecl fixity <- Ann _ (UFixityDecl fixity)
pattern DefaultDecl :: TypeList -> Decl
pattern DefaultDecl types <- Ann _ (UDefaultDecl types)
pattern TypeSigDecl :: TypeSignature -> Decl
pattern TypeSigDecl typeSig <- Ann _ (UTypeSigDecl typeSig)
pattern ValueBinding :: ValueBind -> Decl
pattern ValueBinding bind <- Ann _ (UValueBinding bind)
pattern SpliceDecl :: Splice -> Decl
pattern SpliceDecl sp <- Ann _ (USpliceDecl sp)
pattern DataDecl :: DataOrNewtypeKeyword -> MaybeContext -> DeclHead -> ConDeclList -> DerivingList -> Decl
pattern DataDecl keyw ctx dh cons derivs <- Ann _ (UDataDecl keyw ctx dh cons derivs)
pattern GADTDataDecl :: DataOrNewtypeKeyword -> MaybeContext -> DeclHead -> MaybeKindConstraint -> AnnList UGadtConDecl -> DerivingList -> Decl
pattern GADTDataDecl keyw ctx dh kind cons derivs <- Ann _ (UGDataDecl keyw ctx dh kind cons derivs )
pattern GadtConDecl :: NameList -> Type -> GadtConDecl
pattern GadtConDecl names typ <- Ann _ (UGadtConDecl names _ _ (Ann _ (UGadtNormalType typ)))
pattern GadtRecordConDecl :: NameList -> FieldDeclList -> Type -> GadtConDecl
pattern GadtRecordConDecl names fields typ <- Ann _ (UGadtConDecl names _ _ (Ann _ (UGadtRecordType fields typ)))
pattern ConDecl :: Name -> TypeList -> ConDecl
pattern ConDecl name args <- Ann _ (UConDecl _ _ name args)
pattern RecordConDecl :: Name -> FieldDeclList -> ConDecl
pattern RecordConDecl name fields <- Ann _ (URecordDecl _ _ name fields)
pattern InfixConDecl :: Type -> Operator -> Type -> ConDecl
pattern InfixConDecl lhs op rhs <- Ann _ (UInfixConDecl _ _ lhs op rhs)
pattern FieldDecl :: NameList -> Type -> FieldDecl
pattern FieldDecl names typ <- Ann _ (UFieldDecl names typ)
pattern DerivingOne :: InstanceHead -> Deriving
pattern DerivingOne deriv <- Ann _ (UDerivingOne _ deriv)
pattern DerivingOne' :: MaybeDeriveStrategy -> InstanceHead -> Deriving
pattern DerivingOne' strat deriv <- Ann _ (UDerivingOne strat deriv)
pattern DerivingMulti :: InstanceHeadList -> Deriving
pattern DerivingMulti derivs <- Ann _ (UDerivings _ derivs)
pattern DerivingMulti' :: MaybeDeriveStrategy -> InstanceHeadList -> Deriving
pattern DerivingMulti' strat derivs <- Ann _ (UDerivings strat derivs)
pattern DataKeyword :: DataOrNewtypeKeyword
pattern DataKeyword <- Ann _ UDataKeyword
pattern NewtypeKeyword :: DataOrNewtypeKeyword
pattern NewtypeKeyword <- Ann _ UNewtypeKeyword
pattern FunDeps :: FunDepList -> FunDeps
pattern FunDeps fds <- Ann _ (UFunDeps fds)
pattern FunDep :: NameList -> NameList -> FunDep
pattern FunDep lhs rhs <- Ann _ (UFunDep lhs rhs)
pattern ClassDecl :: MaybeContext -> DeclHead -> MaybeFunDeps -> MaybeClassBody -> Decl
pattern ClassDecl ctx dh fdeps body <- Ann _ (UClassDecl ctx dh fdeps body)
pattern ClassBody :: ClassElementList -> ClassBody
pattern ClassBody body <- Ann _ (UClassBody body)
pattern ClassElemSig :: TypeSignature -> ClassElement
pattern ClassElemSig typeSig <- Ann _ (UClsSig typeSig)
pattern ClassElemDef :: ValueBind -> ClassElement
pattern ClassElemDef def <- Ann _ (UClsDef def)
pattern ClassElemTypeFam :: DeclHead -> MaybeTypeFamilySpec -> ClassElement
pattern ClassElemTypeFam dh tfSpec <- Ann _ (UClsTypeFam (Ann _ (UTypeFamily dh tfSpec)))
pattern ClassElemDataFam :: DeclHead -> MaybeKindConstraint -> ClassElement
pattern ClassElemDataFam dh kind <- Ann _ (UClsTypeFam (Ann _ (UDataFamily dh kind)))
pattern ClsDefaultType :: DeclHead -> Type -> ClassElement
pattern ClsDefaultType dh typ <- Ann _ (UClsTypeDef dh typ)
pattern ClsDefaultSig :: Name -> Type -> ClassElement
pattern ClsDefaultSig name typ <- Ann _ (UClsDefSig name typ)
pattern ClsMinimal :: MinimalFormula -> ClassElement
pattern ClsMinimal min <- Ann _ (UClsMinimal min)
pattern MinimalName :: Name -> MinimalFormula
pattern MinimalName name <- Ann _ (UMinimalName name)
pattern MinimalParen :: MinimalFormula -> MinimalFormula
pattern MinimalParen min <- Ann _ (UMinimalParen min)
pattern MinimalOr :: MinimalFormulaList -> MinimalFormula
pattern MinimalOr mins <- Ann _ (UMinimalOr mins)
pattern MinimalAnd :: MinimalFormulaList -> MinimalFormula
pattern MinimalAnd mins <- Ann _ (UMinimalAnd mins)
pattern NameDeclHead :: Name -> DeclHead
pattern NameDeclHead name <- Ann _ (UDeclHead name)
pattern ParenDeclHead :: DeclHead -> DeclHead
pattern ParenDeclHead dh <- Ann _ (UDHParen dh)
pattern DeclHeadApp :: DeclHead -> TyVar -> DeclHead
pattern DeclHeadApp dh tv <- Ann _ (UDHApp dh tv)
pattern InfixDeclHead :: TyVar -> Operator -> TyVar -> DeclHead
pattern InfixDeclHead lhs op rhs <- Ann _ (UDHInfix lhs op rhs)
pattern InstanceDecl :: InstanceRule -> MaybeInstBody -> Decl
pattern InstanceDecl instRule body <- Ann _ (UInstDecl _ instRule body)
pattern InstanceBody :: InstBodyDeclList -> InstBody
pattern InstanceBody defs <- Ann _ (UInstBody defs)
pattern InstanceBind :: ValueBind -> InstBodyDecl
pattern InstanceBind bind <- Ann _ (UInstBodyNormalDecl bind)
pattern InstanceTypeSig :: TypeSignature -> InstBodyDecl
pattern InstanceTypeSig typeSig <- Ann _ (UInstBodyTypeSig typeSig)
pattern InstanceTypeFamilyDef :: TypeEqn -> InstBodyDecl
pattern InstanceTypeFamilyDef typeEq <- Ann _ (UInstBodyTypeDecl typeEq)
pattern InstanceDataFamilyDef :: DataOrNewtypeKeyword -> InstanceRule -> ConDeclList -> DerivingList -> InstBodyDecl
pattern InstanceDataFamilyDef keyw instRule cons derivs <- Ann _ (UInstBodyDataDecl keyw instRule cons derivs )
pattern InstanceDataFamilyGADTDef :: DataOrNewtypeKeyword -> InstanceRule -> MaybeKindConstraint -> AnnList UGadtConDecl
-> DerivingList -> InstBodyDecl
pattern InstanceDataFamilyGADTDef keyw instRule kind cons derivs <- Ann _ (UInstBodyGadtDataDecl keyw instRule kind cons derivs)
pattern InstanceSpecializePragma :: Type -> InstBodyDecl
pattern InstanceSpecializePragma typ <- Ann _ (USpecializeInstance typ)
pattern InstanceRule :: AnnMaybe (AnnListG UTyVar) -> MaybeContext -> InstanceHead -> InstanceRule
pattern InstanceRule tvs ctx ih <- Ann _ (UInstanceRule tvs ctx ih)
pattern InstanceHead :: Name -> InstanceHead
pattern InstanceHead name <- Ann _ (UInstanceHeadCon name)
pattern InfixInstanceHead :: Type -> Operator -> InstanceHead
pattern InfixInstanceHead typ n <- Ann _ (UInstanceHeadInfix typ n)
pattern ParenInstanceHead :: InstanceHead -> InstanceHead
pattern ParenInstanceHead ih <- Ann _ (UInstanceHeadParen ih)
pattern AppInstanceHead :: InstanceHead -> Type -> InstanceHead
pattern AppInstanceHead fun arg <- Ann _ (UInstanceHeadApp fun arg)
pattern EnableOverlap :: OverlapPragma
pattern EnableOverlap <- Ann _ UEnableOverlap
pattern DisableOverlap :: OverlapPragma
pattern DisableOverlap <- Ann _ UDisableOverlap
pattern Overlappable :: OverlapPragma
pattern Overlappable <- Ann _ UOverlappable
pattern Overlapping :: OverlapPragma
pattern Overlapping <- Ann _ UOverlapping
pattern Overlaps :: OverlapPragma
pattern Overlaps <- Ann _ UOverlaps
pattern IncoherentOverlap :: OverlapPragma
pattern IncoherentOverlap <- Ann _ UIncoherentOverlap
pattern RoleDecl :: QualifiedName -> RoleList -> Decl
pattern RoleDecl name roles <- Ann _ (URoleDecl name roles)
pattern NominalRole :: Role
pattern NominalRole <- Ann _ UNominal
pattern RepresentationalRole :: Role
pattern RepresentationalRole <- Ann _ URepresentational
pattern PhantomRole :: Role
pattern PhantomRole <- Ann _ UPhantom
pattern ForeignImport :: CallConv -> MaybeSafety -> Name -> Type -> Decl
pattern ForeignImport cc safety name typ <- Ann _ (UForeignImport cc safety name typ)
pattern ForeignExport :: CallConv -> Name -> Type -> Decl
pattern ForeignExport cc name typ <- Ann _ (UForeignExport cc name typ)
pattern StdCall :: CallConv
pattern StdCall <- Ann _ UStdCall
pattern CCall :: CallConv
pattern CCall <- Ann _ UCCall
pattern CApi :: CallConv
pattern CApi <- Ann _ UCApi
pattern Unsafe :: Safety
pattern Unsafe <- Ann _ UUnsafe
pattern PatternSynonym :: PatSynLhs -> PatSynRhs -> Decl
pattern PatternSynonym lhs rhs <- Ann _ (UPatternSynonymDecl (Ann _ (UPatternSynonym lhs rhs)))
pattern ConPatSyn :: Name -> NameList -> PatSynLhs
pattern ConPatSyn con args <- Ann _ (UNormalPatSyn con args)
pattern InfixPatSyn :: Name -> Operator -> Name -> PatSynLhs
pattern InfixPatSyn lhs op rhs <- Ann _ (UInfixPatSyn lhs op rhs)
pattern RecordPatSyn :: Name -> NameList -> PatSynLhs
pattern RecordPatSyn con args <- Ann _ (URecordPatSyn con args)
pattern SymmetricPatSyn :: Pattern -> PatSynRhs
pattern SymmetricPatSyn pat <- Ann _ (UBidirectionalPatSyn pat AnnNothing)
pattern OneWayPatSyn :: Pattern -> PatSynRhs
pattern OneWayPatSyn pat <- Ann _ (UOneDirectionalPatSyn pat)
pattern TwoWayPatSyn :: Pattern -> MatchList -> PatSynRhs
pattern TwoWayPatSyn pat match <- Ann _ (UBidirectionalPatSyn pat (AnnJust (Ann _ (UPatSynWhere match))))
pattern PatternSignatureDecl :: PatternSignature -> Decl
pattern PatternSignatureDecl patsig <- Ann _ (UPatTypeSigDecl patsig)
pattern PatternSignature :: NameList -> Type -> PatternSignature
pattern PatternSignature name typ <- Ann _ (UPatternTypeSignature name typ)
pattern TypeFamily :: DeclHead -> MaybeTypeFamilySpec -> Decl
pattern TypeFamily dh famSpec <- Ann _ (UTypeFamilyDecl (Ann _ (UTypeFamily dh famSpec)))
pattern DataFamily :: DeclHead -> MaybeKindConstraint -> Decl
pattern DataFamily dh kind <- Ann _ (UTypeFamilyDecl (Ann _ (UDataFamily dh kind)))
pattern TypeInstance :: InstanceRule -> Type -> Decl
pattern TypeInstance instRule typ <- Ann _ (UTypeInstDecl instRule typ)
pattern DataInstance :: DataOrNewtypeKeyword -> InstanceRule -> ConDeclList -> DerivingList -> Decl
pattern DataInstance keyw instRule cons derivs <- Ann _ (UDataInstDecl keyw instRule cons derivs )
pattern GadtDataInstance :: DataOrNewtypeKeyword -> InstanceRule -> MaybeKindConstraint -> GadtConDeclList -> Decl
pattern GadtDataInstance keyw instRule kind cons <- Ann _ (UGDataInstDecl keyw instRule kind cons )
pattern ClosedTypeFamily :: DeclHead -> MaybeTypeFamilySpec -> TypeEqnList -> Decl
pattern ClosedTypeFamily dh kind typeqs <- Ann _ (UClosedTypeFamilyDecl dh kind typeqs)
pattern TypeFamilyKindSpec :: KindConstraint -> TypeFamilySpec
pattern TypeFamilyKindSpec kind <- Ann _ (UTypeFamilyKind kind)
pattern TypeFamilyInjectivitySpec :: TyVar -> NameList -> TypeFamilySpec
pattern TypeFamilyInjectivitySpec res dependent <- Ann _ (UTypeFamilyInjectivity (Ann _ (UInjectivityAnn res dependent)))
pattern TypeEqn :: Type -> Type -> TypeEqn
pattern TypeEqn lhs rhs <- Ann _ (UTypeEqn lhs rhs)
pattern PragmaDecl :: TopLevelPragma -> Decl
pattern PragmaDecl pragma <- Ann _ (UPragmaDecl pragma)
pattern RulePragma :: RuleList -> TopLevelPragma
pattern RulePragma rules <- Ann _ (URulePragma rules)
pattern DeprPragma :: NameList -> String -> TopLevelPragma
pattern DeprPragma defs msg <- Ann _ (UDeprPragma defs (AnnList [Ann _ (UStringNode msg)]))
pattern WarningPragma :: NameList -> String -> TopLevelPragma
pattern WarningPragma defs msg <- Ann _ (UWarningPragma defs (AnnList [Ann _ (UStringNode msg)]))
pattern AnnPragma :: AnnotationSubject -> Expr -> TopLevelPragma
pattern AnnPragma subj ann <- Ann _ (UAnnPragma subj ann)
pattern InlinePragma :: MaybeConlikeAnnot -> MaybePhaseControl -> Name -> TopLevelPragma
pattern InlinePragma conlike phase name <- Ann _ (UInlinePragmaDecl (Ann _ (UInlinePragma conlike phase name)))
pattern NoInlinePragma :: Name -> TopLevelPragma
pattern NoInlinePragma name <- Ann _ (UInlinePragmaDecl (Ann _ (UNoInlinePragma name)))
pattern InlinablePragma :: MaybePhaseControl -> Name -> TopLevelPragma
pattern InlinablePragma phase name <- Ann _ (UInlinePragmaDecl (Ann _ (UInlinablePragma phase name)))
pattern LinePragma :: Int -> MaybeStringNode -> TopLevelPragma
pattern LinePragma line filename <- Ann _ (ULinePragma (Ann _ (LineNumber line)) filename)
pattern SpecializePragma :: MaybePhaseControl -> Name -> TypeList -> TopLevelPragma
pattern SpecializePragma phase def specTypes <- Ann _ (USpecializeDecl (Ann _ (USpecializePragma phase def specTypes)))
pattern PhaseControlFrom :: Integer -> PhaseControl
pattern PhaseControlFrom phaseNum <- Ann _ (UPhaseControl AnnNothing (AnnJust (Ann _ (PhaseNumber phaseNum))))
pattern PhaseControlUntil :: Integer -> PhaseControl
pattern PhaseControlUntil phaseNum <- Ann _ (UPhaseControl (AnnJust _) (AnnJust (Ann _ (PhaseNumber phaseNum))))
pattern RewriteRule :: String -> MaybePhaseControl -> RuleVarList -> Expr -> Expr -> Rule
pattern RewriteRule name phase vars lhs rhs <- Ann _ (URule (Ann _ (UStringNode name)) phase vars lhs rhs)
pattern NameAnnotation :: Name -> AnnotationSubject
pattern NameAnnotation name <- Ann _ (UNameAnnotation name)
pattern TypeAnnotation :: Name -> AnnotationSubject
pattern TypeAnnotation name <- Ann _ (UTypeAnnotation name)
pattern ModuleAnnotation :: AnnotationSubject
pattern ModuleAnnotation <- Ann _ UModuleAnnotation
pattern ConlikeAnnotation :: ConlikeAnnot
pattern ConlikeAnnotation <- Ann _ UConlikeAnnot