The ghc-typelits-extra package

[ Tags: bsd2, library, type-system ] [ Propose Tags ]

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

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.


[Skip to Readme]

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1, 0.2.2, 0.2.3
Change log CHANGELOG.md
Dependencies base (==4.8.*), ghc (>=7.10 && <7.12), ghc-tcplugins-extra (>=0.1) [details]
License BSD2
Copyright Copyright © 2015 University of Twente
Author Christiaan Baaij
Maintainer christiaan.baaij@gmail.com
Category Type System
Home page http://www.clash-lang.org/
Bug tracker http://github.com/clash-lang/ghc-typelits-extra/issues
Source repository head: git clone https://github.com/clash-lang/ghc-typelits-extra.git
Uploaded Wed Oct 21 15:38:05 UTC 2015 by ChristiaanBaaij
Distributions LTSHaskell:0.2.3, NixOS:0.2.3, Stackage:0.2.3, Tumbleweed:0.2.3
Downloads 891 total (82 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
deverror

Enables -Werror for development mode and TravisCI

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for ghc-typelits-extra-0.1

[back to package description]

ghc-typelits-extra

Build Status Hackage Hackage Dependencies

Extra type-level operations on GHC.TypeLits.Nat and a custom solver implemented as a GHC type-checker plugin:

  • GHC.TypeLits.Extra.GCD: a type-level gcd
  • GHC.TypeLits.Extra.CLog: type-level equivalent of clog x y = ceiling (logBase x y)