HaScalaM.Instances.Pat

Orphan instances

Tree SmPat

Tree SmPatP

Pat SmPat

(Term t, Pat p, ArgClauseP p ac) => Apply t p ac (SmExtractP t p ac)

Methods

fun :: SmExtractP t p ac -> t

argClause :: SmExtractP t p ac -> ac

(NameT tn, Pat p, ArgClauseP p ac) => Infix p tn ac (SmExtractInfixP tn p ac)

Methods

lhs :: SmExtractInfixP tn p ac -> p

op :: SmExtractInfixP tn p ac -> tn

arg :: SmExtractInfixP tn p ac -> ac

Pat p => ArgClause p (SmArgClauseP p)

NameT tn => Member tn (SmVarP tn)

Methods

name :: SmVarP tn -> tn

Pat p => SyntaxValuesClauses p (SmArgClauseP p)

Methods

values :: SmArgClauseP p -> [p]

Term t => Tree (SmMacroP t :: Type)

Pat p => Tree (SmTupleP p :: Type)

NameT tn => Tree (SmVarP tn :: Type)

Pat p => Tree (SmArgClauseP p :: Type)

Pat p => Tuple p (SmTupleP p)

Methods

args :: SmTupleP p -> [p]

Term t => WithBody t (SmMacroP t)

Methods

body :: SmMacroP t -> t

Pat p => ArgClauseP p (SmArgClauseP p)

Pat p => WithPats p (SmArgClauseP p)

Methods

pats :: SmArgClauseP p -> [p]

NameT tn => MemberT tn (SmVarP tn)

(NameT tn, Pat p, ArgClauseP p ac) => Tree (SmExtractInfixP tn p ac :: Type)

(Term t, Pat p, ArgClauseP p ac) => Tree (SmExtractP t p ac :: Type)