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:
- Functions for working with records and polymorphic labels☆68Jan 6, 2024Updated 2 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- Optional values☆18Sep 17, 2022Updated 3 years ago
- Contravariant functors☆10Oct 27, 2022Updated 3 years ago
- Exception effects☆16Jun 30, 2024Updated last year
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 4 years ago
- Const data type and typeclass instances☆12Apr 27, 2022Updated 3 years ago
- Classes for foldable and traversable data structures☆51Oct 9, 2023Updated 2 years ago
- Array utility functions☆58Feb 15, 2024Updated 2 years ago
- Profunctor type classes and data structures☆34Mar 7, 2024Updated 2 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Functor products, coproducts, and composition☆13Apr 27, 2022Updated 3 years ago
- A generic non-empty data structure☆17Apr 27, 2022Updated 3 years ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- Formatting and printing for numeric and date/time/interval values☆41Apr 8, 2023Updated 2 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Identity value☆10Apr 27, 2022Updated 3 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 6 months ago
- Pure profunctor lenses☆145Sep 18, 2024Updated last year
- Unfoldable functors☆16Apr 27, 2022Updated 3 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Apr 27, 2022Updated 3 years ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- Monad and comonad transformers☆71Jul 10, 2024Updated last year
- Type class and functions for working with newtypes☆15Sep 3, 2022Updated 3 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- A wrapper for Node's Stream API☆19Jan 26, 2025Updated last year
- A very simple library for dealing with nulls in foreign libraries☆23Apr 27, 2022Updated 3 years ago
- Functions and bitwise operators for the Int numeric type☆18Oct 8, 2023Updated 2 years ago
- Polymorphic variants for PureScript☆133Jun 28, 2023Updated 2 years ago
- The Effect monad, for handling native side effects☆52Sep 17, 2022Updated 3 years ago
- Computations which can suspend their execution and return control to their invoker☆36Oct 27, 2022Updated 3 years ago
- Types and functions for dealing with JavaScript options objects☆20Apr 27, 2022Updated 3 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Aug 24, 2023Updated 2 years ago
- Idris style sized vectors in PureScript☆18Jan 5, 2021Updated 5 years ago
- The ST effect, for safe local mutation☆25Oct 1, 2022Updated 3 years ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated last month
- PureScript packages for Spago and Psc-Package☆193Feb 21, 2026Updated 3 weeks ago