HaScalaM.Classes.Enums

Documentation

class Tree t => Enumerator t

Instances

Enumerator SmEnumerator

Defined in HaScalaM.Instances.Enums

class (Pat p, Term b, WithBody b t) => CaseGenerator p b t where

Methods

patCG :: t -> p

rhsCG :: t -> b

Instances

(Pat p, Term b) => CaseGenerator p b (SmCaseGeneratorE p b)

Defined in HaScalaM.Instances.Enums

Methods

patCG :: SmCaseGeneratorE p b -> p

rhsCG :: SmCaseGeneratorE p b -> b

class (Pat p, Term b, WithBody b t) => Generator p b t where

Methods

patG :: t -> p

rhsG :: t -> b

Instances

(Pat p, Term b, WithBody (SmGeneratorE p b) b) => Generator p b (SmGeneratorE p b)

Defined in HaScalaM.Instances.Enums

Methods

patG :: SmGeneratorE p b -> p

rhsG :: SmGeneratorE p b -> b

class (Tree t, Term b) => Guard b t where

Methods

condG :: t -> b

Instances

Term b => Guard b (SmGuardE b)

Defined in HaScalaM.Instances.Enums

Methods

condG :: SmGuardE b -> b

class (Pat p, Term b, WithBody b t) => Val p b t where

Methods

patV :: t -> p

rhsV :: t -> b

Instances

(Pat p, Term b) => Val p b (SmValE p b)

Defined in HaScalaM.Instances.Enums

Methods

patV :: SmValE p b -> p

rhsV :: SmValE p b -> b

class (Enumerator e, Tree w) => WithEnums e w where

Methods

enums :: w -> [e]

Instances

(Enumerator e, Term t) => WithEnums e (SmForT e t)

Defined in HaScalaM.Instances.Term

Methods

enums :: SmForT e t -> [e]

(Enumerator e, Term t) => WithEnums e (SmForYieldT e t)

Defined in HaScalaM.Instances.Term

Methods

enums :: SmForYieldT e t -> [e]