Binary package “libghc-ghc-typelits-extra-doc” in ubuntu lunar
Additional type-level operations on GHC.TypeLits.Nat; documentation
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.
add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.
.
pragma to the header of your file.
.
This package provides the documentation for a library for the Haskell
programming language.
See http://
Published versions
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in amd64 (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in amd64 (Release)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in arm64 (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in arm64 (Release)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in armhf (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in armhf (Release)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in i386 (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in i386 (Release)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in ppc64el (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in ppc64el (Release)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in riscv64 (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in riscv64 (Release)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in s390x (Proposed)
- libghc-ghc-typelits-extra-doc 0.4.3-2build1 in s390x (Release)