ghc-lib-parser-0.20191101: The GHC API, decoupled from GHC versions

Safe HaskellNone
LanguageHaskell2010

RdrHsSyn

Synopsis

Documentation

mkTyClD :: LTyClDecl (GhcPass p) -> LHsDecl (GhcPass p) Source #

mkClassDecl builds a RdrClassDecl, filling in the names for tycon and datacon by deriving them from the name of the class. We fill in the names for the tycon and datacon corresponding to the class, by deriving them from the name of the class itself. This saves recording the names in the interface file (which would be equally good).

setRdrNameSpace :: RdrName -> NameSpace -> RdrName Source #

This rather gruesome function is used mainly by the parser. When parsing:

data T a = T | T1 Int

we parse the data constructors as types because of parser ambiguities, so then we need to change the type constr to a data constr

The exact-name case can occur when parsing:

data [] a = [] | a : [a]

For the exact-name case we return an original name.

filterCTuple :: RdrName -> RdrName Source #

Replaces constraint tuple names with corresponding boxed ones.

cvTopDecls :: OrdList (LHsDecl GhcPs) -> [LHsDecl GhcPs] Source #

Function definitions are restructured here. Each is assumed to be recursive initially, and non recursive definitions are discovered by the dependency analyser.

checkExpBlockArguments :: LHsExpr GhcPs -> PV () Source #

Yield a parse error if we have a function applied directly to a do block etc. and BlockArguments is not enabled.

checkPrecP Source #

Arguments

:: Located (SourceText, Int)

precedence

-> Located (OrdList (Located RdrName))

operators

-> P () 

Check if a fixity is valid. We support bypassing the usual bound checks for some special operators.

checkContext :: LHsType GhcPs -> P ([AddAnn], LHsContext GhcPs) Source #

Validate the context constraints and break up a context into a list of predicates.

    (Eq a, Ord b)        -->  [Eq a, Ord b]
    Eq a                 -->  [Eq a]
    (Eq a)               -->  [Eq a]
    (((Eq a)))           -->  [Eq a]

checkMonadComp :: PV (HsStmtContext Name) Source #

Check for monad comprehensions

If the flag MonadComprehensions is set, return a MonadComp context, otherwise use the usual ListComp context

data RuleTyTmVar Source #

Essentially a wrapper for a RuleBndr GhcPs

checkEmptyGADTs :: Located ([AddAnn], [LConDecl GhcPs]) -> P (Located ([AddAnn], [LConDecl GhcPs])) Source #

Check if the gadt_constrlist is empty. Only raise parse error for `data T where` to avoid affecting existing error message, see #8258.

addFatalError :: MonadP m => SrcSpan -> SDoc -> m a Source #

Add a fatal error. This will be the last error reported by the parser, and the parser will not produce any result, ending in a PFailed state.

hintBangPat :: SrcSpan -> PatBuilder GhcPs -> PV () Source #

Hint about bang patterns, assuming BangPatterns is off.

data TyEl Source #

Either an operator or an operand.

Instances
Outputable TyEl Source # 
Instance details

Defined in RdrHsSyn

mergeOps :: [Located TyEl] -> P (LHsType GhcPs) Source #

Merge a reversed and non-empty soup of operators and operands into a type.

User input: F x y + G a b * X Input to mergeOps: [X, *, b, a, G, +, y, x, F] Output corresponds to what the user wrote assuming all operators are of the same fixity and right-associative.

It's a bit silly that we're doing it at all, as the renamer will have to rearrange this, and it'd be easier to keep things separate.

See Note [Parsing data constructors is hard]

mergeDataCon :: [Located TyEl] -> P (Located RdrName, HsConDeclDetails GhcPs, Maybe LHsDocString) Source #

Merge a reversed and non-empty soup of operators and operands into a data constructor.

User input: C !A B -- ^ doc Input to mergeDataCon: ["doc", B, !, A, C] Output: (C, PrefixCon [!A, B], "doc")

See Note [Parsing data constructors is hard] See Note [isFunLhs vs mergeDataCon]

data SumOrTuple b Source #

Constructors

Sum ConTag Arity (Located b) 
Tuple [Located (Maybe (Located b))] 

data PV a Source #

Instances
Monad PV Source # 
Instance details

Defined in RdrHsSyn

Methods

(>>=) :: PV a -> (a -> PV b) -> PV b #

(>>) :: PV a -> PV b -> PV b #

return :: a -> PV a #

fail :: String -> PV a #

Functor PV Source # 
Instance details

Defined in RdrHsSyn

Methods

fmap :: (a -> b) -> PV a -> PV b #

(<$) :: a -> PV b -> PV a #

Applicative PV Source # 
Instance details

Defined in RdrHsSyn

Methods

pure :: a -> PV a #

(<*>) :: PV (a -> b) -> PV a -> PV b #

liftA2 :: (a -> b -> c) -> PV a -> PV b -> PV c #

(*>) :: PV a -> PV b -> PV b #

(<*) :: PV a -> PV b -> PV a #

MonadP PV Source # 
Instance details

Defined in RdrHsSyn

runPV :: PV a -> P a Source #

newtype ECP Source #

Constructors

ECP 

Fields

class DisambInfixOp b where Source #

Disambiguate infix operators. See Note [Ambiguous syntactic categories]

class b ~ Body b GhcPs => DisambECP b where Source #

Disambiguate constructs that may appear when we do not know ahead of time whether we are parsing an expression, a command, or a pattern. See Note [Ambiguous syntactic categories]

Associated Types

type Body b :: * -> * Source #

See Note [Body in DisambECP]

type InfixOp b Source #

Infix operator representation

type FunArg b Source #

Function argument representation

Methods

ecpFromCmd' :: LHsCmd GhcPs -> PV (Located b) Source #

Return a command without ambiguity, or fail in a non-command context.

ecpFromExp' :: LHsExpr GhcPs -> PV (Located b) Source #

Return an expression without ambiguity, or fail in a non-expression context.

mkHsLamPV :: SrcSpan -> MatchGroup GhcPs (Located b) -> PV (Located b) Source #

Disambiguate "... -> ..." (lambda)

mkHsLetPV :: SrcSpan -> LHsLocalBinds GhcPs -> Located b -> PV (Located b) Source #

Disambiguate "let ... in ..."

superInfixOp :: (DisambInfixOp (InfixOp b) => PV (Located b)) -> PV (Located b) Source #

Bring superclass constraints on FunArg into scope. See Note [UndecidableSuperClasses for associated types]

mkHsOpAppPV :: SrcSpan -> Located b -> Located (InfixOp b) -> Located b -> PV (Located b) Source #

Disambiguate "f # x" (infix operator)

mkHsCasePV :: SrcSpan -> LHsExpr GhcPs -> MatchGroup GhcPs (Located b) -> PV (Located b) Source #

Disambiguate "case ... of ..."

superFunArg :: (DisambECP (FunArg b) => PV (Located b)) -> PV (Located b) Source #

Bring superclass constraints on FunArg into scope. See Note [UndecidableSuperClasses for associated types]

mkHsAppPV :: SrcSpan -> Located b -> Located (FunArg b) -> PV (Located b) Source #

Disambiguate "f x" (function application)

mkHsIfPV :: SrcSpan -> LHsExpr GhcPs -> Bool -> Located b -> Bool -> Located b -> PV (Located b) Source #

Disambiguate "if ... then ... else ..."

mkHsDoPV :: SrcSpan -> Located [LStmt GhcPs (Located b)] -> PV (Located b) Source #

Disambiguate "do { ... }" (do notation)

mkHsParPV :: SrcSpan -> Located b -> PV (Located b) Source #

Disambiguate "( ... )" (parentheses)

mkHsVarPV :: Located RdrName -> PV (Located b) Source #

Disambiguate a variable "f" or a data constructor MkF.

mkHsLitPV :: Located (HsLit GhcPs) -> PV (Located b) Source #

Disambiguate a monomorphic literal

mkHsOverLitPV :: Located (HsOverLit GhcPs) -> PV (Located b) Source #

Disambiguate an overloaded literal

