@hackage / sint

Nat singletons represented by Int

Latest0.2.0

About

Metadata

  • Last updated , by AndrewPritchard
  • License Apache-2.0

  • Maintained by: Andrew Pritchard <awpritchard@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

sint

A singleton type for Nat represented as Int.

This package implements a type SInt that links a runtime Int with a type-level Nat, along with some arithmetic and reflection capabilities.

This is useful when mixing type-level Nats with GHC array primitives that expect Ints as sizes and indices.

See the module intro of Data.SInt for more details.