HaScalaM.Instances

Orphan instances

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => Secondary m n p t' t pc ac i (s :: Type) (SmCtorSecondaryS m n p t' t pc ac i s)

(m ~ SmMod, n ~ SmName, t' ~ SmType', t ~ SmTerm, ac ~ SmArgClauseT m t, i ~ SmInit m n t' t ac, Init m n t' t ac i) => Annot m n t' t ac i (SmAnnotM m n t' t ac i)

Methods

init :: SmAnnotM m n t' t ac i -> i

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithParamClauses m n p t' t pc (SmCtorSecondaryS m n p t' t pc ac i s)

Methods

paramClauses :: SmCtorSecondaryS m n p t' t pc ac i s -> [pc]

Init m n t' t ac i => Tree (SmAnnotM m n t' t ac i :: Type)

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => Ctor (SmCtorSecondaryS m n p t' t pc ac i s :: Type)

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => Tree (SmCtorSecondaryS m n p t' t pc ac i s :: Type)

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithExprs s (SmCtorSecondaryS m n p t' t pc ac i s)

Methods

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

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithMods m (SmCtorSecondaryS m n p t' t pc ac i s)

Methods

mods :: SmCtorSecondaryS m n p t' t pc ac i s -> [m]

(ParamClauseT m n p t' t pc, Init m n t' t ac i, Stat s) => WithStats s (SmCtorSecondaryS m n p t' t pc ac i s)

Methods

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