purescript / purescript-contravariant
Contravariant functors
☆10Updated last year
Related projects: ⓘ
- Identity value☆10Updated 2 years ago
- Exception effects☆16Updated 2 months ago
- Optional values☆18Updated 2 years ago
- Const data type and typeclass instances☆12Updated 2 years ago
- Type equality constraints☆16Updated 2 years ago
- The ST effect, for safe local mutation☆25Updated last year
- 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
- Existential types as a library☆34Updated last year
- A minimal benchmarking library☆14Updated last year
- Types and kinds for basic type-level programming☆63Updated last year
- A generic non-empty data structure☆17Updated 2 years ago
- Low-level interface for asynchronous variables☆16Updated 11 months ago
- ☆21Updated last year
- Types for the least and greatest fixed points of functors.☆15Updated 2 years ago
- Bifunctors and biapplicatives☆12Updated 4 months ago
- A huge number library for Purescript with emphasis on correctness.☆12Updated 2 years ago
- A very simple library for dealing with nulls in foreign libraries☆23Updated 2 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 2 years ago
- Just a little spec(k).☆16Updated 2 years ago
- Library support for the compiler-builtin Coercible type class.☆19Updated 2 years ago
- Unfoldable functors☆15Updated 2 years ago
- Utilities for working with partial functions☆14Updated 2 years ago
- Functor products, coproducts, and composition☆13Updated 2 years ago
- Aff wrappers for purescript-node-fs☆21Updated last year
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Updated 4 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Updated 2 years ago
- Profunctor type classes and data structures☆33Updated 6 months ago
- Purescript refinement types with runtime checking☆26Updated 2 years ago
- Free monad transformers☆20Updated 2 years ago