purescript / purescript-typelevel-preludeLinks
Types and kinds for basic type-level programming
☆64Updated 8 months ago
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:
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Values with two possibilities☆27Updated 2 years ago
- Existential types as a library☆34Updated 2 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Functions for working with records and polymorphic labels☆68Updated last year
- A very simple library for dealing with nulls in foreign libraries☆23Updated 3 years ago
- Exception effects☆16Updated 11 months ago
- The ST effect, for safe local mutation☆25Updated 2 years ago
- Optional values☆18Updated 2 years ago
- Formatting and printing for numeric and date/time/interval values☆40Updated 2 years ago
- A generic non-empty data structure☆17Updated 3 years ago
- Classes for filterable and witherable data structures☆25Updated 3 years ago
- The Effect monad, for handling native side effects☆52Updated 2 years ago
- Type class and functions for working with newtypes☆15Updated 2 years ago
- Basic assertions library for low level testing☆16Updated 3 years ago
- Monad and comonad transformers☆71Updated 10 months ago
- ☆21Updated 2 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- The Event type, extracted from purescript-behaviors☆23Updated 4 years ago
- Profunctor type classes and data structures☆34Updated last year
- Contravariant functors☆10Updated 2 years ago
- Date and time library for PureScript.☆49Updated 2 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆32Updated last year
- Linked Lists☆59Updated last year
- Classes for parallel composition and racing of asynchronous computations☆43Updated last year
- Mutable value references☆21Updated 3 years ago
- Computations which can suspend their execution and return control to their invoker☆37Updated 2 years ago
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Updated 3 years ago
- Purely functional graph data structure☆24Updated 2 years ago