SyntaxTrees.Haskell.FnDef

Documentation

data FnSig

Constructors

FnSig

Fields

• name :: Var
• type' :: Type

Instances

Show FnSig

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> FnSig -> ShowS

show :: FnSig -> String

showList :: [FnSig] -> ShowS

data FnDef

Constructors

FnDef

Fields

• names :: [Var]
• args :: [Pattern]
• body :: MaybeGuardedFnBody

Instances

Show FnDef

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> FnDef -> ShowS

show :: FnDef -> String

showList :: [FnDef] -> ShowS

data InfixFnAnnotation

Constructors

InfixFnAnnotation

Fields

• associativity :: Associativity
• precedence :: Integer
• name :: VarOp

Instances

Show InfixFnAnnotation

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> InfixFnAnnotation -> ShowS

show :: InfixFnAnnotation -> String

showList :: [InfixFnAnnotation] -> ShowS

data FnDefOrSig

Constructors

Def FnDef

Sig FnSig

Instances

Show FnDefOrSig

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> FnDefOrSig -> ShowS

show :: FnDefOrSig -> String

showList :: [FnDefOrSig] -> ShowS

data FnBody

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

Show FnBody

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> FnBody -> ShowS

show :: FnBody -> String

showList :: [FnBody] -> ShowS

data FnVar

Constructors

Selector Var

Selection QVar [Var]

Var' QVar

Ctor' QCtor

Instances

Show FnVar

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> FnVar -> ShowS

show :: FnVar -> String

showList :: [FnVar] -> ShowS

data FnOp

Constructors

VarOp' QVarOp

CtorOp' QCtorOp

Instances

Show FnOp

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> FnOp -> ShowS

show :: FnOp -> String

showList :: [FnOp] -> ShowS

data DoStep

Constructors

DoBinding [Var] FnBody

LetBinding [FnDefOrSig]

Body FnBody

Instances

Show DoStep

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> DoStep -> ShowS

show :: DoStep -> String

showList :: [DoStep] -> ShowS

data CaseBinding

Constructors

CaseBinding Pattern MaybeGuardedFnBody

Instances

Show CaseBinding

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> CaseBinding -> ShowS

show :: CaseBinding -> String

showList :: [CaseBinding] -> ShowS

data MaybeGuardedFnBody

Constructors

Guarded [GuardedFnBody]

Standard FnBody

Instances

Show MaybeGuardedFnBody

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> MaybeGuardedFnBody -> ShowS

show :: MaybeGuardedFnBody -> String

showList :: [MaybeGuardedFnBody] -> ShowS

data GuardedFnBody

Constructors

GuardedFnBody

Fields

• guard :: Guard
• body :: FnBody

Instances

Show GuardedFnBody

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> GuardedFnBody -> ShowS

show :: GuardedFnBody -> String

showList :: [GuardedFnBody] -> ShowS

data Guard

Constructors

Guard [PatternGuard]

Otherwise

Instances

Show Guard

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> Guard -> ShowS

show :: Guard -> String

showList :: [Guard] -> ShowS

data PatternGuard

Constructors

PatternGuard Pattern FnBody

SimpleGuard FnBody

Instances

Show PatternGuard

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> PatternGuard -> ShowS

show :: PatternGuard -> String

showList :: [PatternGuard] -> ShowS

data Associativity

Constructors

LAssoc

RAssoc

Instances

Show Associativity

Defined in SyntaxTrees.Haskell.FnDef

Methods

showsPrec :: Int -> Associativity -> ShowS

show :: Associativity -> String

showList :: [Associativity] -> ShowS