mkHsWildCardPV :: SrcSpan -> PV (Located b) Source #

Disambiguate a wildcard

mkHsTySigPV :: SrcSpan -> Located b -> LHsType GhcPs -> PV (Located b) Source #

Disambiguate "a :: t" (type annotation)

mkHsExplicitListPV :: SrcSpan -> [Located b] -> PV (Located b) Source #

Disambiguate "[a,b,c]" (list syntax)

mkHsSplicePV :: Located (HsSplice GhcPs) -> PV (Located b) Source #

Disambiguate "$(...)" and "[quasi|...|]" (TH splices)

mkHsRecordPV :: SrcSpan -> SrcSpan -> Located b -> ([LHsRecField GhcPs (Located b)], Maybe SrcSpan) -> PV (Located b) Source #

Disambiguate "f { a = b, ... }" syntax (record construction and record updates)

mkHsNegAppPV :: SrcSpan -> Located b -> PV (Located b) Source #

Disambiguate "-a" (negation)

mkHsSectionR_PV :: SrcSpan -> Located (InfixOp b) -> Located b -> PV (Located b) Source #

Disambiguate "(# a)" (right operator section)

mkHsViewPatPV :: SrcSpan -> LHsExpr GhcPs -> Located b -> PV (Located b) Source #

Disambiguate "(a -> b)" (view pattern)

mkHsAsPatPV :: SrcSpan -> Located RdrName -> Located b -> PV (Located b) Source #

Disambiguate "a@b" (as-pattern)

mkHsLazyPatPV :: SrcSpan -> Located b -> PV (Located b) Source #

Disambiguate "~a" (lazy pattern)

mkSumOrTuplePV :: SrcSpan -> Boxity -> SumOrTuple b -> PV (Located b) Source #

Disambiguate tuple sections and unboxed sums

Instances
p ~ GhcPs => DisambECP (HsCmd p) Source # 
Instance details

Defined in RdrHsSyn

Associated Types

type Body (HsCmd p) :: Type -> Type Source #

type InfixOp (HsCmd p) :: Type Source #

type FunArg (HsCmd p) :: Type Source #

Methods

ecpFromCmd' :: LHsCmd GhcPs -> PV (Located (HsCmd p)) Source #

ecpFromExp' :: LHsExpr GhcPs -> PV (Located (HsCmd p)) Source #

mkHsLamPV :: SrcSpan -> MatchGroup GhcPs (Located (HsCmd p)) -> PV (Located (HsCmd p)) Source #

mkHsLetPV :: SrcSpan -> LHsLocalBinds GhcPs -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

superInfixOp :: (DisambInfixOp (InfixOp (HsCmd p)) -> PV (Located (HsCmd p))) -> PV (Located (HsCmd p)) Source #

mkHsOpAppPV :: SrcSpan -> Located (HsCmd p) -> Located (InfixOp (HsCmd p)) -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsCasePV :: SrcSpan -> LHsExpr GhcPs -> MatchGroup GhcPs (Located (HsCmd p)) -> PV (Located (HsCmd p)) Source #

superFunArg :: (DisambECP (FunArg (HsCmd p)) -> PV (Located (HsCmd p))) -> PV (Located (HsCmd p)) Source #

mkHsAppPV :: SrcSpan -> Located (HsCmd p) -> Located (FunArg (HsCmd p)) -> PV (Located (HsCmd p)) Source #

mkHsIfPV :: SrcSpan -> LHsExpr GhcPs -> Bool -> Located (HsCmd p) -> Bool -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsDoPV :: SrcSpan -> Located [LStmt GhcPs (Located (HsCmd p))] -> PV (Located (HsCmd p)) Source #

mkHsParPV :: SrcSpan -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsVarPV :: Located RdrName -> PV (Located (HsCmd p)) Source #

mkHsLitPV :: Located (HsLit GhcPs) -> PV (Located (HsCmd p)) Source #

mkHsOverLitPV :: Located (HsOverLit GhcPs) -> PV (Located (HsCmd p)) Source #

