HaScalaM.Instances.Stat.Decl

Orphan 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)

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

Methods

paramClauseGroup :: SmGiven'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)

Methods

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

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

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

Methods

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

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

Methods

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

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

Methods

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

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

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

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

Methods

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

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

Methods

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

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

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

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

Methods

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

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

Methods

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

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

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)

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

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)

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

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

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

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

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

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

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

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

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

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

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

Methods

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

Methods

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