Monadoc
The latest version of ghc-typelits-extra is 0.4.7-0.

ghc-typelits-extra

Version 0.2.1 revision 0 uploaded by ChristiaanBaaij.

Package meta

Synopsis
Additional type-level operations on GHC.TypeLits.Nat
Description

Additional type-level operations on GHC.TypeLits.Nat:

  • Max: type-level max

  • Min: type-level min

  • Div: type-level div

  • Mod: type-level mod

  • FLog: type-level equivalent of integerLogBase# i.e. the exact integer equivalent to floor (logBase x y)

  • CLog: type-level equivalent of the ceiling of integerLogBase# i.e. the exact integer equivalent to ceiling (logBase x y)

  • Log: type-level equivalent of integerLogBase# where the operation only reduces when floor (logBase b x) ~ ceiling (logBase b x)

  • GCD: a type-level gcd

  • LCM: a type-level lcm

And a custom solver for the above operations defined in GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin, add the

OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver

pragma to the header of your file.

Author
Christiaan Baaij
Bug reports
http://github.com/clash-lang/ghc-typelits-extra/issues
Category
Type System
Copyright
Copyright © 2015-2016 University of Twente
Homepage
http://www.clash-lang.org/
Maintainer
christiaan.baaij@gmail.com
Package URL
n/a
Stability
n/a

Components