mkHsWildCardPV :: SrcSpan -> PV (Located (HsCmd p)) Source #

mkHsTySigPV :: SrcSpan -> Located (HsCmd p) -> LHsType GhcPs -> PV (Located (HsCmd p)) Source #

mkHsExplicitListPV :: SrcSpan -> [Located (HsCmd p)] -> PV (Located (HsCmd p)) Source #

mkHsSplicePV :: Located (HsSplice GhcPs) -> PV (Located (HsCmd p)) Source #

mkHsRecordPV :: SrcSpan -> SrcSpan -> Located (HsCmd p) -> ([LHsRecField GhcPs (Located (HsCmd p))], Maybe SrcSpan) -> PV (Located (HsCmd p)) Source #

mkHsNegAppPV :: SrcSpan -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsSectionR_PV :: SrcSpan -> Located (InfixOp (HsCmd p)) -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsViewPatPV :: SrcSpan -> LHsExpr GhcPs -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsAsPatPV :: SrcSpan -> Located RdrName -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkHsLazyPatPV :: SrcSpan -> Located (HsCmd p) -> PV (Located (HsCmd p)) Source #

mkSumOrTuplePV :: SrcSpan -> Boxity -> SumOrTuple (HsCmd p) -> PV (Located (HsCmd p)) Source #

p ~ GhcPs => DisambECP (HsExpr p) Source # 
Instance details

Defined in RdrHsSyn

Associated Types

type Body (HsExpr p) :: Type -> Type Source #

type InfixOp (HsExpr p) :: Type Source #

type FunArg (HsExpr p) :: Type Source #

Methods

ecpFromCmd' :: LHsCmd GhcPs -> PV (Located (HsExpr p)) Source #

ecpFromExp' :: LHsExpr GhcPs -> PV (Located (HsExpr p)) Source #

mkHsLamPV :: SrcSpan -> MatchGroup GhcPs (Located (HsExpr p)) -> PV (Located (HsExpr p)) Source #

mkHsLetPV :: SrcSpan -> LHsLocalBinds GhcPs -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

superInfixOp :: (DisambInfixOp (InfixOp (HsExpr p)) -> PV (Located (HsExpr p))) -> PV (Located (HsExpr p)) Source #

mkHsOpAppPV :: SrcSpan -> Located (HsExpr p) -> Located (InfixOp (HsExpr p)) -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsCasePV :: SrcSpan -> LHsExpr GhcPs -> MatchGroup GhcPs (Located (HsExpr p)) -> PV (Located (HsExpr p)) Source #

superFunArg :: (DisambECP (FunArg (HsExpr p)) -> PV (Located (HsExpr p))) -> PV (Located (HsExpr p)) Source #

mkHsAppPV :: SrcSpan -> Located (HsExpr p) -> Located (FunArg (HsExpr p)) -> PV (Located (HsExpr p)) Source #

mkHsIfPV :: SrcSpan -> LHsExpr GhcPs -> Bool -> Located (HsExpr p) -> Bool -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsDoPV :: SrcSpan -> Located [LStmt GhcPs (Located (HsExpr p))] -> PV (Located (HsExpr p)) Source #

mkHsParPV :: SrcSpan -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsVarPV :: Located RdrName -> PV (Located (HsExpr p)) Source #

mkHsLitPV :: Located (HsLit GhcPs) -> PV (Located (HsExpr p)) Source #

mkHsOverLitPV :: Located (HsOverLit GhcPs) -> PV (Located (HsExpr p)) Source #

mkHsWildCardPV :: SrcSpan -> PV (Located (HsExpr p)) Source #

mkHsTySigPV :: SrcSpan -> Located (HsExpr p) -> LHsType GhcPs -> PV (Located (HsExpr p)) Source #

mkHsExplicitListPV :: SrcSpan -> [Located (HsExpr p)] -> PV (Located (HsExpr p)) Source #

mkHsSplicePV :: Located (HsSplice GhcPs) -> PV (Located (HsExpr p)) Source #

mkHsRecordPV :: SrcSpan -> SrcSpan -> Located (HsExpr p) -> ([LHsRecField GhcPs (Located (HsExpr p))], Maybe SrcSpan) -> PV (Located (HsExpr p)) Source #

