Alternatives and similar repositories for purescript-type-equality

Users that are interested in purescript-type-equality are comparing it to the libraries listed below

• purescript / purescript-exists
  Existential types as a library
  ☆34Updated 2 years ago
• purescript / purescript-st
  The ST effect, for safe local mutation
  ☆25Updated 3 years ago
• purescript / purescript-exceptions
  Exception effects
  ☆16Updated last year
• purescript / purescript-newtype
  Type class and functions for working with newtypes
  ☆15Updated 3 years ago
• purescript / purescript-typelevel-prelude
  Types and kinds for basic type-level programming
  ☆64Updated last year
• purescript / purescript-functors
  Functor products, coproducts, and composition
  ☆13Updated 3 years ago
• purescript / purescript-contravariant
  Contravariant functors
  ☆10Updated 2 years ago
• purescript / purescript-const
  Const data type and typeclass instances
  ☆12Updated 3 years ago
• purescript / purescript-maybe
  Optional values
  ☆18Updated 3 years ago
• purescript / purescript-profunctor
  Profunctor type classes and data structures
  ☆34Updated last year
• purescript / purescript-identity
  Identity value
  ☆10Updated 3 years ago
• purescript / purescript-partial
  Utilities for working with partial functions
  ☆14Updated 3 years ago
• purescript / purescript-safe-coerce
  Library support for the compiler-builtin Coercible type class.
  ☆20Updated 3 years ago
• purescript / purescript-either
  Values with two possibilities
  ☆27Updated 3 years ago
• purescript / purescript-unfoldable
  Unfoldable functors
  ☆16Updated 3 years ago
• purescript-contrib / purescript-now
  Effect type and functions for accessing the current machine's date and time.
  ☆20Updated 3 years ago
• purescript / purescript-minibench
  A minimal benchmarking library
  ☆14Updated 3 years ago
• purescript / purescript-tailrec
  A type class which captures stack-safe monadic tail recursion
  ☆38Updated 3 years ago
• purescript / purescript-nonempty
  A generic non-empty data structure
  ☆17Updated 3 years ago
• purescript / purescript-numbers
  Functions for working with PureScripts 'Number' type
  ☆13Updated last year
• purescript / purescript-foreign-object
  Functions for working with homogeneous JavaScript objects
  ☆28Updated 2 years ago
• purescript / purescript-graphs
  Purely functional graph data structure
  ☆24Updated 3 years ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆22Updated 4 years ago
• purescript / purescript-filterable
  Classes for filterable and witherable data structures
  ☆24Updated 3 years ago
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated 2 years ago
• purescript-contrib / purescript-nullable
  A very simple library for dealing with nulls in foreign libraries
  ☆23Updated 3 years ago
• purescript / purescript-bifunctors
  Bifunctors and biapplicatives
  ☆12Updated 5 months ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 3 years ago
• purescript / purescript-lazy
  Call-by-need values
  ☆30Updated 3 years ago
• purescript-contrib / purescript-avar
  Low-level interface for asynchronous variables
  ☆15Updated 7 months ago