HaScalaM.Instances.Enums

Orphan instances

Tree SmEnumerator

Enumerator SmEnumerator

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

Methods

pat :: SmCaseGeneratorE p b -> p

rhs :: SmCaseGeneratorE p b -> b

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

Methods

pat :: SmGeneratorE p b -> p

rhs :: SmGeneratorE p b -> b

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

Methods

pat :: SmValE p b -> p

rhs :: SmValE p b -> b

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

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

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

Term c => Tree (SmGuardE c :: Type)

Term c => Guard c (SmGuardE c)

Methods

cond :: SmGuardE c -> c

Term c => WithCond c (SmGuardE c)

Methods

cond :: SmGuardE c -> c

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

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

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

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

Methods

body :: SmCaseGeneratorE p b -> b

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

Methods

body :: SmGeneratorE p b -> b

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

Methods

body :: SmValE p b -> b

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

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

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