HaScalaM.Instances.Base

Orphan instances

Lit SmLit

Tree SmLit

Tree SmModM

(m ~ SmMod, n ~ SmName, t' ~ SmType', ac ~ SmArgClauseT m t, Name n, Type' t', ArgClauseT m t ac) => Init m n t' t ac (SmInit m n t' t ac)

Methods

tpe :: SmInit m n t' t ac -> t'

name' :: SmInit m n t' t ac -> n

argClauses :: SmInit m n t' t ac -> [ac]

Ref r => Tree (SmAccessM r :: Type)

Ref r => WithWithin r (SmAccessM r)

Methods

within :: SmAccessM r -> r

(Name n, Type' t', ArgClauseT m t ac) => Tree (SmInit m n t' t ac :: Type)