Types and kinds for basic type-level programming
☆65Sep 28, 2024Updated last year
Alternatives and similar repositories for purescript-typelevel-prelude
Users that are interested in purescript-typelevel-prelude are comparing it to the libraries listed below
Sorting:
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆96Sep 5, 2023Updated 2 years ago
- Functions for working with records and polymorphic labels☆68Jan 6, 2024Updated 2 years ago
- Contravariant functors☆10Oct 27, 2022Updated 3 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 4 years ago
- Optional values☆18Sep 17, 2022Updated 3 years ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- Exception effects☆16Jun 30, 2024Updated last year
- Profunctor type classes and data structures☆34Mar 7, 2024Updated last year
- Const data type and typeclass instances☆12Apr 27, 2022Updated 3 years ago
- Array utility functions☆58Feb 15, 2024Updated 2 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Classes for foldable and traversable data structures☆51Oct 9, 2023Updated 2 years ago
- Type class and functions for working with newtypes☆15Sep 3, 2022Updated 3 years ago
- Formatting and printing for numeric and date/time/interval values☆41Apr 8, 2023Updated 2 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 27, 2022Updated 3 years ago
- String utility functions, Char type, regular expressions.☆56Sep 5, 2025Updated 5 months ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Monad and comonad transformers☆71Jul 10, 2024Updated last year
- Pure profunctor lenses☆145Sep 18, 2024Updated last year
- Functor products, coproducts, and composition☆13Apr 27, 2022Updated 3 years ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- The Effect monad, for handling native side effects☆52Sep 17, 2022Updated 3 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Apr 27, 2022Updated 3 years ago
- Polymorphic variants for PureScript☆133Jun 28, 2023Updated 2 years ago
- A generic non-empty data structure☆17Apr 27, 2022Updated 3 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- PureScript packages for Spago and Psc-Package☆193Updated this week
- A wrapper for Node's Stream API☆19Jan 26, 2025Updated last year
- Classes for parallel composition and racing of asynchronous computations☆43Aug 24, 2023Updated 2 years ago
- An adapter between the purescript-halogen and purescript-css libraries.☆24May 2, 2022Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Apr 27, 2022Updated 3 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- Unfoldable functors☆16Apr 27, 2022Updated 3 years ago
- A very simple library for dealing with nulls in foreign libraries☆23Apr 27, 2022Updated 3 years ago
- A parsing library specialized to handling strings☆44Sep 10, 2022Updated 3 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 2022Updated 3 years ago
- Console based debugging functions☆27Sep 16, 2022Updated 3 years ago