HaScalaM.Classes.Type

Documentation

class (Type' t', CaseTree t' t' ct) => Type'Case t' ct

Instances

Type' t' => Type'Case t' (SmType'CaseCT t')

Defined in HaScalaM.Instances.Type

data FuncParamClause' t' where

Constructors

FuncParamClause'

Fields

• :: Type' t'
• => { valuesFPC' :: [t']
•    } -> FuncParamClause' t'

Instances

Type' t' => SyntaxValuesClauses t' (FuncParamClause' t')

Defined in HaScalaM.Instances.Type

Methods

values :: FuncParamClause' t' -> [t']

Type' t' => Tree (FuncParamClause' t' :: Type)

Defined in HaScalaM.Instances.Type

Type' t' => Function t' (FuncParamClause' t') t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmContextFunctionT' t' -> FuncParamClause' t'

Type' t' => Function t' (FuncParamClause' t') t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

paramClause :: SmFunctionT' t' -> FuncParamClause' t'

t' ~ SmType' => Show (FuncParamClause' t')

Defined in HaScalaM.Instances.Show

Methods

showsPrec :: Int -> FuncParamClause' t' -> ShowS

show :: FuncParamClause' t' -> String

showList :: [FuncParamClause' t'] -> ShowS

class (Type' t', Function t' (FuncParamClause' t') t' f) => FunctionT' t' f where

Methods

res :: f -> t'

Instances

Type' t' => FunctionT' t' (SmContextFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

res :: SmContextFunctionT' t' -> t'

Type' t' => FunctionT' t' (SmFunctionT' t')

Defined in HaScalaM.Instances.Type

Methods

res :: SmFunctionT' t' -> t'

class (NameT' n', Member n' t') => MemberT' n' t'

Instances

NameT' n => MemberT' n (SmVarT' n)

Defined in HaScalaM.Instances.Type

(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

(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

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

Defined in HaScalaM.Instances.Type

(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

(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

(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

class Name n' => NameT' n'

Instances

NameT' SmNameT'

Defined in HaScalaM.Instances.Ref

class (WithT'ParamClause m n p' t' b' pc' p', Bounds' t' b') => ParamT' m n p' t' b' pc' where

Methods

tbounds' :: p' -> b'

vbounds' :: p' -> [t']

cbounds' :: p' -> [t']

Instances

(p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b', Mod m, Name n, Bounds' t' b') => ParamT' m n (SmParamT' m n t' b') t' b' pc'

Defined in HaScalaM.Instances.Type

Methods

tbounds' :: SmParamT' m n t' b' -> b'

vbounds' :: SmParamT' m n t' b' -> [t']

cbounds' :: SmParamT' m n t' b' -> [t']

class (ParamT' m n p' t' b' pc', ParamClause m n p' pc') => ParamClauseT' m n p' t' b' pc'

Instances

(p' ~ SmParamT' m n t' b', Mod m, Name n, Bounds' t' b') => ParamClauseT' m n p' t' b' (SmParamClauseT' m n p' t' b')

Defined in HaScalaM.Instances.Type

class (Type' t', ArgClause t' t) => ArgClauseT' t' t

Instances

Type' t' => ArgClauseT' t' (SmArgClauseT' t')

Defined in HaScalaM.Instances.Type

class Tree t' => Type' t'

Instances

Type' SmType'

Defined in HaScalaM.Instances.Type

class (Type' t', Tree b') => Bounds' t' b' where

Methods

lo :: b' -> Maybe t'

hi :: b' -> Maybe t'

Instances

Type' t' => Bounds' t' (SmBounds' t')

Defined in HaScalaM.Instances.Type

Methods

lo :: SmBounds' t' -> Maybe t'

hi :: SmBounds' t' -> Maybe t'

class (Type' t', Tree w) => WithDeclTpe t' w where

Methods

decltpe :: w -> t'

Instances

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

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

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'

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

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

class (Type' t', Tree w) => WithDeclTpeOpt t' w where

Methods

decltpe' :: w -> Maybe t'

Instances

(Name n, Type' t') => WithDeclTpeOpt t' (SmSelf n t')

Defined in HaScalaM.Instances.Tilde

Methods

decltpe' :: SmSelf n t' -> Maybe t'

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

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

(Mod m, Name n, Type' t', Term t) => WithDeclTpeOpt t' (SmParamT m n t' t)

Defined in HaScalaM.Instances.Term

Methods

decltpe' :: SmParamT m n t' t -> Maybe t'

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

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

class (ParamClauseT' m n p' t' b' pc', Tree w) => WithT'ParamClause m n p' t' b' pc' w where

Methods

t'paramClause :: w -> pc'

Instances

(p' ~ SmParamT' m n t' b', pc' ~ SmParamClauseT' m n p' t' b', Mod m, Name n, Bounds' t' b', ParamT' m n p' t' b' pc', ParamClauseT' m n p' t' b' pc') => WithT'ParamClause m n p' t' b' pc' (SmParamT' m n t' b')

Defined in HaScalaM.Instances.Type

Methods

t'paramClause :: SmParamT' m n t' b' -> pc'

ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmLambdaT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

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

ParamClauseT' m n p' t' b' pc' => WithT'ParamClause m n p' t' b' pc' (SmPolyFunctionT' m n p' t' b' pc')

Defined in HaScalaM.Instances.Type

Methods

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

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

(ParamClauseT' m n p' t' b' pc', Term t) => WithT'ParamClause m n p' t' b' pc' (SmPolyFunctionT m n p' t' b' pc' t)

Defined in HaScalaM.Instances.Term

Methods

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

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

Defined in HaScalaM.Instances.Type

Methods

t'paramClause :: SmType'Def m n t'n p' t' b' pc' -> 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) => 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' 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) => 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) => 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'