Popularity
8.0
Stable
Activity
3.5
-
16
12
9
Monthly Downloads: 87
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
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
Promo
coderabbit.ai
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