@hackage / c-expr-runtime

Haskell DSL for simple C arithmetic expressions

Latest0.1.0.0

About

Metadata

  • Last updated , by dschrempf
  • License BSD-3-Clause
  • Categories Systems Programming

  • Maintained by: info@well-typed.com

  • Lottery factor: 2

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.10.3
  3. 9.8.4
  4. 9.6.7
  5. 9.4.8
  6. 9.2.8

Readme

c-expr-runtime

c-expr-runtime is a Haskell library providing the runtime support for c-expr-dsl: a type-level universe of C types and a class-per-operator hierarchy whose associated type families encode the C standard's integral-promotion and arithmetic-conversion rules. It supports the hs-bindgen project but can be used independently.

Its test suite cross-checks operator result types against a real C compiler, and so requires an LLVM/Clang installation.

See the main README for more information, and the changelog for release notes.