Popularity
8.0
Declining
Activity
3.6
-
16
12
9
Monthly Downloads: 106
Programming language: Haskell
License: BSD 2-clause "Simplified" License
Latest version: v0.4.3
ghc-typelits-extra alternatives and similar packages
Based on the "ghc" category.
Alternatively, view ghc-typelits-extra alternatives based on common mentions on social networks and blogs.
-
ghc-make
An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling. -
ghc-datasize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory -
ghc-trace-events
ByteString/Text variants of Debug.Trace.traceEvent/traceMarker and binary event logging
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Promo
www.influxdata.com
Do you think we are missing an alternative of ghc-typelits-extra or a related project?
README
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver implemented as a GHC type-checker plugin:
GHC.TypeLits.Extra.Max
: type-level maxGHC.TypeLits.Extra.Min
: type-level minGHC.TypeLits.Extra.Div
: type-level divGHC.TypeLits.Extra.Mod
: type-level modGHC.TypeLits.Extra.FLog
: type-level equivalent of integerLogBase# .i.e. the exact integer equivalent to "floor (logBase x y)
"GHC.TypeLits.Extra.CLog
: type-level equivalent of the ceiling of integerLogBase# .i.e. the exact integer equivalent to "ceiling (logBase x y)
"- 'GHC.TypeLits.Extra.Log': type-level equivalent of
where the operation only reduces when "
floor (logBase b x) ~ ceiling (logBase b x)
" GHC.TypeLits.Extra.GCD
: a type-level gcdGHC.TypeLits.Extra.LCM
: a type-level lcm