purescript / purescript-type-equalityLinks
Type equality constraints
☆16Updated 3 years ago
Alternatives and similar repositories for purescript-type-equality
Users that are interested in purescript-type-equality are comparing it to the libraries listed below
Sorting:
- Existential types as a library☆34Updated 2 years ago
- Type class and functions for working with newtypes☆15Updated 2 years ago
- Exception effects☆16Updated last year
- Contravariant functors☆10Updated 2 years ago
- The ST effect, for safe local mutation☆25Updated 2 years ago
- Types and kinds for basic type-level programming☆64Updated 10 months ago
- Functor products, coproducts, and composition☆13Updated 3 years ago
- Utilities for working with partial functions☆14Updated 3 years ago
- Const data type and typeclass instances☆12Updated 3 years ago
- Identity value☆10Updated 3 years ago
- Profunctor type classes and data structures☆34Updated last year
- Optional values☆18Updated 2 years ago
- Effect type and functions for accessing the current machine's date and time.☆20Updated 3 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- Values with two possibilities☆27Updated 2 years ago
- Library support for the compiler-builtin Coercible type class.☆20Updated 3 years ago
- A type class which captures stack-safe monadic tail recursion☆38Updated 3 years ago
- A very simple library for dealing with nulls in foreign libraries☆23Updated 3 years ago
- A minimal benchmarking library☆14Updated 2 years ago
- Unfoldable functors☆16Updated 3 years ago
- Aff wrappers for purescript-node-fs☆21Updated 2 years ago
- Project Homepage☆36Updated 5 months ago
- Functions for working with records and polymorphic labels☆68Updated last year
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Updated 5 years ago
- The Event type, extracted from purescript-behaviors☆22Updated 4 years ago
- Bifunctors and biapplicatives☆12Updated 3 months ago
- Purely functional graph data structure☆24Updated 3 years ago
- Computations which can suspend their execution and return control to their invoker☆36Updated 2 years ago
- A generic non-empty data structure☆17Updated 3 years ago