mkHsNegAppPV :: SrcSpan -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsSectionR_PV :: SrcSpan -> Located (InfixOp (HsExpr p)) -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsViewPatPV :: SrcSpan -> LHsExpr GhcPs -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsAsPatPV :: SrcSpan -> Located RdrName -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkHsLazyPatPV :: SrcSpan -> Located (HsExpr p) -> PV (Located (HsExpr p)) Source #

mkSumOrTuplePV :: SrcSpan -> Boxity -> SumOrTuple (HsExpr p) -> PV (Located (HsExpr p)) Source #

p ~ GhcPs => DisambECP (PatBuilder p) Source # 
Instance details

Defined in RdrHsSyn

Associated Types

type Body (PatBuilder p) :: Type -> Type Source #

type InfixOp (PatBuilder p) :: Type Source #

type FunArg (PatBuilder p) :: Type Source #

Methods

ecpFromCmd' :: LHsCmd GhcPs -> PV (Located (PatBuilder p)) Source #

ecpFromExp' :: LHsExpr GhcPs -> PV (Located (PatBuilder p)) Source #

mkHsLamPV :: SrcSpan -> MatchGroup GhcPs (Located (PatBuilder p)) -> PV (Located (PatBuilder p)) Source #

mkHsLetPV :: SrcSpan -> LHsLocalBinds GhcPs -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

superInfixOp :: (DisambInfixOp (InfixOp (PatBuilder p)) -> PV (Located (PatBuilder p))) -> PV (Located (PatBuilder p)) Source #

mkHsOpAppPV :: SrcSpan -> Located (PatBuilder p) -> Located (InfixOp (PatBuilder p)) -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsCasePV :: SrcSpan -> LHsExpr GhcPs -> MatchGroup GhcPs (Located (PatBuilder p)) -> PV (Located (PatBuilder p)) Source #

superFunArg :: (DisambECP (FunArg (PatBuilder p)) -> PV (Located (PatBuilder p))) -> PV (Located (PatBuilder p)) Source #

mkHsAppPV :: SrcSpan -> Located (PatBuilder p) -> Located (FunArg (PatBuilder p)) -> PV (Located (PatBuilder p)) Source #

mkHsIfPV :: SrcSpan -> LHsExpr GhcPs -> Bool -> Located (PatBuilder p) -> Bool -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsDoPV :: SrcSpan -> Located [LStmt GhcPs (Located (PatBuilder p))] -> PV (Located (PatBuilder p)) Source #

mkHsParPV :: SrcSpan -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsVarPV :: Located RdrName -> PV (Located (PatBuilder p)) Source #

mkHsLitPV :: Located (HsLit GhcPs) -> PV (Located (PatBuilder p)) Source #

mkHsOverLitPV :: Located (HsOverLit GhcPs) -> PV (Located (PatBuilder p)) Source #

mkHsWildCardPV :: SrcSpan -> PV (Located (PatBuilder p)) Source #

mkHsTySigPV :: SrcSpan -> Located (PatBuilder p) -> LHsType GhcPs -> PV (Located (PatBuilder p)) Source #

mkHsExplicitListPV :: SrcSpan -> [Located (PatBuilder p)] -> PV (Located (PatBuilder p)) Source #

mkHsSplicePV :: Located (HsSplice GhcPs) -> PV (Located (PatBuilder p)) Source #

mkHsRecordPV :: SrcSpan -> SrcSpan -> Located (PatBuilder p) -> ([LHsRecField GhcPs (Located (PatBuilder p))], Maybe SrcSpan) -> PV (Located (PatBuilder p)) Source #

