HaScalaM.Instances.Tilde

Orphan instances

ArgsType SmMod

Mod SmMod

ParamsType SmMod

Tree SmMod

Variant SmMod

(ParamClauseT' m n p' t' b' pc', ParamClauseT m n p t' t pc) => ParamClauseGroup m n p p' t' b' t pc pc' (SmParamClauseGroup m n p p' t' b' t pc pc')

Methods

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

paramClauses' :: SmParamClauseGroup m n p p' t' b' t pc pc' -> [pc]

(Init m n t' t ac i, Stat s, Self n t' p) => Template m n t' t ac i p s (SmTemplate m n t' t ac i p s)

Methods

early :: SmTemplate m n t' t ac i p s -> [s]

inits :: SmTemplate m n t' t ac i p s -> [i]

self :: SmTemplate m n t' t ac i p s -> p

stats :: SmTemplate m n t' t ac i p s -> [s]

derives :: SmTemplate m n t' t ac i p s -> [t']

ParamClauseT m n p t' t pc => Primary m n p t' t pc (SmCtorPrimary m n p t' t pc)

Methods

mods :: SmCtorPrimary m n p t' t pc -> [m]

ParamClauseT m n p t' t pc => WithParamClauses m n p t' t pc (SmCtorPrimary m n p t' t pc)

Methods

paramClauses :: SmCtorPrimary m n p t' t pc -> [pc]

(n ~ SmName, t' ~ SmType', Name n, Type' t') => Self n t' (SmSelf n t')

Stat s => Source s (SmSource s)

Stat s => Tree (SmSource s :: Type)

Stat s => WithExprs s (SmSource s)

Methods

exprs :: SmSource s -> [s]

Stat s => WithStats s (SmSource s)

Methods

stats :: SmSource s -> [s]

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

Methods

name :: SmSelf n t' -> n

(Name n, Type' t') => Tree (SmSelf n t' :: Type)

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

Methods

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

ParamClauseT m n p t' t pc => Ctor (SmCtorPrimary m n p t' t pc :: Type)

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

(Init m n t' t ac i, Stat s, Self n t' p) => Tree (SmTemplate m n t' t ac i p s :: Type)

(Init m n t' t ac i, Stat s, Self n t' p) => WithExprs s (SmTemplate m n t' t ac i p s)

Methods

exprs :: SmTemplate m n t' t ac i p s -> [s]

(Init m n t' t ac i, Stat s, Self n t' p) => WithStats s (SmTemplate m n t' t ac i p s)

Methods

stats :: SmTemplate m n t' t ac i p s -> [s]

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