This library provides a Haskell DSL for simple C arithmetic expressions, implementing the arithmetic conversion and integral promotion rules of the C standard.

For example, addition is defined with the following type class:

infixl 2 +
type Add :: Type -> Type -> Constraint
class Add a b where
  type family AddRes a b :: Type
  (+) :: a -> b -> AddRes a b

That is, we can add arguments of different types, e.g. an integer and a floating-point number, in which case the integer will first get converted to the floating-point format before performing the addition.

---

[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

• c-expr-runtime-0.1.0.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• EdskoDeVries, dschrempf

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates