@hackage / snumber

Integer singletons with flexible representation

Latest0.3.0

About

Metadata

  • Last updated , by AndrewPritchard
  • License Apache-2.0

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

  • Lottery factor: 0

Links

Installation

Readme

This provides singletons-style witnesses for type-level integers, and some limited arithmetic operations on them. Instead of working with (invisible, implicitly-passed) KnownNat instances, you can work with (visible, explicitly-mentioned) SNumber values, and can freely convert between the two forms.

This primarily exists in support of dependent-literals-plugin.