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☆12Oct 27, 2022Updated 3 years ago
- Exception effects☆16Jun 30, 2024Updated 2 years ago
- 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☆51Oct 9, 2023Updated 2 years ago
- Array utility functions☆58Feb 15, 2024Updated 2 years ago
- Call-by-need values☆30Jul 26, 2022Updated 4 years ago
- Profunctor type classes and data structures☆34Mar 7, 2024Updated 2 years ago
- Functor products, coproducts, and composition☆14Apr 27, 2022Updated 4 years ago
- A generic non-empty data structure☆17Apr 27, 2022Updated 4 years ago
- Formatting and printing for numeric and date/time/interval values☆41Apr 8, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- String utility functions, Char type, regular expressions.☆57Apr 10, 2026Updated 3 months ago
- A type class which captures stack-safe monadic tail recursion☆39May 17, 2022Updated 4 years ago
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- Identity value☆10Apr 27, 2022Updated 4 years ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 27, 2022Updated 3 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
- Unfoldable functors☆16Apr 27, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Monad and comonad transformers☆72Jul 10, 2024Updated 2 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 4 years ago
- Type class and functions for working with newtypes☆16Sep 3, 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 4 years ago
- Functions and bitwise operators for the Int numeric type☆18Oct 8, 2023Updated 2 years ago
- Polymorphic variants for PureScript☆136Jun 28, 2023Updated 3 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☆54Sep 17, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Types and functions for dealing with JavaScript options objects☆20Apr 27, 2022Updated 4 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Aug 24, 2023Updated 2 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 4 years ago
- Idris style sized vectors in PureScript☆18Jan 5, 2021Updated 5 years ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated 6 months ago
- The ST effect, for safe local mutation☆26Oct 1, 2022Updated 3 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 2022Updated 3 years ago