HaScalaM.Classes.Term

Documentation

class (Pat p, Term t, CaseTree p t ct) => Case p t ct

Instances

(Pat p, Term t) => Case p t (SmCaseCT p t)

Defined in HaScalaM.Instances.Term

class (ParamClause m n p pc, ParamT m n p t' t, Function p pc t f) => FunctionT m n p pc t' t f

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

class (NameT n, Member n t) => MemberT n t

Instances

NameT tn => MemberT tn (SmVarP tn)

Defined in HaScalaM.Instances.Pat

Stat s => MemberT SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

(NameT tn, Template m n t' t ac i p s e) => MemberT tn (SmObjectS m n tn p t' t ac i s e)

Defined in HaScalaM.Instances.Stat.Defn

(NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => MemberT tn (SmDef'S m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Decl

(NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => MemberT tn (SmDefS m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

(NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => MemberT tn (SmGiven'S m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Decl

(NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => MemberT tn (SmMacroS m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

(NameT tn, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Init m n t' t ac i) => MemberT tn (SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i)

Defined in HaScalaM.Instances.Stat.Defn

class Name t => NameT t

Instances

NameT SmNameT

Defined in HaScalaM.Instances.Ref

class (Param m n p, WithDeclTpeOpt t' p, Term t) => ParamT m n p t' t where

Methods

defaultOpt :: p -> Maybe t

Instances

(Mod m, Name n, Type' t', Term t) => ParamT m n (SmParamT m n t' t) t' t

Defined in HaScalaM.Instances.Term

Methods

defaultOpt :: SmParamT m n t' t -> Maybe t

class (ParamsType m, ParamT m n p t' t, ParamClause m n p pc) => ParamClauseT m n p t' t pc where

Methods

mod' :: pc -> Maybe m

Instances

(p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t) => ParamClauseT m n p t' t (SmParamClauseT m n p t' t)

Defined in HaScalaM.Instances.Term

Methods

mod' :: SmParamClauseT m n p t' t -> Maybe m

class (ArgsType m, Term t, ArgClause t ac) => ArgClauseT m t ac where

Methods

mod :: ac -> Maybe m

Instances

(m ~ SmMod, t ~ SmTerm, ArgsType m, Term t) => ArgClauseT m t (SmArgClauseT m t)

Defined in HaScalaM.Instances.Term

Methods

mod :: SmArgClauseT m t -> Maybe m

class Tree t => Term t

Instances

Term SmTerm

Defined in HaScalaM.Instances.Term

class (ParamClauseT m n p t' t pc, Tree w) => WithParamClauses m n p t' t pc w where

Methods

paramClauses :: w -> [pc]

Instances

ParamClauseT m n p t' t pc => WithParamClauses m n p t' t pc (SmCtorPrimary m n p t' t pc)

Defined in HaScalaM.Instances.Tilde

Methods

paramClauses :: SmCtorPrimary m n p t' t pc -> [pc]

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithParamClauses m n p t' t pc (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

Methods

paramClauses :: SmCtorSecondaryS m n p t' t pc ac i s -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', ParamClauseGroup m n p p' t' b' t pc pc' g) => WithParamClauses m n p t' t pc (SmGivenAliasS m n p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

paramClauses :: SmGivenAliasS m n p p' t' b' t pc pc' g -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => WithParamClauses m n p t' t pc (SmDef'S m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Decl

Methods

paramClauses :: SmDef'S m n tn p p' t' b' t pc pc' g -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => WithParamClauses m n p t' t pc (SmDefS m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

paramClauses :: SmDefS m n tn p p' t' b' t pc pc' g -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', ParamClauseGroup m n p p' t' b' t pc pc' g, Stat s) => WithParamClauses m n p t' t pc (SmExtensionGroupS m n p p' t' b' t pc pc' s g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

paramClauses :: SmExtensionGroupS m n p p' t' b' t pc pc' s g -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => WithParamClauses m n p t' t pc (SmGiven'S m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Decl

Methods

paramClauses :: SmGiven'S m n tn p p' t' b' t pc pc' g -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => WithParamClauses m n p t' t pc (SmMacroS m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

paramClauses :: SmMacroS m n tn p p' t' b' t pc pc' g -> [pc]

(g ~ SmParamClauseGroup m n p p' t' b' t pc pc', ParamClauseGroup m n p p' t' b' t pc pc' g, Template m n t' t ac i f s e) => WithParamClauses m n p t' t pc (SmGivenS m n p p' t' b' t pc pc' ac i f s e g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

paramClauses :: SmGivenS m n p p' t' b' t pc pc' ac i f s e g -> [pc]

class (Term c, Tree w) => WithCond c w where

Methods

cond :: w -> c

Instances

Term c => WithCond c (SmGuardE c)

Defined in HaScalaM.Instances.Enums

Methods

cond :: SmGuardE c -> c

Term t => WithCond t (SmDoT t)

Defined in HaScalaM.Instances.Term

Methods

cond :: SmDoT t -> t

Term t => WithCond t (SmWhileT t)

Defined in HaScalaM.Instances.Term

Methods

cond :: SmWhileT t -> t

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

Defined in HaScalaM.Instances.Term

Methods

cond :: SmIfT m t -> t

class (Term c, Tree w) => WithCondOpt c w where

Methods

cond' :: w -> Maybe c

Instances

(Pat p, Term t) => WithCondOpt t (SmCaseCT p t)

Defined in HaScalaM.Instances.Term

Methods

cond' :: SmCaseCT p t -> Maybe t