HaScalaM.Instances.Type

Orphan instances

Tree SmType'

Type' SmType'

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

Methods

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

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

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

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

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

Methods

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

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

ArgClauseT' t' ac' => Apply t' t' ac' (SmApplyT' t' ac')

Methods

fun :: SmApplyT' t' ac' -> t'

argClause :: SmApplyT' t' ac' -> ac'

(NameT' t'n, Type' t') => Infix t' t'n t' (SmApplyInfixT' t'n t')

Methods

lhs :: SmApplyInfixT' t'n t' -> t'

op :: SmApplyInfixT' t'n t' -> t'n

arg :: SmApplyInfixT' t'n t' -> t'

Type'Case t' ct => WithCases t' t' ct (SmMatchT' t' ct)

Methods

cases :: SmMatchT' t' ct -> [ct]

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

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

Methods

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

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

Methods

pat :: SmType'CaseCT t' -> t'

(Mod m, Name n, Bounds' t' b') => Param m n (SmParamT' m n t' b')

Methods

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

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

Methods

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

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

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

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

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

Methods

name :: SmVarT' n -> n

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

Methods

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

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

Methods

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

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

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

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

Type' t' => Tree (SmType'CaseCT t' :: Type)

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

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

Term t => Tree (SmMacroT' t :: Type)

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

NameT' n => Tree (SmVarT' n :: Type)

Type' t' => Tuple t' (SmTupleT' t')

Methods

args :: SmTupleT' t' -> [t']

Term t => WithBody t (SmMacroT' t)

Methods

body :: SmMacroT' t -> t

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

Methods

body :: SmType'CaseCT t' -> t'

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

Methods

body :: SmContextFunctionT' t' -> t'

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

Methods

body :: SmFunctionT' t' -> t'

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

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

Methods

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

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

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

Methods

res :: SmContextFunctionT' t' -> t'

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

Methods

res :: SmFunctionT' t' -> t'

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

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

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

Methods

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

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

Methods

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

(NameT' t'n, Type' t') => Tree (SmApplyInfixT' t'n t' :: Type)

ArgClauseT' t' ac' => Tree (SmApplyT' t' ac' :: Type)

(Type' t', Stat s) => Tree (SmExistentialT' t' s :: Type)

Type'Case t' ct => Tree (SmMatchT' t' ct :: Type)

(Type' t', Stat s) => Tree (SmRefineT' t' s :: Type)

(Tree ct, Type'Case t' ct) => WithExprs ct (SmMatchT' t' ct)

Methods

exprs :: SmMatchT' t' ct -> [ct]

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

(Mod m, Name n, Bounds' t' b') => Member n (SmParamT' m n t' b')

Methods

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

(Mod m, Name n, Bounds' t' b') => Tree (SmParamT' m n t' b' :: Type)

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

Methods

values :: SmParamClauseT' m n p' t' b' -> [p']

(Mod m, Name n, Bounds' t' b') => Tree (SmParamClauseT' m n p' t' b' :: Type)

ParamClauseT' m n p' t' b' pc' => Tree (SmLambdaT' m n p' t' b' pc' :: Type)

ParamClauseT' m n p' t' b' pc' => Tree (SmPolyFunctionT' m n p' t' b' pc' :: Type)

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

Methods

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

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

Methods

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

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

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

Methods

mods :: SmType'Def m n t'n p' t' b' pc' -> [m]

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