Safe Haskell | None |
---|---|

Language | Haskell2010 |

Type-level functions on result types.

Linear functions are classified as either int-valued or real-valued,
so we define `KZ`

and `KR`

as data kinds to denote this in the type.

# Documentation

Classify the result type of a linear function to either integral or real:

data Linear z r c k where Source #

Representation of either integral of real linear functions: a list of variables with coefficients, plus a constant summand.