mniip / finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
☆11Updated 6 months ago
Alternatives and similar repositories for finite-typelits:
Users that are interested in finite-typelits are comparing it to the libraries listed below
- ☆35Updated 4 months ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Haskell types and parsers for software version numbers.☆20Updated 2 weeks ago
- ☆44Updated 2 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- ☆18Updated 9 months ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last week
- Non-empty Vectors☆24Updated last month
- ☆10Updated last year
- Haskell library for glob matching☆25Updated 3 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 4 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 7 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 2 months ago
- Declare that a typeclass instance should not exist.☆11Updated 9 months ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆9Updated last year
- Simple testing toolkit☆11Updated 3 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 7 months ago
- haskell posix bindings☆18Updated 11 months ago
- Common lower-level functions needed by various streaming data libraries☆36Updated last month
- Patience diff and longest increasing subsequence☆12Updated last year
- Haskell library for injecting fields into aeson values☆13Updated 2 years ago
- Vector builder☆15Updated 2 weeks ago
- A monad transformer designed for `MonadFail`☆12Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 3 weeks ago
- Dependently typed elimination functions using singletons☆28Updated last month
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Double-ended queues☆14Updated 2 weeks ago