HaScalaM.Types.Term

Documentation

data SmApplyT m t ac where

Constructors

SmApplyT

Fields

• :: ArgClauseT m t ac
• => { funAppT :: t
•    , argClauseAppT :: ac
•    } -> SmApplyT m t ac

SmApplyUsingT

Fields

• :: ArgClauseT m t ac
• => { funAppUT :: t
•    , argClauseAppUT :: ac
•    } -> SmApplyT m t ac

Instances

ArgClauseT m t ac => Apply t t ac (SmApplyT m t ac)

Defined in HaScalaM.Instances.Term

Methods

fun :: SmApplyT m t ac -> t

argClause :: SmApplyT m t ac -> ac

ArgClauseT m t ac => Tree (SmApplyT m t ac :: Type)

Defined in HaScalaM.Instances.Term

data SmApplyInfixT m tn t t' ac' ac where

Constructors

SmApplyInfixT

Fields

• :: (NameT tn, ArgClauseT' t' ac', ArgClauseT m t ac)
• => { lhsAppIxT :: t
•    , opAppIxT :: tn
•    , t'argClauseAppIx'T :: ac'
•    , argClauseAppIxT :: ac
•    } -> SmApplyInfixT m tn t t' ac' ac

Instances

(NameT tn, ArgClauseT' t' ac', ArgClauseT m t ac) => Infix t tn ac (SmApplyInfixT m tn t t' ac' ac)

Defined in HaScalaM.Instances.Term

Methods

lhs :: SmApplyInfixT m tn t t' ac' ac -> t

op :: SmApplyInfixT m tn t t' ac' ac -> tn

arg :: SmApplyInfixT m tn t t' ac' ac -> ac

(NameT tn, ArgClauseT' t' ac', ArgClauseT m t ac) => Tree (SmApplyInfixT m tn t t' ac' ac :: Type)

Defined in HaScalaM.Instances.Term

data SmApplyType'T t t' ac' where

Constructors

SmApplyType'T

Fields

• :: (Term t, ArgClauseT' t' ac')
• => { funAppT'T :: t
•    , t'argClauseAppT'T :: ac'
•    } -> SmApplyType'T t t' ac'

Instances

(Term t, ArgClauseT' t' ac') => Apply t t' ac' (SmApplyType'T t t' ac')

Defined in HaScalaM.Instances.Term

Methods

fun :: SmApplyType'T t t' ac' -> t

argClause :: SmApplyType'T t t' ac' -> ac'

(Term t, ArgClauseT' t' ac') => Tree (SmApplyType'T t t' ac' :: Type)

Defined in HaScalaM.Instances.Term

data SmAssignT t where

Constructors

SmAssignT

Fields

• :: Term t
• => { lhsAT :: t
•    , rhsAT :: t
•    } -> SmAssignT t

Instances

Term t => Tree (SmAssignT t :: Type)

Defined in HaScalaM.Instances.Term

Term t => WithBody t (SmAssignT t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmAssignT t -> t

data SmBlockT s where

Constructors

SmBlockT

Fields

• :: Stat s
• => { statsBlT :: [s]
•    } -> SmBlockT s

Instances

Stat s => Tree (SmBlockT s :: Type)

Defined in HaScalaM.Instances.Term

Stat s => WithExprs s (SmBlockT s)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmBlockT s -> [s]

Stat s => WithStats s (SmBlockT s)

Defined in HaScalaM.Instances.Term

Methods

stats :: SmBlockT s -> [s]

data SmContextFunctionT m n p t' t pc where

Constructors

SmContextFunctionT

Fields

• :: ParamClauseT m n p t' t pc
• => { paramClauseCFT :: pc
•    , bodyCFT :: t
•    } -> SmContextFunctionT m n p t' t pc

Instances

ParamClauseT m n p t' t pc => Function p pc t (SmContextFunctionT m n p t' t pc)

Defined in HaScalaM.Instances.Term

Methods

paramClause :: SmContextFunctionT m n p t' t pc -> pc

ParamClauseT m n p t' t pc => Tree (SmContextFunctionT m n p t' t pc :: Type)

Defined in HaScalaM.Instances.Term

ParamClauseT m n p t' t pc => WithBody t (SmContextFunctionT m n p t' t pc)

Defined in HaScalaM.Instances.Term

Methods

body :: SmContextFunctionT m n p t' t pc -> t

data SmDoT t where

Constructors

SmDoT

Fields

• :: Term t
• => { bodyDT :: t
•    , exprDT :: t
•    } -> SmDoT t

Instances

Term t => Tree (SmDoT t :: Type)

Defined in HaScalaM.Instances.Term

Term t => WithBody t (SmDoT t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmDoT t -> t

Term t => WithCond t (SmDoT t)

Defined in HaScalaM.Instances.Term

Methods

cond :: SmDoT t -> t

data SmForT e t where

Constructors

SmForT

Fields

• :: (Enumerator e, Term t)
• => { enumsFDT :: [e]
•    , bodyFDT :: t
•    } -> SmForT e t

Instances

(Enumerator e, Term t) => Tree (SmForT e t :: Type)

Defined in HaScalaM.Instances.Term

(Enumerator e, Term t) => WithBody t (SmForT e t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmForT e t -> t

(Enumerator e, Term t) => WithExprs e (SmForT e t)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmForT e t -> [e]

(Enumerator e, Term t) => WithEnums e (SmForT e t)

Defined in HaScalaM.Instances.Term

Methods

enums :: SmForT e t -> [e]

data SmForYieldT e t where

Constructors

SmForYieldT

Fields

• :: (Enumerator e, Term t)
• => { enumsFYT :: [e]
•    , bodyFYT :: t
•    } -> SmForYieldT e t

Instances

(Enumerator e, Term t) => Tree (SmForYieldT e t :: Type)

Defined in HaScalaM.Instances.Term

(Enumerator e, Term t) => WithBody t (SmForYieldT e t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmForYieldT e t -> t

(Enumerator e, Term t) => WithExprs e (SmForYieldT e t)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmForYieldT e t -> [e]

(Enumerator e, Term t) => WithEnums e (SmForYieldT e t)

Defined in HaScalaM.Instances.Term

Methods

enums :: SmForYieldT e t -> [e]

data SmFunctionT m n p t' t pc where

Constructors

SmFunctionT

Fields

• :: ParamClauseT m n p t' t pc
• => { paramClauseFT :: pc
•    , bodyFT :: t
•    } -> SmFunctionT m n p t' t pc

Instances

ParamClauseT m n p t' t pc => FunctionT m n p pc t' t (SmFunctionT m n p t' t pc)

Defined in HaScalaM.Instances.Term

ParamClauseT m n p t' t pc => Function p pc t (SmFunctionT m n p t' t pc)

Defined in HaScalaM.Instances.Term

Methods

paramClause :: SmFunctionT m n p t' t pc -> pc

ParamClauseT m n p t' t pc => Tree (SmFunctionT m n p t' t pc :: Type)

Defined in HaScalaM.Instances.Term

ParamClauseT m n p t' t pc => WithBody t (SmFunctionT m n p t' t pc)

Defined in HaScalaM.Instances.Term

Methods

body :: SmFunctionT m n p t' t pc -> t

data SmIfT m t where

Constructors

SmIfT

Fields

• :: (Mod m, Term t)
• => { condIfT :: t
•    , thenpIfT :: t
•    , elsepIfT :: t
•    , mods :: [m]
•    } -> SmIfT m t

Instances

(Mod m, Term t) => Tree (SmIfT m t :: Type)

Defined in HaScalaM.Instances.Term

(Mod m, Term t) => WithMods m (SmIfT m t)

Defined in HaScalaM.Instances.Term

Methods

mods :: SmIfT m t -> [m]

(Mod m, Term t) => WithCond t (SmIfT m t)

Defined in HaScalaM.Instances.Term

Methods

cond :: SmIfT m t -> t

data SmMatchT p t ct where

Constructors

SmMatchT

Fields

• :: Case p t ct
• => { exprMT :: t
•    , casesMT :: [ct]
•    } -> SmMatchT p t ct

Instances

(Pat p, Term t, Case p t ct) => Tree (SmMatchT p t ct :: Type)

Defined in HaScalaM.Instances.Term

(Pat p, Term t, Case p t ct) => WithExprs ct (SmMatchT p t ct)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmMatchT p t ct -> [ct]

data SmNewAnonymousT m n t' t ac i p s e where

Constructors

SmNewAnonymousT

Fields

• :: Template m n t' t ac i p s e
• => { templNAT :: e
•    } -> SmNewAnonymousT m n t' t ac i p s e

Instances

Template m n t' t ac i p s e => WithTemplate m n t' t ac i p s e (SmNewAnonymousT m n t' t ac i p s e)

Defined in HaScalaM.Instances.Term

Methods

templ :: SmNewAnonymousT m n t' t ac i p s e -> e

Template m n t' t ac i p s e => Tree (SmNewAnonymousT m n t' t ac i p s e :: Type)

Defined in HaScalaM.Instances.Term

data SmPartialFunctionT p t ct where

Constructors

SmPartialFunctionT

Fields

• :: Case p t ct
• => { casesPFT :: [ct]
•    } -> SmPartialFunctionT p t ct

Instances

(Pat p, Term t, Case p t ct) => WithCases p t ct (SmPartialFunctionT p t ct)

Defined in HaScalaM.Instances.Term

Methods

cases :: SmPartialFunctionT p t ct -> [ct]

(Pat p, Term t, Case p t ct) => Tree (SmPartialFunctionT p t ct :: Type)

Defined in HaScalaM.Instances.Term

(Pat p, Term t, Case p t ct) => WithExprs ct (SmPartialFunctionT p t ct)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmPartialFunctionT p t ct -> [ct]

data SmPolyFunctionT m n p' t' b' pc' t where

Constructors

SmPolyFunctionT

Fields

• :: (ParamClauseT' m n p' t' b' pc', Term t)
• => { t'ParamClausePFT :: pc'
•    , bodyPFT :: t
•    } -> SmPolyFunctionT m n p' t' b' pc' t

Instances

(ParamClauseT' m n p' t' b' pc', Term t) => WithT'ParamClause m n p' t' b' pc' (SmPolyFunctionT m n p' t' b' pc' t)

Defined in HaScalaM.Instances.Term

Methods

t'paramClause :: SmPolyFunctionT m n p' t' b' pc' t -> pc'

(ParamClauseT' m n p' t' b' pc', Term t) => Function p' pc' t (SmPolyFunctionT m n p' t' b' pc' t)

Defined in HaScalaM.Instances.Term

Methods

paramClause :: SmPolyFunctionT m n p' t' b' pc' t -> pc'

(ParamClauseT' m n p' t' b' pc', Term t) => Tree (SmPolyFunctionT m n p' t' b' pc' t :: Type)

Defined in HaScalaM.Instances.Term

(ParamClauseT' m n p' t' b' pc', Term t) => WithBody t (SmPolyFunctionT m n p' t' b' pc' t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmPolyFunctionT m n p' t' b' pc' t -> t

data SmTryT p t ct where

Constructors

SmTryT

Fields

• :: Case p t ct
• => { exprTT :: t
•    , catchpTT :: [ct]
•    , finallypTT :: Maybe t
•    } -> SmTryT p t ct

Instances

Case p t ct => WithCases p t ct (SmTryT p t ct)

Defined in HaScalaM.Instances.Term

Methods

cases :: SmTryT p t ct -> [ct]

Case p t ct => Tree (SmTryT p t ct :: Type)

Defined in HaScalaM.Instances.Term

Case p t ct => WithExprs ct (SmTryT p t ct)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmTryT p t ct -> [ct]

data SmTupleT t where

Constructors

SmTupleT

Fields

• :: Term t
• => { argsTT :: [t]
•    } -> SmTupleT t

Instances

Term t => Tree (SmTupleT t :: Type)

Defined in HaScalaM.Instances.Term

Term t => Tuple t (SmTupleT t)

Defined in HaScalaM.Instances.Term

Methods

args :: SmTupleT t -> [t]

data SmWhileT t where

Constructors

SmWhileT

Fields

• :: Term t
• => { exprWT :: t
•    , bodyWT :: t
•    } -> SmWhileT t

Instances

Term t => Tree (SmWhileT t :: Type)

Defined in HaScalaM.Instances.Term

Term t => WithBody t (SmWhileT t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmWhileT t -> t

Term t => WithCond t (SmWhileT t)

Defined in HaScalaM.Instances.Term

Methods

cond :: SmWhileT t -> t