HaScalaM.Classes.Enums

Documentation

class Tree t => Enumerator t

Instances

Enumerator SmEnumerator

Defined in HaScalaM.Instances.Enums

(Pat p, Term b) => Enumerator (SmCaseGeneratorE p b :: Type)

Defined in HaScalaM.Instances.Enums

(Pat p, Term b) => Enumerator (SmGeneratorE p b :: Type)

Defined in HaScalaM.Instances.Enums

(Pat p, Term b) => Enumerator (SmValE p b :: Type)

Defined in HaScalaM.Instances.Enums

class (Enumerator e, Pat p, WithBody b e) => Assign p b e where

Methods

pat :: e -> p

rhs :: e -> b

Instances

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

Defined in HaScalaM.Instances.Enums

Methods

pat :: SmCaseGeneratorE p b -> p

rhs :: SmCaseGeneratorE p b -> b

(Pat p, Term b) => Assign p b (SmGeneratorE p b)

Defined in HaScalaM.Instances.Enums

Methods

pat :: SmGeneratorE p b -> p

rhs :: SmGeneratorE p b -> b

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

Defined in HaScalaM.Instances.Enums

Methods

pat :: SmValE p b -> p

rhs :: SmValE p b -> b

class Assign p b t => CaseGenerator p b t

Instances

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

Defined in HaScalaM.Instances.Enums

class Assign p b t => Generator p b t

Instances

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

Defined in HaScalaM.Instances.Enums

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

Methods

cond :: t -> b

Instances

Term c => Guard c (SmGuardE c)

Defined in HaScalaM.Instances.Enums

Methods

cond :: SmGuardE c -> c

class Assign p b t => Val p b t

Instances

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

Defined in HaScalaM.Instances.Enums

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

Minimal complete definition

Nothing

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]