HaScalaM.Classes.Stat

Documentation

class Tree s => Decl s

Instances

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

Defined in HaScalaM.Instances.Stat.Decl

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

Defined in HaScalaM.Instances.Stat.Decl

(NameT' t'n, ParamClauseT' m n p' t' b' pc') => Decl (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') => Decl (SmTypeS m n t'n p' t' b' pc' :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => Decl (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) => Decl (SmGiven'S m n tn p p' t' b' t pc pc' g :: Type)

Defined in HaScalaM.Instances.Stat.Decl

class Tree s => Defn s

Instances

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

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

ParamClauseGroup m n p p' t' b' t pc pc' g => Defn (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) => Defn (SmObjectS m n tn p t' t ac i s e :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g) => Defn (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) => Defn (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) => Defn (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) => Defn (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) => Defn (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) => Defn (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) => Defn (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) => Defn (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 r => Importee r

Instances

Importee SmImportee

Defined in HaScalaM.Instances.Stat

class (RefT r, Importee i, Tree t) => Importer r i t where

Methods

ref :: t -> r

importees :: t -> [i]

Instances

(r ~ SmRef, i ~ SmImportee, RefT r, Importee i) => Importer r i (SmImporter r i)

Defined in HaScalaM.Instances.Stat

Methods

ref :: SmImporter r i -> r

importees :: SmImporter r i -> [i]

class (Importer r i t, Tree s) => ImportExportStat r i t s where

Methods

importers :: s -> [t]

Instances

Importer r i t => ImportExportStat r i t (SmImportExportStatS r i t)

Defined in HaScalaM.Instances.Stat

Methods

importers :: SmImportExportStatS r i t -> [t]

class (MemberT' t'n t'd, WithMods m t'd, WithT'ParamClause m n p' t' b' pc' t'd) => Type'Def m n t'n p' t' b' pc' t'd where

Methods

bounds' :: t'd -> b'

Instances

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Type

Methods

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

class (Stat s, WithExprs s w) => WithStats s w where

Minimal complete definition

Nothing

Methods

stats :: w -> [s]

Instances

Stat s => WithStats s (SmBlockT s)

Defined in HaScalaM.Instances.Term

Methods

stats :: SmBlockT s -> [s]

Stat s => WithStats s (SmSource s)

Defined in HaScalaM.Instances.Tilde

Methods

stats :: SmSource s -> [s]

Stat s => WithStats s (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

stats :: SmPkgS SmRef s -> [s]

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

Defined in HaScalaM.Instances.Type

Methods

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

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

Defined in HaScalaM.Instances.Type

Methods

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

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

Defined in HaScalaM.Instances.Tilde

Methods

stats :: 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) => WithStats s (SmCtorSecondaryS m n p t' t pc ac i s)

Defined in HaScalaM.Instances

Methods

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