purescript / purescript-exists
Existential types as a library
☆34Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for purescript-exists
- Type equality constraints☆16Updated 2 years ago
- Contravariant functors☆10Updated 2 years ago
- Effect type and functions for accessing the current machine's date and time.☆19Updated 2 years ago
- Type class and functions for working with newtypes☆15Updated 2 years ago
- Types and kinds for basic type-level programming☆63Updated last month
- Low-level interface for asynchronous variables☆16Updated last year
- Utilities for working with partial functions☆14Updated 2 years ago
- A very simple library for dealing with nulls in foreign libraries☆23Updated 2 years ago
- Profunctor type classes and data structures☆33Updated 8 months ago
- The ST effect, for safe local mutation☆25Updated 2 years ago
- Purescript refinement types with runtime checking☆26Updated 2 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Library support for the compiler-builtin Coercible type class.☆19Updated 2 years ago
- Classes for filterable and witherable data structures☆25Updated 2 years ago
- Fast, hash-based, immutable collections.☆24Updated 8 months ago
- Exception effects☆16Updated 4 months ago
- Selective applicative functors☆15Updated 6 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆33Updated 2 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Updated 2 years ago
- A minimal benchmarking library☆14Updated 2 years ago
- A generic non-empty data structure☆17Updated 2 years ago
- Optional values☆18Updated 2 years ago
- The Event type, extracted from purescript-behaviors☆23Updated 3 years ago
- DotLang datatypes for purescript☆12Updated last year
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Updated 4 years ago
- Identity value☆10Updated 2 years ago
- Search frontend for the documentation generated by the PureScript compiler☆24Updated 3 months ago
- Computations which can suspend their execution and return control to their invoker☆38Updated 2 years ago
- a servant like DSL for templating requests☆15Updated 3 years ago
- ☆22Updated 4 months ago