well-typed / apply
Type-level descriptions of composable transformations for use with DerivingVia
☆10Updated 6 years ago
Alternatives and similar repositories for apply:
Users that are interested in apply are comparing it to the libraries listed below
- Integers bounded by a closed interval☆13Updated last week
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated 5 months ago
- ☆10Updated 6 years ago
- A general abstraction for manipulating elements of container data structures☆11Updated last year
- Deriving Storable instances using GHC.Generics☆16Updated 2 years ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Read and write data in the IDX format used in e.g. the MNIST database☆9Updated last year
- A small-step semantics for Core☆9Updated 4 years ago
- Type-level assertion operators☆16Updated 6 years ago
- Minimalistic Haskell pretty-printing library☆9Updated 3 years ago
- Script to download all of Hackage☆14Updated 5 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- Create unit tests and benchmarks at the same time☆8Updated 5 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Expands type synonyms in Template Haskell ASTs☆11Updated last month
- Deep evaluation of data structures without NFData☆10Updated 9 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Physical dimensions and operations☆9Updated 6 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- ☆9Updated 2 months ago
- Futuristic New Age Golden Test management☆15Updated 2 years ago
- Programmatically create new instances using core-to-core plugins☆11Updated 3 years ago
- ☆10Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated last month
- Staged Streams and other stuff☆18Updated 2 years ago
- ScopeT and ScopeH☆13Updated 5 months ago