the 'invariant' Haskell package for invariant functors
☆16Jan 10, 2026Updated last month
Alternatives and similar repositories for invariant-functors
Users that are interested in invariant-functors are comparing it to the libraries listed below
Sorting:
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Dec 8, 2025Updated 2 months ago
- Haskell 98 Profunctors☆70Jun 17, 2025Updated 8 months ago
- keyed functors☆23Jan 10, 2026Updated last month
- Get terminal window width and height☆14Aug 14, 2024Updated last year
- phantom types☆39Jan 3, 2026Updated 2 months ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Jan 15, 2024Updated 2 years ago
- Socks proxy library for haskell☆19Aug 23, 2022Updated 3 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 2 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Jan 11, 2026Updated last month
- Backports of GHC deriving extensions☆13Jan 8, 2026Updated last month
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated last month
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- Simple adjunctions☆45Jan 10, 2026Updated last month
- pointed and copointed data☆23Mar 3, 2025Updated last year
- A typed, persistent store for values of arbitrary types☆62Dec 25, 2025Updated 2 months ago
- ☆45Jan 3, 2026Updated 2 months ago
- categories from category-extras☆34Oct 9, 2019Updated 6 years ago
- A Haskell binding to the curl library☆30May 2, 2024Updated last year
- Haskell 98 semigroups☆62Jan 10, 2026Updated last month
- Dual Traversable☆41Jan 10, 2026Updated last month
- the EitherT monad transformer☆58Updated this week
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated last month
- Haskell 98 contravariant functors☆73Jan 10, 2026Updated last month
- ☆76Jan 11, 2026Updated last month
- Tools for programming with ConstraintKinds in GHC☆74Jan 26, 2026Updated last month
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- ☆10Mar 2, 2021Updated 5 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Fast pure Haskell implementation of the PostgreSQL wire protocol☆11May 19, 2020Updated 5 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- Derivation of C-like Storable Instances☆13Jun 1, 2016Updated 9 years ago