HaScalaM.Classes

Documentation

class (Init m n t' t ac i, Tree a) => Annot m n t' t ac i a where

Methods

init :: a -> i

Instances

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, Init m n t' t ac i) => Annot m n t' t ac i (SmAnnotM m n t' t ac i)

Defined in HaScalaM.Instances

Methods

init :: SmAnnotM m n t' t ac i -> i

class (WithParamClauses m n p t' t pc c, Ctor c) => Primary m n p t' t pc c where

Methods

mods :: c -> [m]

Instances

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

Defined in HaScalaM.Instances.Tilde

Methods

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

class (WithParamClauses m n p t' t pc c, Init m n t' t ac i, Stat s, Ctor c) => Secondary m n p t' t pc ac i s c

Instances

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

Defined in HaScalaM.Instances

class (Name n, Type' t', ArgClauseT m t ac, Tree i) => Init m n t' t ac i where

Methods

tpe :: i -> t'

name' :: i -> n

argClauses :: i -> [ac]

Instances

(m ~ SmMod, n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t, Name n, Type' t', ArgClauseT m t ac) => Init m n t' t ac (SmInit m n t' t ac)

Defined in HaScalaM.Instances.Base

Methods

tpe :: SmInit m n t' t ac -> t'

name' :: SmInit m n t' t ac -> n

argClauses :: SmInit m n t' t ac -> [ac]

class Tree t => Lit t

Instances

Lit SmLit

Defined in HaScalaM.Instances.Base

class (ParamClauseT' m n p' t' b' pc', ParamClauseT m n p t' t pc, Tree g) => ParamClauseGroup m n p p' t' b' t pc pc' g where

Methods

t'paramClause' :: g -> pc'

paramClauses' :: g -> [pc]

Instances

(ParamClauseT' m n p' t' b' pc', ParamClauseT m n p t' t pc) => ParamClauseGroup m n p p' t' b' t pc pc' (SmParamClauseGroup m n p p' t' b' t pc pc')

Defined in HaScalaM.Instances.Tilde

Methods

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

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

class (Name n, WithDeclTpeOpt t' p) => Self n t' p

Instances

(n ~ SmName, t' ~ SmType', Name n, Type' t') => Self n t' (SmSelf n t')

Defined in HaScalaM.Instances.Tilde

class (Stat s, WithStats s t) => Source s t

Instances

Stat s => Source s (SmSource s)

Defined in HaScalaM.Instances.Tilde

class (Init m n t' t ac i, Stat s, Self n t' p, Tree e) => Template m n t' t ac i p s e where

Methods

early :: e -> [s]

inits :: e -> [i]

self :: e -> p

stats :: e -> [s]

derives :: e -> [t']

Instances

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

Defined in HaScalaM.Instances.Tilde

Methods

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

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

self :: SmTemplate m n t' t ac i p s -> p

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

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

class (Primary m n p t' t pc c, Tree w) => WithCtor m n p t' t pc c w where

Methods

ctor :: w -> c

Instances

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

(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) => WithCtor m n p t' t pc c (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

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

(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) => WithCtor m n p t' t pc c (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

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

(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) => WithCtor m n p t' t pc c (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

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

class (Template m n t' t ac i p s e, Tree w) => WithTemplate m n t' t ac i p s e w where

Methods

templ :: w -> 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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

(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) => WithTemplate m n t' t ac i f s e (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

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

(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) => WithTemplate m n t' t ac i f s e (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

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

(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) => WithTemplate m n t' t ac i f s e (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

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

class (ParamClauseGroup m n p p' t' b' t pc pc' g, WithParamClauses m n p t' t pc w) => WithParamClauseGroup m n p p' t' b' t pc pc' g w where

Methods

paramClauseGroup :: w -> Maybe g

Instances

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

(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) => WithParamClauseGroup m n p p' t' b' t pc pc' g (SmGivenS m n p p' t' b' t pc pc' ac i f s e g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

paramClauseGroup :: SmGivenS m n p p' t' b' t pc pc' ac i f s e g -> Maybe g

class (ParamClauseGroup m n p p' t' b' t pc pc' g, Tree w) => WithParamClauseGroups m n p p' t' b' t pc pc' g w where

Methods

paramClauseGroups :: w -> [g]

Instances

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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