| Safe Haskell | Safe-Inferred |
|---|
Text.Numeral.Exp.Reified
Documentation
An expression that represents the structure of a numeral.
Constructors
| Unknown | An unknown value. |
| Lit ℤ | A literal value. |
| Neg (Exp i) | Negation of an expression. |
| Add (Exp i) (Exp i) | Addition of two expressions. |
| Mul (Exp i) (Exp i) | Multiplication of two expressions. |
| Sub (Exp i) (Exp i) | One expression subtracted from another expression. |
| Frac (Exp i) (Exp i) | A fraction. |
| Scale ℤ ℤ (Exp i) | A step in a scale of large values. |
| Dual (Exp i) | A dual form of an expression. |
| Plural (Exp i) | A plural form of an expression. |
| Inflection (i -> i) (Exp i) | A change of inflection. |
Instances
| Inflection (Exp i) | Precisely the |
| Plural (Exp i) | Precisely the |
| Dual (Exp i) | Precisely the |
| Scale (Exp i) | Precisely the |
| Frac (Exp i) | Precisely the |
| Sub (Exp i) | Precisely the |
| Mul (Exp i) | Precisely the |
| Add (Exp i) | Precisely the |
| Neg (Exp i) | Precisely the |
| Lit (Exp i) | Precisely the |
| Unknown (Exp i) | Precisely the |