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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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☆11Oct 27, 2022Updated 3 years ago
- Exception effects☆16Jun 30, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 5 years ago
- Const data type and typeclass instances☆12Apr 27, 2022Updated 4 years ago
- Classes for foldable and traversable data structures☆52Oct 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
- A generic non-empty data structure☆17Apr 27, 2022Updated 4 years ago
- Functor products, coproducts, and composition☆14Apr 27, 2022Updated 4 years ago
- A type class which captures stack-safe monadic tail recursion☆39May 17, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Formatting and printing for numeric and date/time/interval values☆41Apr 8, 2023Updated 3 years ago
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- Identity value☆10Apr 27, 2022Updated 4 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 27, 2022Updated 3 years ago
- String utility functions, Char type, regular expressions.☆56Apr 10, 2026Updated 2 weeks ago
- Unfoldable functors☆16Apr 27, 2022Updated 4 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Apr 27, 2022Updated 4 years ago
- Pure profunctor lenses☆147Sep 18, 2024Updated last year
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Monad and comonad transformers☆72Jul 10, 2024Updated last year
- Type class and functions for working with newtypes☆16Sep 3, 2022Updated 3 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 4 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 4 years ago
- Functions and bitwise operators for the Int numeric type☆18Oct 8, 2023Updated 2 years ago
- Polymorphic variants for PureScript☆135Jun 28, 2023Updated 2 years ago
- Computations which can suspend their execution and return control to their invoker☆36Oct 27, 2022Updated 3 years ago
- The Effect monad, for handling native side effects☆53Sep 17, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Types and functions for dealing with JavaScript options objects☆20Apr 27, 2022Updated 4 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 4 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☆26Oct 1, 2022Updated 3 years ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated 3 months ago
- PureScript packages for Spago and Psc-Package☆193Apr 18, 2026Updated last week