purescript / purescript-type-equality
Type equality constraints
See what the GitHub community is most excited about today.
Type equality constraints
Classes for parallel composition and racing of asynchronous computations
Catenable lists
Linked Lists
A type class which captures stack-safe monadic tail recursion
Bifunctors and biapplicatives
Values with two possibilities
Types and kinds for basic type-level programming
Tuple data type and utility functions
Random number generation
Optional values
Type class and functions for working with newtypes
Invariant functors
A type class for random generator implementations.
Identity value
Existential types as a library
Functor products, coproducts, and composition
Const data type and typeclass instances
Contravariant functors
Low-level interface for asynchronous variables
Support module for the PSCI interactive mode
Monad and comonad transformers
Distributive typeclass
A generic non-empty data structure
The ST effect, for safe local mutation