HaScalaM.Types.Enums

Documentation

data SmCaseGeneratorE p b where

Constructors

SmCaseGeneratorE

Fields

• :: (Pat p, Term b)
• => { patCGE :: p
•    , rhsCGE :: b
•    } -> SmCaseGeneratorE p 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

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

Defined in HaScalaM.Instances.Enums

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

Defined in HaScalaM.Instances.Enums

Methods

body :: SmCaseGeneratorE p b -> b

data SmGeneratorE p b where

Constructors

SmGeneratorE

Fields

• :: (Pat p, Term b)
• => { patGE :: p
•    , rhsGE :: b
•    } -> SmGeneratorE p 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

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

Defined in HaScalaM.Instances.Enums

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

Defined in HaScalaM.Instances.Enums

Methods

body :: SmGeneratorE p b -> b

data SmGuardE b where

Constructors

SmGuardE

Fields

• :: Term b
• => { condGE :: b
•    } -> SmGuardE b

Instances

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

Defined in HaScalaM.Instances.Enums

Term b => Guard b (SmGuardE b)

Defined in HaScalaM.Instances.Enums

Methods

condG :: SmGuardE b -> b

data SmValE p b where

Constructors

SmValE

Fields

• :: (Pat p, Term b)
• => { patVE :: p
•    , rhsVE :: b
•    } -> SmValE p 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

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

Defined in HaScalaM.Instances.Enums

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

Defined in HaScalaM.Instances.Enums

Methods

body :: SmValE p b -> b