HaScalaM.Types.Stat

Documentation

data SmDef'S m n tn p p' t' b' t pc pc' g where

Constructors

SmDef'S

Fields

• :: (NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g)
• => { modsD'S :: [m]
•    , nameD'S :: tn
•    , paramClauseGroupsD'S :: [g]
•    , decltpeD'S :: t'
•    } -> SmDef'S m n tn p p' t' b' t pc pc' g

Instances

(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

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

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

(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) => 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) => 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) => 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) => 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) => WithDeclTpe t' (SmDef'S m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

data SmGiven'S m n tn p p' t' b' t pc pc' g where

Constructors

SmGiven'S

Fields

• :: (NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g)
• => { modsG'S :: [m]
•    , nameG'S :: tn
•    , paramClauseGroupOptG'S :: Maybe g
•    , decltpeG'S :: t'
•    } -> SmGiven'S m n tn p p' t' b' t pc pc' g

Instances

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

(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) => 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) => 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) => Decl (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) => 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) => WithDeclTpe t' (SmGiven'S m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

data SmType'S m n t'n p' t' b' pc' where

Constructors

SmType'S

Fields

• :: (NameT' t'n, ParamClauseT' m n p' t' b' pc')
• => { modsT'S :: [m]
•    , nameT'S :: t'n
•    , t'paramClauseT'S :: pc'
•    , boundsT'S :: b'
•    } -> SmType'S m n t'n p' t' b' pc'

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') => WithT'ParamClause m n p' t' b' pc' (SmType'S m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

(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') => 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') => 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') => 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') => MemberT' t'n (SmType'S m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Decl

data SmVal'S m p t' where

Constructors

SmVal'S

Fields

• :: (Mod m, Pat p, Type' t')
• => { modsVal'S :: [m]
•    , patsVal'S :: [p]
•    , decltpeVal'S :: t'
•    } -> SmVal'S m p t'

Instances

(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') => 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') => WithPats p (SmVal'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

(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') => WithDeclTpe t' (SmVal'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

decltpe :: SmVal'S m p t' -> t'

data SmVar'S m p t' where

Constructors

SmVar'S

Fields

• :: (Mod m, Pat p, Type' t')
• => { modsVar'S :: [m]
•    , patsVar'S :: [p]
•    , decltpeVar'S :: t'
•    } -> SmVar'S m p t'

Instances

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

Defined in HaScalaM.Instances.Stat.Decl

(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') => WithPats p (SmVar'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

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

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

Defined in HaScalaM.Instances.Stat.Decl

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

Defined in HaScalaM.Instances.Stat.Decl

Methods

decltpe :: SmVar'S m p t' -> t'

data SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e where

Constructors

SmClassS

Fields

• :: (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)
• => { modsCS :: [m]
•    , nameCS :: t'n
•    , t'paramClauseCS :: pc'
•    , ctorCS :: c
•    , templCS :: e
•    } -> SmClassS m n t'n p p' t' b' t pc pc' c ac i f s e

Instances

(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) => 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) => WithT'ParamClause m n p' t' b' pc' (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

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

(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) => 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) => 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) => 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) => MemberT' 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

data SmDefS m n tn p p' t' b' t pc pc' g where

Constructors

SmDefS

Fields

• :: (NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g)
• => { modsDS :: [m]
•    , nameDS :: tn
•    , paramClauseGroupsDS :: [g]
•    , decltpeOptDS :: Maybe t'
•    , bodyDS :: t
•    } -> SmDefS m n tn p p' t' b' t pc pc' g

Instances

(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

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

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

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

Defined in HaScalaM.Instances.Stat.Defn

(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) => 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) => Defn (SmDefS m n tn p p' t' b' t pc pc' g :: Type)

Defined in HaScalaM.Instances.Stat.Defn

(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) => WithDeclTpeOpt t' (SmDefS m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

data SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e where

Constructors

SmEnumS

Fields

• :: (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)
• => { modsES :: [m]
•    , nameES :: t'n
•    , t'paramClauseES :: pc'
•    , ctorES :: c
•    , templES :: e
•    } -> SmEnumS m n t'n p p' t' b' t pc pc' c ac i f s e

Instances

(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) => 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) => WithT'ParamClause m n p' t' b' pc' (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

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

(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) => 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) => 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) => 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) => MemberT' 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

data SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i where

Constructors

SmEnumCaseS

Fields

