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) => 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) => CaseGenerator p b (SmCaseGeneratorE p b)

Defined in HaScalaM.Instances.Enums

(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

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

Defined in HaScalaM.Instances.Enums

data SmGeneratorE p b where

Constructors

SmGeneratorE

Fields

• :: (Pat p, Term b)
• => { patGE :: p
•    , rhsGE :: b
•    } -> SmGeneratorE p b

Instances

(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) => Generator p b (SmGeneratorE p b)

Defined in HaScalaM.Instances.Enums

(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

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

Defined in HaScalaM.Instances.Enums

data SmGuardE c where

Constructors

SmGuardE

Fields

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

Instances

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

Defined in HaScalaM.Instances.Enums

Term c => Guard c (SmGuardE c)

Defined in HaScalaM.Instances.Enums

Methods

cond :: SmGuardE c -> c

Term c => WithCond c (SmGuardE c)

Defined in HaScalaM.Instances.Enums

Methods

cond :: SmGuardE c -> c

data SmValE p b where

Constructors

SmValE

Fields

• :: (Pat p, Term b)
• => { patVE :: p
•    , rhsVE :: b
•    } -> SmValE p b

Instances

(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

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

Defined in HaScalaM.Instances.Enums

(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

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

Defined in HaScalaM.Instances.Enums