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-contravariant
  Contravariant functors
  ☆10Updated 2 years ago
• purescript-contrib / purescript-now
  Effect type and functions for accessing the current machine's date and time.
  ☆20Updated 2 years ago
• purescript / purescript-exceptions
  Exception effects
  ☆16Updated 9 months ago
• purescript / purescript-newtype
  Type class and functions for working with newtypes
  ☆15Updated 2 years ago
• purescript / purescript-const
  Const data type and typeclass instances
  ☆12Updated 2 years ago
• purescript / purescript-st
  The ST effect, for safe local mutation
  ☆25Updated 2 years ago
• purescript / purescript-maybe
  Optional values
  ☆18Updated 2 years ago
• purescript-contrib / purescript-nullable
  A very simple library for dealing with nulls in foreign libraries
  ☆23Updated 2 years ago
• purescript / purescript-safe-coerce
  Library support for the compiler-builtin Coercible type class.
  ☆20Updated 2 years ago
• purescript / purescript-functors
  Functor products, coproducts, and composition
  ☆13Updated 2 years ago
• purescript / purescript-minibench
  A minimal benchmarking library
  ☆14Updated 2 years ago
• purescript / purescript-typelevel-prelude
  Types and kinds for basic type-level programming
  ☆64Updated 6 months ago
• purescript-contrib / purescript-avar
  Low-level interface for asynchronous variables
  ☆16Updated 2 months ago
• purescript / purescript-partial
  Utilities for working with partial functions
  ☆14Updated 2 years ago
• purescript / purescript-identity
  Identity value
  ☆10Updated 2 years ago
• anttih / purescript-selective
  Selective applicative functors
  ☆15Updated 6 years ago
• purescript / purescript-enums
  Operations for sequentially ordered types
  ☆11Updated 2 years ago
• purescript / purescript-unfoldable
  Unfoldable functors
  ☆16Updated 2 years ago
• purescript / purescript-profunctor
  Profunctor type classes and data structures
  ☆33Updated last year
• purescript / purescript-nonempty
  A generic non-empty data structure
  ☆17Updated 2 years ago
• purescript / purescript-graphs
  Purely functional graph data structure
  ☆24Updated 2 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 2 years ago
• csicar / purescript-dotlang
  DotLang datatypes for purescript
  ☆12Updated 2 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆19Updated 6 years ago
• purescript-deprecated / purescript-symbols
  ☆12Updated 4 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 2 years ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆23Updated 4 years ago
• purescript / purescript-either
  Values with two possibilities
  ☆27Updated 2 years ago
• garyb / purescript-indexed-monad
  ☆21Updated 2 years ago