Safe Haskell	Safe-Inferred
Language	GHC2021

HaScalaM.Classes.Enums

Documentation

Instances details

Enumerator SmEnumerator Source #
Instance details Defined in HaScalaM.Instances.Enums
(Pat p, Term b) => Enumerator (SmCaseGeneratorE p b :: Type) Source #
Instance details Defined in HaScalaM.Instances.Enums
(Pat p, Term b) => Enumerator (SmGeneratorE p b :: Type) Source #
Instance details Defined in HaScalaM.Instances.Enums
(Pat p, Term b) => Enumerator (SmValE p b :: Type) Source #
Instance details Defined in HaScalaM.Instances.Enums

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

Methods

pat :: e -> p Source #

rhs :: e -> b Source #

Instances details

(Pat p, Term b) => Assign p b (SmCaseGeneratorE p b) Source #
Instance details Defined in HaScalaM.Instances.Enums Methods pat :: SmCaseGeneratorE p b -> p Source # rhs :: SmCaseGeneratorE p b -> b Source #
(Pat p, Term b) => Assign p b (SmGeneratorE p b) Source #
Instance details Defined in HaScalaM.Instances.Enums Methods pat :: SmGeneratorE p b -> p Source # rhs :: SmGeneratorE p b -> b Source #
(Pat p, Term b) => Assign p b (SmValE p b) Source #
Instance details Defined in HaScalaM.Instances.Enums Methods pat :: SmValE p b -> p Source # rhs :: SmValE p b -> b Source #

Instances details

(Pat p, Term b) => CaseGenerator p b (SmCaseGeneratorE p b) Source #
Instance details Defined in HaScalaM.Instances.Enums

class Assign p b t => Generator p b t Source #

Instances details

(Pat p, Term b) => Generator p b (SmGeneratorE p b) Source #
Instance details Defined in HaScalaM.Instances.Enums

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

Methods

cond :: t -> b Source #

Instances details

Term c => Guard c (SmGuardE c) Source #
Instance details Defined in HaScalaM.Instances.Enums Methods cond :: SmGuardE c -> c Source #

class Assign p b t => Val p b t Source #

Instances details

(Pat p, Term b) => Val p b (SmValE p b) Source #
Instance details Defined in HaScalaM.Instances.Enums

Minimal complete definition

Nothing

Methods

enums :: w -> [e] Source #

Instances details

(Enumerator e, Term t) => WithEnums e (SmForT e t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods enums :: SmForT e t -> [e] Source #
(Enumerator e, Term t) => WithEnums e (SmForYieldT e t) Source #
Instance details Defined in HaScalaM.Instances.Term Methods enums :: SmForYieldT e t -> [e] Source #