• :: (NameT tn, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Init m n t' t ac i)
• => { modsECS :: [m]
•    , nameECS :: tn
•    , t'paramClauseECS :: pc'
•    , ctorECS :: c
•    , initsECS :: [i]
•    } -> SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i

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 tn, ParamClauseT' m n p' t' b' pc', Primary m n p t' t pc c, Init m n t' t ac i) => WithT'ParamClause m n p' t' b' pc' (SmEnumCaseS m n tn p p' t' b' t pc pc' c ac i)

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

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

(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

(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

data SmExtensionGroupS m n p p' t' b' t pc pc' s g where

Constructors

SmExtensionGroupS

Fields

• :: (ParamClauseGroup m n p p' t' b' t pc pc' g, Stat s)
• => { paramClauseGroupOptEGS :: Maybe g
•    , bodyEGS :: s
•    } -> SmExtensionGroupS m n p p' t' b' t pc pc' s g

Instances

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

(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

(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

(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

data SmGivenS m n p p' t' b' t pc pc' ac i f s e g where

Constructors

SmGivenS

Fields

• :: (ParamClauseGroup m n p p' t' b' t pc pc' g, Template m n t' t ac i f s e)
• => { modsGS :: [m]
•    , nameGS :: n
•    , paramClauseGroupOptGS :: Maybe g
•    , templGS :: e
•    } -> SmGivenS m n p p' t' b' t pc pc' ac i f s e g

Instances

(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

(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

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

(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

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

(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

data SmGivenAliasS m n p p' t' b' t pc pc' g where

Constructors

SmGivenAliasS

Fields

• :: ParamClauseGroup m n p p' t' b' t pc pc' g
• => { modsGAS :: [m]
•    , nameGAS :: n
•    , paramClauseGroupOptGAS :: Maybe g
•    , decltpeGAS :: t'
•    , bodyGAS :: t
•    } -> SmGivenAliasS m n p p' t' b' t pc pc' 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', 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]

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

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

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

data SmMacroS m n tn p p' t' b' t pc pc' g where

Constructors

SmMacroS

Fields

• :: (NameT tn, ParamClauseGroup m n p p' t' b' t pc pc' g)
• => { modsMS :: [m]
•    , nameMS :: tn
•    , paramClauseGroupsMS :: [g]
•    , decltpeOptMS :: Maybe t'
•    , bodyMS :: t
•    } -> SmMacroS m n tn p p' t' b' t pc pc' g

Instances

(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

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

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

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

(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, 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, 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, ParamClauseGroup m n p p' t' b' t pc pc' g) => WithDeclTpeOpt t' (SmMacroS m n tn p p' t' b' t pc pc' g)

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

data SmObjectS m n tn t' t ac i f s e where

Constructors

SmObjectS

Fields

• :: (NameT tn, Template m n t' t ac i f s e)
• => { modsOS :: [m]
•    , nameOS :: tn
•    , templOS :: e
•    } -> SmObjectS m n tn t' t ac i f s e

Instances

(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) => 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, 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) => 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) => Defn (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) => MemberT tn (SmObjectS m n tn p t' t ac i s e)

Defined in HaScalaM.Instances.Stat.Defn

data SmRepeatedEnumCase m tn where

Constructors

SmRepeatedEnumCase

Fields

• :: (Mod m, NameT tn)
• => { modsRECS :: [m]
•    , cases :: [tn]
•    } -> SmRepeatedEnumCase m tn

Instances

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

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

mods :: SmRepeatedEnumCase m tn -> [m]

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

Defined in HaScalaM.Instances.Stat.Defn

data SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e where

Constructors

SmTraitS

Fields

• :: (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)
• => { modsTS :: [m]
•    , nameTS :: t'n
•    , t'paramClauseTS :: pc'
•    , ctorTS :: c
•    , templTS :: e
•    } -> SmTraitS m n t'n p p' t' b' t pc pc' c ac i f s e

Instances

(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

(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

(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) => WithT'ParamClause m n p' t' b' pc' (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

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

(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

(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

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

(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

(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) => MemberT' 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

data SmTypeS m n t'n p' t' b' pc' where

Constructors

SmTypeS

Fields

• :: (NameT' t'n, ParamClauseT' m n p' t' b' pc')
• => { modsTpeS :: [m]
•    , nameTpeS :: t'n
•    , t'paramClauseTpeS :: pc'
•    , bodyTpeS :: t'
•    , boundsTpeS :: b'
•    } -> SmTypeS m n t'n p' t' b' pc'

Instances

(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') => WithT'ParamClause m n p' t' b' pc' (SmTypeS m n t'n p' t' b' pc')

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

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

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

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

data SmValS m p t' t where

Constructors

SmValS

Fields

• :: (Mod m, Pat p, Type' t', Term t)
• => { modsValS :: [m]
•    , patsValS :: [p]
•    , decltpeOptValS :: Maybe t'
•    , rhsValS :: t
•    } -> SmValS m p t' t

Instances

(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) => 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) => 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) => WithPats p (SmValS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

(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) => WithDeclTpeOpt t' (SmValS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

decltpe' :: SmValS m p t' t -> Maybe t'

data SmVarS m p t' t where

Constructors

SmVarS

Fields

• :: (Mod m, Pat p, Type' t', Term t)
• => { modsVarS :: [m]
•    , patsVarS :: [p]
•    , decltpeOptVarS :: Maybe t'
•    , rhsVarS :: t
•    } -> SmVarS m p t' t

Instances

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

Defined in HaScalaM.Instances.Stat.Defn

(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

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

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

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

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

Defined in HaScalaM.Instances.Stat.Defn

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

Defined in HaScalaM.Instances.Stat.Defn

Methods

decltpe' :: SmVarS m p t' t -> Maybe t'

data SmImportExportStatS r i t where

Constructors

SmImportS

Fields

• :: Importer r i t
• => { importersIIESS :: [t]
•    } -> SmImportExportStatS r i t

SmExportS

Fields

• :: Importer r i t
• => { importersIEESS :: [t]
•    } -> SmImportExportStatS r i 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]

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

Defined in HaScalaM.Instances.Stat

data SmPkgS r s where

Constructors

SmPkgS

Fields

• :: (RefT r, Stat s)
• => { refPkS :: r
•    , statsPkS :: [s]
•    } -> SmPkgS r s

Instances

Stat s => Member SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

name :: SmPkgS SmRef s -> SmNameT

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

Defined in HaScalaM.Instances.Stat

Stat s => WithExprs s (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

exprs :: SmPkgS SmRef s -> [s]

Stat s => WithStats s (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

Methods

stats :: SmPkgS SmRef s -> [s]

Stat s => MemberT SmNameT (SmPkgS SmRef s)

Defined in HaScalaM.Instances.Stat

data SmPkgObjectS m n tn t' t ac i f s e where

Constructors

SmPkgObjectS

Fields

• :: (NameT tn, Template m n t' t ac i f s e)
• => { modsPkObjS :: [m]
•    , namePkObjS :: tn
•    , templPkObjS :: e
•    } -> SmPkgObjectS m n tn t' t ac i f s e

Instances

(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

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