mkHsNegAppPV :: SrcSpan -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsSectionR_PV :: SrcSpan -> Located (InfixOp (PatBuilder p)) -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsViewPatPV :: SrcSpan -> LHsExpr GhcPs -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsAsPatPV :: SrcSpan -> Located RdrName -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsLazyPatPV :: SrcSpan -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkSumOrTuplePV :: SrcSpan -> Boxity -> SumOrTuple (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

data PatBuilder p Source #

See Note [Ambiguous syntactic categories] and Note [PatBuilder]

Instances
p ~ GhcPs => Outputable (PatBuilder p) Source # 
Instance details

Defined in RdrHsSyn

p ~ GhcPs => DisambECP (PatBuilder p) Source # 
Instance details

Defined in RdrHsSyn

Associated Types

type Body (PatBuilder p) :: Type -> Type Source #

type InfixOp (PatBuilder p) :: Type Source #

type FunArg (PatBuilder p) :: Type Source #

Methods

ecpFromCmd' :: LHsCmd GhcPs -> PV (Located (PatBuilder p)) Source #

ecpFromExp' :: LHsExpr GhcPs -> PV (Located (PatBuilder p)) Source #

mkHsLamPV :: SrcSpan -> MatchGroup GhcPs (Located (PatBuilder p)) -> PV (Located (PatBuilder p)) Source #

mkHsLetPV :: SrcSpan -> LHsLocalBinds GhcPs -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

superInfixOp :: (DisambInfixOp (InfixOp (PatBuilder p)) -> PV (Located (PatBuilder p))) -> PV (Located (PatBuilder p)) Source #

mkHsOpAppPV :: SrcSpan -> Located (PatBuilder p) -> Located (InfixOp (PatBuilder p)) -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsCasePV :: SrcSpan -> LHsExpr GhcPs -> MatchGroup GhcPs (Located (PatBuilder p)) -> PV (Located (PatBuilder p)) Source #

superFunArg :: (DisambECP (FunArg (PatBuilder p)) -> PV (Located (PatBuilder p))) -> PV (Located (PatBuilder p)) Source #

mkHsAppPV :: SrcSpan -> Located (PatBuilder p) -> Located (FunArg (PatBuilder p)) -> PV (Located (PatBuilder p)) Source #

mkHsIfPV :: SrcSpan -> LHsExpr GhcPs -> Bool -> Located (PatBuilder p) -> Bool -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsDoPV :: SrcSpan -> Located [LStmt GhcPs (Located (PatBuilder p))] -> PV (Located (PatBuilder p)) Source #

mkHsParPV :: SrcSpan -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsVarPV :: Located RdrName -> PV (Located (PatBuilder p)) Source #

mkHsLitPV :: Located (HsLit GhcPs) -> PV (Located (PatBuilder p)) Source #

mkHsOverLitPV :: Located (HsOverLit GhcPs) -> PV (Located (PatBuilder p)) Source #

mkHsWildCardPV :: SrcSpan -> PV (Located (PatBuilder p)) Source #

mkHsTySigPV :: SrcSpan -> Located (PatBuilder p) -> LHsType GhcPs -> PV (Located (PatBuilder p)) Source #

mkHsExplicitListPV :: SrcSpan -> [Located (PatBuilder p)] -> PV (Located (PatBuilder p)) Source #

mkHsSplicePV :: Located (HsSplice GhcPs) -> PV (Located (PatBuilder p)) Source #

mkHsRecordPV :: SrcSpan -> SrcSpan -> Located (PatBuilder p) -> ([LHsRecField GhcPs (Located (PatBuilder p))], Maybe SrcSpan) -> PV (Located (PatBuilder p)) Source #

mkHsNegAppPV :: SrcSpan -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsSectionR_PV :: SrcSpan -> Located (InfixOp (PatBuilder p)) -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsViewPatPV :: SrcSpan -> LHsExpr GhcPs -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsAsPatPV :: SrcSpan -> Located RdrName -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkHsLazyPatPV :: SrcSpan -> Located (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

mkSumOrTuplePV :: SrcSpan -> Boxity -> SumOrTuple (PatBuilder p) -> PV (Located (PatBuilder p)) Source #

type Body (PatBuilder p) Source # 
Instance details

Defined in RdrHsSyn

type InfixOp (PatBuilder p) Source # 
Instance details

Defined in RdrHsSyn

type FunArg (PatBuilder p) Source # 
Instance details

Defined in RdrHsSyn