HaScalaM.Classes.Base

Documentation

class (Tree t, WithBody b ct) => CaseTree t b ct where

Methods

pat :: ct -> t

Instances

Type' t' => CaseTree t' t' (SmType'CaseCT t')

Defined in HaScalaM.Instances.Type

Methods

pat :: SmType'CaseCT t' -> t'

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

Defined in HaScalaM.Instances.Term

Methods

pat :: SmCaseCT p t -> p

class Tree t => Ctor t

Instances

ParamClauseT m n p t' t pc => Ctor (SmCtorPrimary m n p t' t pc :: Type)

Defined in HaScalaM.Instances.Tilde

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

Defined in HaScalaM.Instances

class (SyntaxValuesClauses v pc, WithBody t f) => Function v pc t f where

Methods

paramClause :: f -> 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 => 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' b' pc' => Function p' pc' t' (SmLambdaT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmLambdaT' m n p' t' b' pc' -> 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'

Type' t' => Function t' (FuncParamClause' t') t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmContextFunctionT' t' -> FuncParamClause' t'

Type' t' => Function t' (FuncParamClause' t') t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmFunctionT' t' -> FuncParamClause' t'

class (Name n, Tree t) => Member n t where

Methods

name :: t -> n

Instances

NameT' n => Member n (SmVarT' n)

Defined in HaScalaM.Instances.Type

Methods

name :: SmVarT' n -> n

NameT tn => Member tn (SmVarP tn)

Defined in HaScalaM.Instances.Pat

Methods

name :: SmVarP tn -> tn

Stat s => Member SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

name :: SmPkgS SmRef s -> SmNameT

