Safe Haskell	Safe-Inferred
Language	Haskell2010

SyntaxTrees.Haskell.FnDef

Documentation

data FnSig Source #

Constructors

FnSig
Fields name :: Var type' :: Type

Instances

Instances details

Show FnSig Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> FnSig -> ShowS # show :: FnSig -> String # showList :: [FnSig] -> ShowS #

data FnDef Source #

Constructors

FnDef
Fields names :: [Var] args :: [Pattern] body :: MaybeGuardedFnBody

Instances

Instances details

Show FnDef Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> FnDef -> ShowS # show :: FnDef -> String # showList :: [FnDef] -> ShowS #

data InfixFnAnnotation Source #

Constructors

InfixFnAnnotation
Fields associativity :: Associativity precedence :: Integer name :: VarOp

Instances

Instances details

Show InfixFnAnnotation Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> InfixFnAnnotation -> ShowS # show :: InfixFnAnnotation -> String # showList :: [InfixFnAnnotation] -> ShowS #

data FnDefOrSig Source #

Constructors

Def FnDef
Sig FnSig

Instances

Instances details

Show FnDefOrSig Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> FnDefOrSig -> ShowS # show :: FnDefOrSig -> String # showList :: [FnDefOrSig] -> ShowS #

data FnBody Source #

Constructors

FnApply
Fields fn :: FnBody args :: [FnBody]
InfixFnApply
Fields fnOps :: [FnOp] args :: [FnBody]
LeftOpSection
Fields fnOp :: FnOp arg :: FnBody
RightOpSection
Fields arg :: FnBody fnOp :: FnOp
LambdaExpr
Fields patterns :: [Pattern] body :: FnBody
LetExpr
Fields fnBindings :: [FnDefOrSig] body :: FnBody
WhereExpr
Fields body :: FnBody fnBindings :: [FnDefOrSig]
IfExpr
Fields cond :: FnBody ifBranch :: FnBody elseBranch :: FnBody
MultiWayIfExpr
Fields whenExprs :: [GuardedFnBody]
DoExpr
Fields steps :: [DoStep]
CaseOfExpr
Fields matchee :: FnBody cases :: [CaseBinding]
LambdaCaseExpr
Fields cases :: [CaseBinding]
RecordCreate
Fields ctor :: FnBody namedFields :: [(Var, FnBody)]
RecordUpdate
Fields var :: FnBody namedFields :: [(Var, FnBody)]
TypeAnnotation FnBody Type
ListRange FnBody (Maybe FnBody)
Tuple [FnBody]
List [FnBody]
FnVar' FnVar
FnOp' FnOp
Literal' Literal

Instances

Instances details

Show FnBody Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> FnBody -> ShowS # show :: FnBody -> String # showList :: [FnBody] -> ShowS #

data FnVar Source #

Constructors

Selector Var
Selection QVar [Var]
Var' QVar
Ctor' QCtor

Instances

Instances details

Show FnVar Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> FnVar -> ShowS # show :: FnVar -> String # showList :: [FnVar] -> ShowS #

data FnOp Source #

Constructors

VarOp' QVarOp
CtorOp' QCtorOp

Instances

Instances details

Show FnOp Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> FnOp -> ShowS # show :: FnOp -> String # showList :: [FnOp] -> ShowS #

data DoStep Source #

Constructors

DoBinding [Var] FnBody
LetBinding [FnDefOrSig]
Body FnBody

Instances

Instances details

Show DoStep Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> DoStep -> ShowS # show :: DoStep -> String # showList :: [DoStep] -> ShowS #

data CaseBinding Source #

Constructors

CaseBinding Pattern MaybeGuardedFnBody

Instances

Instances details

Show CaseBinding Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> CaseBinding -> ShowS # show :: CaseBinding -> String # showList :: [CaseBinding] -> ShowS #

data MaybeGuardedFnBody Source #

Constructors

Guarded [GuardedFnBody]
Standard FnBody

Instances

Instances details

Show MaybeGuardedFnBody Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> MaybeGuardedFnBody -> ShowS # show :: MaybeGuardedFnBody -> String # showList :: [MaybeGuardedFnBody] -> ShowS #

data GuardedFnBody Source #

Constructors

GuardedFnBody
Fields guard :: Guard body :: FnBody

Instances

Instances details

Show GuardedFnBody Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> GuardedFnBody -> ShowS # show :: GuardedFnBody -> String # showList :: [GuardedFnBody] -> ShowS #

data Guard Source #

Constructors

Guard [PatternGuard]
Otherwise

Instances

Instances details

Show Guard Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> Guard -> ShowS # show :: Guard -> String # showList :: [Guard] -> ShowS #

data PatternGuard Source #

Constructors

PatternGuard Pattern FnBody
SimpleGuard FnBody

Instances

Instances details

Show PatternGuard Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> PatternGuard -> ShowS # show :: PatternGuard -> String # showList :: [PatternGuard] -> ShowS #

data Associativity Source #

Constructors

LAssoc
RAssoc

Instances

Instances details

Show Associativity Source #
Instance details Defined in SyntaxTrees.Haskell.FnDef Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #