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
Math functions
A generic non-empty data structure
Functor products, coproducts, and composition
Exception effects
Date and time library for PureScript.
Classes for foldable and traversable data structures
Optional values
Monad and comonad transformers
Common control classes and utility functions
Contravariant functors
Functions for working with records and polymorphic labels
Mutable value references
String utility functions, Char type, regular expressions.
Invariant functors
Random number generation
Const data type and typeclass instances
Utilities for working with partial functions
Low-level interface for asynchronous variables
Library for dealing with foreign data (JavaScript objects) in PureScript
Catenable lists
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
Call-by-need values
Unsafe coercion of values
Tuple data type and utility functions