app package:haskell-src-exts

app :: Exp () -> Exp () -> Exp ()
haskell-src-exts Language.Haskell.Exts.Build
Application of expressions by juxtaposition.
App :: l -> Exp l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
ordinary application
appFun :: Exp () -> [Exp ()] -> Exp ()
haskell-src-exts Language.Haskell.Exts.Build
Apply a function to a list of arguments.
applyFixities :: (AppFixity ast, MonadFail m) => [Fixity] -> ast SrcSpanInfo -> m (ast SrcSpanInfo)
haskell-src-exts Language.Haskell.Exts.Fixity
Tweak any expressions in the element to account for the fixities given. Assumes that all operator expressions are fully left associative chains to begin with.
class AppFixity ast
haskell-src-exts Language.Haskell.Exts.Fixity
All AST elements that may include expressions which in turn may need fixity tweaking will be instances of this class.
OVERLAPPABLE :: Token
haskell-src-exts Language.Haskell.Exts Language.Haskell.Exts.Lexer
OVERLAPPING :: Token
haskell-src-exts Language.Haskell.Exts Language.Haskell.Exts.Lexer
TApp :: Token
haskell-src-exts Language.Haskell.Exts Language.Haskell.Exts.Lexer
infixApp :: Exp () -> QOp () -> Exp () -> Exp ()
haskell-src-exts Language.Haskell.Exts.Build
Apply an operator infix.
pApp :: Name () -> [Pat ()] -> Pat ()
haskell-src-exts Language.Haskell.Exts.Build
A constructor pattern, with argument patterns.
OverlappingInstances :: KnownExtension
haskell-src-exts Language.Haskell.Exts.Extension
  • GHC § 7.6.3.4 Allow overlapping class instances, provided there is a unique most specific instance for each use.
TypeApplications :: KnownExtension
haskell-src-exts Language.Haskell.Exts.Extension
DHApp :: l -> DeclHead l -> TyVarBind l -> DeclHead l
haskell-src-exts Language.Haskell.Exts.Syntax
application to one more type variable
IHApp :: l -> InstHead l -> Type l -> InstHead l
haskell-src-exts Language.Haskell.Exts.Syntax
application to one more type
InfixApp :: l -> Exp l -> QOp l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
infix application
LeftArrApp :: l -> Exp l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
arrow application (from left): exp -< exp
LeftArrHighApp :: l -> Exp l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
higher-order arrow application (from left): exp -<< exp
NegApp :: l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
negation expression -exp (unary minus)
Overlappable :: l -> Overlap l
haskell-src-exts Language.Haskell.Exts.Syntax
Overlapping :: l -> Overlap l
haskell-src-exts Language.Haskell.Exts.Syntax
PApp :: l -> QName l -> [Pat l] -> Pat l
haskell-src-exts Language.Haskell.Exts.Syntax
data constructor and argument patterns
PInfixApp :: l -> Pat l -> QName l -> Pat l -> Pat l
haskell-src-exts Language.Haskell.Exts.Syntax
pattern with an infix data constructor
RightArrApp :: l -> Exp l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
arrow application (from right): exp >- exp
RightArrHighApp :: l -> Exp l -> Exp l -> Exp l
haskell-src-exts Language.Haskell.Exts.Syntax
higher-order arrow application (from right): exp >>- exp
TyApp :: l -> Type l -> Type l -> Type l
haskell-src-exts Language.Haskell.Exts.Syntax
application of a type constructor