HaScalaM.Classes.Pat

Documentation

class Tree t => Pat t

Instances

Pat SmPat

Defined in HaScalaM.Instances.Pat

class (Pat p, ArgClause p t, WithPats p t) => ArgClauseP p t

Instances

Pat p => ArgClauseP p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

class (Pat p, Tree w) => WithPats p w where

Methods

pats :: w -> [p]

Instances

Pat p => WithPats p (SmArgClauseP p)

Defined in HaScalaM.Instances.Pat

Methods

pats :: SmArgClauseP p -> [p]

(Mod m, Pat p, Type' t') => WithPats p (SmVal'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

pats :: SmVal'S m p t' -> [p]

(Mod m, Pat p, Type' t') => WithPats p (SmVar'S m p t')

Defined in HaScalaM.Instances.Stat.Decl

Methods

pats :: SmVar'S m p t' -> [p]

(Mod m, Pat p, Type' t', Term t) => WithPats p (SmValS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

pats :: SmValS m p t' t -> [p]

(Mod m, Pat p, Type' t', Term t) => WithPats p (SmVarS m p t' t)

Defined in HaScalaM.Instances.Stat.Defn

Methods

pats :: SmVarS m p t' t -> [p]