Safe Haskell	Safe-Inferred
Language	Haskell2010

SyntaxTrees.Scala.FnDef

Documentation

data FnSig Source #

Constructors

FnSig
Fields typeParams :: [TypeParam] argLists :: [ArgList] usingArgs :: [UsingArgList] returnType :: Maybe Type

Instances

Instances details

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

data ValDef Source #

Constructors

ValDef
Fields qualifiers :: [Modifier] names :: [Var] returnType :: Maybe Type body :: Maybe FnBody

Instances

Instances details

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

data MethodDef Source #

Constructors

MethodDef
Fields qualifiers :: [Modifier] name :: Var sig :: Maybe FnSig body :: Maybe FnBody

Instances

Instances details

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

data GivenDef Source #

Constructors

GivenDef
Fields qualifiers :: [Modifier] name :: Maybe Var typeParams :: [TypeParam] usingArgs :: [UsingArgList] returnType :: Type bodyOrDefs :: Either FnBody [InternalFnDef]

Instances

Instances details

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

data FnBody Source #

Constructors

FnApply
Fields fn :: FnBody args :: [FnBody]
NamedFnApply
Fields fn :: FnBody namedArgs :: [(Var, FnBody)]
InfixFnApply
Fields fnOps :: [FnOp] args :: [FnBody]
LambdaExpr
Fields patterns :: [Pattern] body :: FnBody
LetExpr
Fields fnBindings :: [InternalFnDef] body :: FnBody
IfExpr
Fields cond :: FnBody ifBranch :: FnBody elseBranch :: FnBody
CondExpr
Fields whenBranches :: [WhenExpr] elseBranch :: FnBody
ForExpr
Fields steps :: [ForStep] yield :: FnBody
MatchExpr
Fields matchee :: FnBody cases :: [CaseBinding]
TopLevelMatchExpr
Fields cases :: [CaseBinding]
BodySelection FnBody [Var]
Tuple [FnBody]
FnOp' FnOp
FnVar' FnVar
Literal' Literal

Instances

Instances details

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

data FnVar Source #

Constructors

Selection QVar [Var]
Var' QVar
Ctor' QCtor

Instances

Instances details

Show FnVar Source #
Instance details Defined in SyntaxTrees.Scala.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.Scala.FnDef Methods showsPrec :: Int -> FnOp -> ShowS # show :: FnOp -> String # showList :: [FnOp] -> ShowS #

data ForStep Source #

Constructors

ForBinding [Var] FnBody
LetBinding [InternalFnDef]
Condition FnBody

Instances

Instances details

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

data CaseBinding Source #

Constructors

CaseBinding
Fields pattern' :: Pattern guard :: Maybe FnBody body :: FnBody

Instances

Instances details

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

data InternalFnDef Source #

Constructors

FnVal ValDef
FnMethod MethodDef
FnGiven GivenDef

Instances

Instances details

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

data WhenExpr Source #

Constructors

WhenExpr
Fields cond :: FnBody body :: FnBody

Instances

Instances details

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

showBinding :: InternalFnDef -> String Source #

showForInfix :: FnBody -> String Source #

showVal :: [Var] -> Maybe Type -> Maybe FnBody -> String Source #

showDef :: Var -> Maybe FnSig -> Maybe FnBody -> String Source #

showGiven :: Maybe Var -> [TypeParam] -> [UsingArgList] -> Type -> Either FnBody [InternalFnDef] -> String Source #

showTuple :: Show a => [a] -> String Source #