HaScalaM.Instances.Tilde

Orphan instances

ArgsType SmMod

Mod SmMod

ParamsType SmMod

Tree SmMod

Variant SmMod

(m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, p' ~ SmParamT' m n t' b', t' ~ SmType', b' ~ SmBounds' t', t ~ SmTerm, pc ~ SmParamClauseT m n p t' t, pc' ~ SmParamClauseT' m n p' t' b', 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]

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, s ~ SmStat, p ~ SmSelf n t', 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']

(m ~ SmMod, n ~ SmName, p ~ SmParamT m n t' t, t' ~ SmType', t ~ SmTerm, pc ~ SmParamClauseT m n p t' 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')

(s ~ SmStat, Stat s) => Source s (SmSource s)

Methods

stats' :: SmSource s -> [s]

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

(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

decltpeOpt :: 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)

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