purescript / purescript-typelevel-prelude
Types and kinds for basic type-level programming
See what the GitHub community is most excited about today.
Types and kinds for basic type-level programming
An asynchronous effect monad for PureScript
Functions and bitwise operators for the Int numeric type
Unsafe coercion of values
Values with two possibilities
Function combinators and types for multi-argument functions
Identity value
Functor products, coproducts, and composition
Catenable lists
Classes for foldable and traversable data structures
Utilities for working with partial functions
Array utility functions
Bifunctors and biapplicatives
String utility functions, Char type, regular expressions.
Distributive typeclass
Exception effects
Console-related functions
Invariant functors
Operations for sequentially ordered types
Mutable value references
Unfoldable functors
A generic non-empty data structure
Type equality constraints
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
A type class for random generator implementations.