Safe Haskell	Safe-Inferred
Language	GHC2021

HaScalaM.Types.Term

Documentation

data SmApplyT m t ac where Source #

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

Instances details

ArgClauseT m t ac => Apply t t ac (SmApplyT m t ac) Source #
Instance details Defined in HaScalaM.Instances.Term Methods fun :: SmApplyT m t ac -> t Source # argClause :: SmApplyT m t ac -> ac Source #
ArgClauseT m t ac => Tree (SmApplyT m t ac :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

data SmApplyInfixT m tn t t' ac' ac where Source #

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

Instances details

(NameT tn, ArgClauseT' t' ac', ArgClauseT m t ac) => Infix t tn ac (SmApplyInfixT m tn t t' ac' ac) Source #
Instance details Defined in HaScalaM.Instances.Term Methods lhs :: SmApplyInfixT m tn t t' ac' ac -> t Source # op :: SmApplyInfixT m tn t t' ac' ac -> tn Source # arg :: SmApplyInfixT m tn t t' ac' ac -> ac Source #
(NameT tn, ArgClauseT' t' ac', ArgClauseT m t ac) => Tree (SmApplyInfixT m tn t t' ac' ac :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

data SmApplyType'T t t' ac' where Source #

Constructors

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

Instances

Instances details

(Term t, ArgClauseT' t' ac') => Apply t t' ac' (SmApplyType'T t t' ac') Source #
Instance details Defined in HaScalaM.Instances.Term Methods fun :: SmApplyType'T t t' ac' -> t Source # argClause :: SmApplyType'T t t' ac' -> ac' Source #
(Term t, ArgClauseT' t' ac') => Tree (SmApplyType'T t t' ac' :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

data SmAssignT t where Source #

Constructors

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

Instances

Instances details

Term t => Tree (SmAssignT t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
Term t => WithBody t (SmAssignT t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmAssignT t -> t Source #

data SmContextFunctionT m n p t' t pc where Source #

Constructors

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

Instances

Instances details

ParamClauseT m n p t' t pc => Function p pc t (SmContextFunctionT m n p t' t pc) Source #
Instance details Defined in HaScalaM.Instances.Term Methods paramClause :: SmContextFunctionT m n p t' t pc -> pc Source #
ParamClauseT m n p t' t pc => Tree (SmContextFunctionT m n p t' t pc :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
ParamClauseT m n p t' t pc => WithBody t (SmContextFunctionT m n p t' t pc) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmContextFunctionT m n p t' t pc -> t Source #

data SmDoT t where Source #

Constructors

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

Instances

Instances details

Term t => Tree (SmDoT t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
Term t => WithBody t (SmDoT t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmDoT t -> t Source #

data SmForT e t where Source #

Constructors

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

Instances

Instances details

(Enumerator e, Term t) => Tree (SmForT e t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
(Enumerator e, Term t) => WithBody t (SmForT e t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmForT e t -> t Source #
(Enumerator e, Term t) => WithEnums e (SmForT e t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods enums :: SmForT e t -> [e] Source #

data SmForYieldT e t where Source #

Constructors

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

Instances

Instances details

(Enumerator e, Term t) => Tree (SmForYieldT e t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
(Enumerator e, Term t) => WithBody t (SmForYieldT e t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmForYieldT e t -> t Source #
(Enumerator e, Term t) => WithEnums e (SmForYieldT e t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods enums :: SmForYieldT e t -> [e] Source #

data SmFunctionT m n p t' t pc where Source #

Constructors

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

Instances

Instances details

ParamClauseT m n p t' t pc => FunctionT m n p pc t' t (SmFunctionT m n p t' t pc) Source #
Instance details Defined in HaScalaM.Instances.Term
ParamClauseT m n p t' t pc => Function p pc t (SmFunctionT m n p t' t pc) Source #
Instance details Defined in HaScalaM.Instances.Term Methods paramClause :: SmFunctionT m n p t' t pc -> pc Source #
ParamClauseT m n p t' t pc => Tree (SmFunctionT m n p t' t pc :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
ParamClauseT m n p t' t pc => WithBody t (SmFunctionT m n p t' t pc) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmFunctionT m n p t' t pc -> t Source #

data SmMatchT p t ct where Source #

Constructors

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

Instances

Instances details

(Pat p, Term t, Case p t ct) => WithCases p t ct (SmMatchT p t ct) Source #
Instance details Defined in HaScalaM.Instances.Term Methods cases :: SmMatchT p t ct -> [ct] Source #
(Pat p, Term t, Case p t ct) => Tree (SmMatchT p t ct :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

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

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

Instances details

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) Source #
Instance details Defined in HaScalaM.Instances.Term Methods templ :: SmNewAnonymousT m n t' t ac i p s e -> e Source #
Template m n t' t ac i p s e => Tree (SmNewAnonymousT m n t' t ac i p s e :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

data SmPartialFunctionT p t ct where Source #

Constructors

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

Instances

Instances details

(Pat p, Term t, Case p t ct) => WithCases p t ct (SmPartialFunctionT p t ct) Source #
Instance details Defined in HaScalaM.Instances.Term Methods cases :: SmPartialFunctionT p t ct -> [ct] Source #
(Pat p, Term t, Case p t ct) => Tree (SmPartialFunctionT p t ct :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

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

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

Instances details

(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) Source #
Instance details Defined in HaScalaM.Instances.Term Methods t'paramClause :: SmPolyFunctionT m n p' t' b' pc' t -> pc' Source #
(ParamClauseT' m n p' t' b' pc', Term t) => Function p' pc' t (SmPolyFunctionT m n p' t' b' pc' t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods paramClause :: SmPolyFunctionT m n p' t' b' pc' t -> pc' Source #
(ParamClauseT' m n p' t' b' pc', Term t) => Tree (SmPolyFunctionT m n p' t' b' pc' t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
(ParamClauseT' m n p' t' b' pc', Term t) => WithBody t (SmPolyFunctionT m n p' t' b' pc' t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmPolyFunctionT m n p' t' b' pc' t -> t Source #

data SmTryT p t ct where Source #

Constructors

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

Instances

Instances details

Case p t ct => WithCases p t ct (SmTryT p t ct) Source #
Instance details Defined in HaScalaM.Instances.Term Methods cases :: SmTryT p t ct -> [ct] Source #
Case p t ct => Tree (SmTryT p t ct :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term

data SmTupleT t where Source #

Constructors

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

Instances

Instances details

Term t => Tree (SmTupleT t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
Term t => Tuple t (SmTupleT t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods args :: SmTupleT t -> [t] Source #

data SmWhileT t where Source #

Constructors

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

Instances

Instances details

Term t => Tree (SmWhileT t :: Type) Source #
Instance details Defined in HaScalaM.Instances.Term
Term t => WithBody t (SmWhileT t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods body :: SmWhileT t -> t Source #