(Name n, Type' t') => Member n (SmSelf n t')

Defined in HaScalaM.Instances.Tilde

Methods

name :: SmSelf n t' -> n

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

Defined in HaScalaM.Instances.Term

Methods

name :: SmParamT m n t' t -> n

(Mod m, Name n, Bounds' t' b') => Member n (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Type

Methods

name :: SmParamT' m n t' b' -> n

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Member t'n (SmType'S m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Decl

Methods

name :: SmType'S m n t'n p' t' b' pc' -> t'n

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Member t'n (SmTypeS m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmTypeS m n t'n p' t' b' pc' -> t'n

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Member t'n (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

name :: SmType'Def m n t'n p' t' b' pc' -> t'n

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmObjectS m n tn p t' t ac i s e -> tn

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

name :: SmDef'S m n tn p p' t' b' t pc pc' g -> tn

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmDefS m n tn p p' t' b' t pc pc' g -> tn

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

name :: SmGiven'S m n tn p p' t' b' t pc pc' g -> tn

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmMacroS m n tn p p' t' b' t pc pc' g -> tn

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i -> tn

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => Member t'n (SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e)

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e -> t'n

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => Member t'n (SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e)

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e -> t'n

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => Member t'n (SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e)

Defined in HaScalaM.Instances.Stat.Defn

Methods

name :: SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e -> t'n

class (Tree v, Tree t) => SyntaxValuesClauses v t where

Methods

values :: t -> [v]

Instances

Pat p => SyntaxValuesClauses p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Methods

values :: SmArgClauseP p -> [p]

Type' t' => SyntaxValuesClauses t' (FuncParamClause' t')

Defined in HaScalaM.Instances.Type

Methods

values :: FuncParamClause' t' -> [t']

Type' t' => SyntaxValuesClauses t' (SmArgClauseT' t')

Defined in HaScalaM.Instances.Type

Methods

values :: SmArgClauseT' t' -> [t']

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

Defined in HaScalaM.Instances.Term

Methods

values :: SmArgClauseT m t -> [t]

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

Defined in HaScalaM.Instances.Term

Methods

values :: SmParamClauseT m n p t' t -> [p]

(p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b') => SyntaxValuesClauses p' (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Type

Methods

values :: SmParamClauseT' m n p' t' b' -> [p']

class SyntaxValuesClauses v t => ArgClause v t

Instances

Pat p => ArgClause p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Type' t' => ArgClause t' (SmArgClauseT' t')

Defined in HaScalaM.Instances.Type

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

Defined in HaScalaM.Instances.Term

class (Tree f, ArgClause v t, Tree y) => Apply f v t y where

Methods

fun :: y -> f

argClause :: y -> t

Instances

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

Defined in HaScalaM.Instances.Type

Methods

fun :: SmApplyT' t' ac' -> t'

argClause :: SmApplyT' t' ac' -> ac'

(Term t, Pat p, ArgClauseP p ac) => Apply t p ac (SmExtractP t p ac)

Defined in HaScalaM.Instances.Pat

Methods

fun :: SmExtractP t p ac -> t

argClause :: SmExtractP t p ac -> ac

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

(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'

class (Tree l, Name n, Tree a, Tree x) => Infix l n a x where

Methods

lhs :: x -> l

op :: x -> n

arg :: x -> a

Instances

(NameT' t'n, Type' t') => Infix t' t'n t' (SmApplyInfixT' t'n t')

Defined in HaScalaM.Instances.Type

Methods

lhs :: SmApplyInfixT' t'n t' -> t'

op :: SmApplyInfixT' t'n t' -> t'n

arg :: SmApplyInfixT' t'n t' -> t'

(NameT tn, Pat p, ArgClauseP p ac) => Infix p tn ac (SmExtractInfixP tn p ac)

Defined in HaScalaM.Instances.Pat

Methods

lhs :: SmExtractInfixP tn p ac -> p

op :: SmExtractInfixP tn p ac -> tn

arg :: SmExtractInfixP tn p ac -> ac

(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

class (Tree v, Tree t) => Tuple v t where

Methods

args :: t -> [v]

Instances

Pat p => Tuple p (SmTupleP p)

Defined in HaScalaM.Instances.Pat

Methods

args :: SmTupleP p -> [p]

Term t => Tuple t (SmTupleT t)

Defined in HaScalaM.Instances.Term

Methods

args :: SmTupleT t -> [t]

Type' t' => Tuple t' (SmTupleT' t')

Defined in HaScalaM.Instances.Type

Methods

args :: SmTupleT' t' -> [t']

class Tree m => Mod m

Instances

Mod SmMod

Defined in HaScalaM.Instances.Tilde

class Mod m => ArgsType m

Instances

ArgsType SmMod

Defined in HaScalaM.Instances.Tilde

class Mod m => ParamsType m

Instances

ParamsType SmMod

Defined in HaScalaM.Instances.Tilde

class Mod m => Variant m

Instances

Variant SmMod

Defined in HaScalaM.Instances.Tilde

class Tree n => Name n where

Methods

value :: n -> String

Instances

Name SmName

Defined in HaScalaM.Instances.Ref

Methods

value :: SmName -> String

Name SmNameT

Defined in HaScalaM.Instances.Ref

Methods

value :: SmNameT -> String

Name SmNameT'

Defined in HaScalaM.Instances.Ref

Methods

value :: SmNameT' -> String

class (Mod m, Name n, Member n p) => Param m n p where

Methods

mods' :: p -> [m]

Instances

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

Defined in HaScalaM.Instances.Term

Methods

mods' :: SmParamT m n t' t -> [m]

(Mod m, Name n, Bounds' t' b') => Param m n (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Type

Methods

mods' :: SmParamT' m n t' b' -> [m]

class (Param m n p, SyntaxValuesClauses p pc) => ParamClause m n p pc

Instances

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

Defined in HaScalaM.Instances.Term

(p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b') => ParamClause m n p' (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Type

class Tree t => Ref t

Instances

Ref SmRef_

Defined in HaScalaM.Instances.Ref

class Tree s => Stat s

Instances

Stat SmStat

Defined in HaScalaM.Instances.Stat

class Tree t

Instances

Tree SmLit

Defined in HaScalaM.Instances.Base

Tree SmModM

Defined in HaScalaM.Instances.Base

Tree SmEnumerator

Defined in HaScalaM.Instances.Enums

Tree SmImportee

Defined in HaScalaM.Instances.Stat

Tree SmMod

Defined in HaScalaM.Instances.Tilde

Tree SmName

Defined in HaScalaM.Instances.Ref

Tree SmNameT

Defined in HaScalaM.Instances.Ref

Tree SmNameT'

Defined in HaScalaM.Instances.Ref

Tree SmPat

Defined in HaScalaM.Instances.Pat

Tree SmPatP

Defined in HaScalaM.Instances.Pat

Tree SmRef

Defined in HaScalaM.Instances.Ref

Tree SmRef'

Defined in HaScalaM.Instances.Ref

Tree SmRef_

Defined in HaScalaM.Instances.Ref

Tree SmStat

Defined in HaScalaM.Instances.Stat

Tree SmTerm

Defined in HaScalaM.Instances.Term

Tree SmType'

Defined in HaScalaM.Instances.Type

Type' t' => Tree (FuncParamClause' t' :: Type)

Defined in HaScalaM.Instances.Type

Ref r => Tree (SmAccessM r :: Type)

Defined in HaScalaM.Instances.Base

Term c => Tree (SmGuardE c :: Type)

Defined in HaScalaM.Instances.Enums

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

Defined in HaScalaM.Instances.Pat

Pat p => Tree (SmTupleP p :: Type)

Defined in HaScalaM.Instances.Pat

NameT tn => Tree (SmVarP tn :: Type)

Defined in HaScalaM.Instances.Pat

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

Pat p => Tree (SmArgClauseP p :: Type)

Defined in HaScalaM.Instances.Pat

Type' t' => Tree (SmArgClauseT' t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => Tree (SmBounds' t' :: Type)

Defined in HaScalaM.Instances.Type

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

Defined in HaScalaM.Instances.Tilde

Type' t' => Tree (SmType'CaseCT t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => Tree (SmContextFunctionT' t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => Tree (SmFunctionT' t' :: Type)

Defined in HaScalaM.Instances.Type

Term t => Tree (SmMacroT' t :: Type)

Defined in HaScalaM.Instances.Type

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

Defined in HaScalaM.Instances.Type

NameT' n => Tree (SmVarT' n :: Type)

Defined in HaScalaM.Instances.Type

(Pat p, Term b) => Tree (SmCaseGeneratorE p b :: Type)

Defined in HaScalaM.Instances.Enums

(Pat p, Term b) => Tree (SmGeneratorE p b :: Type)

Defined in HaScalaM.Instances.Enums

(Pat p, Term b) => Tree (SmValE p b :: Type)

Defined in HaScalaM.Instances.Enums

Stat s => Tree (SmPkgS SmRef s :: Type)

Defined in HaScalaM.Instances.Stat

(Mod m, NameT tn) => Tree (SmRepeatedEnumCase m tn :: Type)

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

(ArgsType m, Term t) => Tree (SmArgClauseT m t :: Type)

Defined in HaScalaM.Instances.Term

(Pat p, Term t) => Tree (SmCaseCT p t :: Type)

Defined in HaScalaM.Instances.Term

(RefT r, Importee i) => Tree (SmImporter r i :: Type)

Defined in HaScalaM.Instances.Stat

(Name n, Type' t') => Tree (SmSelf n t' :: Type)

Defined in HaScalaM.Instances.Tilde

(NameT' t'n, Type' t') => Tree (SmApplyInfixT' t'n t' :: Type)

Defined in HaScalaM.Instances.Type

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

Defined in HaScalaM.Instances.Type

(Type' t', Stat s) => Tree (SmExistentialT' t' s :: Type)

Defined in HaScalaM.Instances.Type

Type'Case t' ct => Tree (SmMatchT' t' ct :: Type)

Defined in HaScalaM.Instances.Type

(Type' t', Stat s) => Tree (SmRefineT' t' s :: Type)

Defined in HaScalaM.Instances.Type

(NameT tn, Pat p, ArgClauseP p ac) => Tree (SmExtractInfixP tn p ac :: Type)

Defined in HaScalaM.Instances.Pat

(Term t, Pat p, ArgClauseP p ac) => Tree (SmExtractP t p ac :: Type)

Defined in HaScalaM.Instances.Pat

Importer r i t => Tree (SmImportExportStatS r i t :: Type)

Defined in HaScalaM.Instances.Stat

(Mod m, Pat p, Type' t') => Tree (SmVal'S m p t' :: Type)

Defined in HaScalaM.Instances.Stat.Decl

(Mod m, Pat p, Type' t') => Tree (SmVar'S m p t' :: Type)

Defined in HaScalaM.Instances.Stat.Decl

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

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

(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) => Tree (SmPartialFunctionT p t ct :: Type)

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Term

(Mod m, Pat p, Type' t', Term t) => Tree (SmValS m p t' t :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(Mod m, Pat p, Type' t', Term t) => Tree (SmVarS m p t' t :: Type)

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Term

(Mod m, Name n, Bounds' t' b') => Tree (SmParamT' m n t' b' :: Type)

Defined in HaScalaM.Instances.Type

(Name n, Type' t', ArgClauseT m t ac) => Tree (SmInit m n t' t ac :: Type)

Defined in HaScalaM.Instances.Base

(p ~ SmParamT m n t' t, ParamsType m, ParamT m n p t' t) => Tree (SmParamClauseT m n p t' t :: Type)

Defined in HaScalaM.Instances.Term

(Mod m, Name n, Bounds' t' b') => Tree (SmParamClauseT' m n p' t' b' :: Type)

Defined in HaScalaM.Instances.Type

Init m n t' t ac i => Tree (SmAnnotM m n t' t ac i :: Type)

Defined in HaScalaM.Instances

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

Defined in HaScalaM.Instances.Term

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 => Tree (SmFunctionT m n p t' t pc :: Type)

Defined in HaScalaM.Instances.Term

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

Defined in HaScalaM.Instances.Tilde

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

Defined in HaScalaM.Instances.Type

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

Defined in HaScalaM.Instances.Type

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Tree (SmType'S m n t'n p' t' b' pc' :: Type)

Defined in HaScalaM.Instances.Stat.Decl

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

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Term

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Tree (SmType'Def m n t'n p' t' b' pc' :: Type)

Defined in HaScalaM.Instances.Type

(Init m n t' t ac i, Stat s, Self n t' p) => Tree (SmTemplate m n t' t ac i p s :: Type)

Defined in HaScalaM.Instances.Tilde

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

Defined in HaScalaM.Instances

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

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

Defined in HaScalaM.Instances.Tilde

ParamClauseGroup m n p p' t' b' t pc pc' g => Tree (SmGivenAliasS m n p p' t' b' t pc pc' g :: Type)

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

(NameT tn, Template m n t' t ac i p s e) => Tree (SmPkgObjectS m n p tn t' t ac i s e :: Type)

Defined in HaScalaM.Instances.Stat

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

Defined in HaScalaM.Instances.Stat.Decl

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

Defined in HaScalaM.Instances.Stat.Defn

(ParamClauseGroup m n p p' t' b' t pc pc' g, Stat s) => Tree (SmExtensionGroupS m n p p' t' b' t pc pc' s g :: Type)

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Decl

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

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) => Tree (SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(ParamClauseGroup m n p p' t' b' t pc pc' g, Template m n t' t ac i f s e) => Tree (SmGivenS m n p p' t' b' t pc pc' ac i f s e g :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => Tree (SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => Tree (SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => Tree (SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e :: Type)

Defined in HaScalaM.Instances.Stat.Defn

class (Tree t, Tree w) => WithBody t w where

Methods

body :: w -> t

Instances

Term t => WithBody t (SmMacroP t)

Defined in HaScalaM.Instances.Pat

Methods

body :: SmMacroP t -> t

Term t => WithBody t (SmAssignT t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmAssignT t -> t

Term t => WithBody t (SmDoT t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmDoT t -> t

Term t => WithBody t (SmWhileT t)

Defined in HaScalaM.Instances.Term

Methods

body :: SmWhileT t -> t

Term t => WithBody t (SmMacroT' t)

Defined in HaScalaM.Instances.Type

Methods

body :: SmMacroT' t -> t

Type' t' => WithBody t' (SmType'CaseCT t')

Defined in HaScalaM.Instances.Type

Methods

body :: SmType'CaseCT t' -> t'

Type' t' => WithBody t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

body :: SmContextFunctionT' t' -> t'

Type' t' => WithBody t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

body :: SmFunctionT' t' -> t'

(Pat p, Term b) => WithBody b (SmCaseGeneratorE p b)

Defined in HaScalaM.Instances.Enums

Methods

body :: SmCaseGeneratorE p b -> b

(Pat p, Term b) => WithBody b (SmGeneratorE p b)

Defined in HaScalaM.Instances.Enums

Methods

body :: SmGeneratorE p b -> b

(Pat p, Term b) => WithBody b (SmValE p b)

Defined in HaScalaM.Instances.Enums

Methods

body :: SmValE p b -> b

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

Defined in HaScalaM.Instances.Term

Methods

body :: SmForT e t -> t

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

Defined in HaScalaM.Instances.Term

Methods

body :: SmForYieldT e t -> t

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

Defined in HaScalaM.Instances.Term

Methods

body :: SmCaseCT p t -> t

(Mod m, Pat p, Type' t', Term t) => WithBody t (SmValS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

body :: SmValS m p t' t -> t

(Mod m, Pat p, Type' t', Term t) => WithBody t (SmVarS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

body :: SmVarS m p t' t -> t

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

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

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

Defined in HaScalaM.Instances.Type

Methods

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

(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

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => WithBody t' (SmTypeS m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

ParamClauseGroup m n p p' t' b' t pc pc' g => WithBody t (SmGivenAliasS m n p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

body :: SmGivenAliasS m n p p' t' b' t pc pc' g -> t

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

body :: SmExtensionGroupS m n p p' t' b' t pc pc' s g -> s

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

body :: SmDefS m n tn p p' t' b' t pc pc' g -> t

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

body :: SmMacroS m n tn p p' t' b' t pc pc' g -> t

class (CaseTree t b ct, WithExprs ct w) => WithCases t b ct w where

Minimal complete definition

Nothing

Methods

cases :: w -> [ct]

Instances

Type'Case t' ct => WithCases t' t' ct (SmMatchT' t' ct)

Defined in HaScalaM.Instances.Type

Methods

cases :: SmMatchT' t' ct -> [ct]

(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]

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

Defined in HaScalaM.Instances.Term

Methods

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

class (Tree e, Tree w) => WithExprs e w where

Methods

exprs :: w -> [e]

Instances

Stat s => WithExprs s (SmBlockT s)

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmBlockT s -> [s]

Stat s => WithExprs s (SmSource s)

Defined in HaScalaM.Instances.Tilde

Methods

exprs :: SmSource s -> [s]

(Tree ct, Type'Case t' ct) => WithExprs ct (SmMatchT' t' ct)

Defined in HaScalaM.Instances.Type

Methods

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

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

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmForT e t -> [e]

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

Defined in HaScalaM.Instances.Term

Methods

exprs :: SmForYieldT e t -> [e]

Stat s => WithExprs s (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

exprs :: SmPkgS SmRef s -> [s]

(Type' t', Stat s) => WithExprs s (SmExistentialT' t' s)

Defined in HaScalaM.Instances.Type

Methods

exprs :: SmExistentialT' t' s -> [s]

(Type' t', Stat s) => WithExprs s (SmRefineT' t' s)

Defined in HaScalaM.Instances.Type

Methods

exprs :: SmRefineT' t' s -> [s]

(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]

(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]

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

Defined in HaScalaM.Instances.Term

Methods

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

(Init m n t' t ac i, Stat s, Self n t' p) => WithExprs s (SmTemplate m n t' t ac i p s)

Defined in HaScalaM.Instances.Tilde

Methods

exprs :: SmTemplate m n t' t ac i p s -> [s]

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

Defined in HaScalaM.Instances

Methods

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

class (Mod m, Tree w) => WithMods m w where

Methods

mods :: w -> [m]

Instances

(Mod m, NameT tn) => WithMods m (SmRepeatedEnumCase m tn)

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmRepeatedEnumCase m tn -> [m]

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

Defined in HaScalaM.Instances.Term

Methods

mods :: SmIfT m t -> [m]

(Mod m, Pat p, Type' t') => WithMods m (SmVal'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

mods :: SmVal'S m p t' -> [m]

(Mod m, Pat p, Type' t') => WithMods m (SmVar'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

mods :: SmVar'S m p t' -> [m]

(Mod m, Pat p, Type' t', Term t) => WithMods m (SmValS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmValS m p t' t -> [m]

(Mod m, Pat p, Type' t', Term t) => WithMods m (SmVarS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmVarS m p t' t -> [m]

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => WithMods m (SmType'S m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Decl

Methods

mods :: SmType'S m n t'n p' t' b' pc' -> [m]

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => WithMods m (SmTypeS m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmTypeS m n t'n p' t' b' pc' -> [m]

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => WithMods m (SmType'Def m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

mods :: SmType'Def m n t'n p' t' b' pc' -> [m]

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

Defined in HaScalaM.Instances

Methods

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

ParamClauseGroup m n p p' t' b' t pc pc' g => WithMods m (SmGivenAliasS m n p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmObjectS m n tn p t' t ac i s e -> [m]

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

Defined in HaScalaM.Instances.Stat

Methods

mods :: SmPkgObjectS m n p tn t' t ac i s e -> [m]

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i -> [m]

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => WithMods m (SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e)

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e -> [m]

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => WithMods m (SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e)

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e -> [m]

(NameT' t'n, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Template m n t' t ac i f s e) => WithMods m (SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e)

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e -> [m]

class (Ref r, Tree w) => WithWithin r w where

Methods

within :: w -> r

Instances

Ref r => WithWithin r (SmAccessM r)

Defined in HaScalaM.Instances.Base

Methods

within :: SmAccessM r -> r