libghc-ghc-typelits-extra-prof
Additional type-level operations on GHC.TypeLits.Nat; profiling libraries
Description
Operations: * 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.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.Upload more screenshots
Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.
Upload a screenshotHint: upload an image here from your clipboard with Ctrl-V
Homepage
Install this software package
If the package is available for the distribution you are currently using on your computer then install the software by clicking on…
Install libghc-ghc-typelits-extra-prof