hascalam-0.1.1.1: Haskell to and from Scalameta
Safe HaskellSafe-Inferred
LanguageGHC2021

HaScalaM.Classes.Stat

Documentation

class Tree s => Decl s Source #

Instances

Instances details
(Mod m, Pat p, Type' t') => Decl (SmVal'S m p t' :: Type) Source # 
Instance details

Defined in HaScalaM.Instances.Stat.Decl

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

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in HaScalaM.Instances.Stat.Decl

class Tree s => Defn s Source #

Instances

Instances details
(Mod m, NameT tn) => Defn (SmRepeatedEnumCase m tn :: Type) Source # 
Instance details

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

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

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in HaScalaM.Instances.Stat.Defn

class Tree r => Importee r Source #

Instances

Instances details
Importee SmImportee Source # 
Instance details

Defined in HaScalaM.Instances.Stat

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

Methods

ref :: t -> r Source #

importees :: t -> [i] Source #

Instances

Instances details
(r ~ SmRef, i ~ SmImportee, RefT r, Importee i) => Importer r i (SmImporter r i) Source # 
Instance details

Defined in HaScalaM.Instances.Stat

Methods

ref :: SmImporter r i -> r Source #

importees :: SmImporter r i -> [i] Source #

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

Methods

importers :: s -> [t] Source #

Instances

Instances details
Importer r i t => ImportExportStat r i t (SmImportExportStatS r i t) Source # 
Instance details

Defined in HaScalaM.Instances.Stat

Methods

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

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 Source #

Methods

bounds' :: t'd -> b' Source #

Instances

Instances details
(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') Source # 
Instance details

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

(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') Source # 
Instance details

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

(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') Source # 
Instance details

Defined in HaScalaM.Instances.Type

Methods

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