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-exceptions
  Exception effects
  ☆16Updated last year
• purescript / purescript-newtype
  Type class and functions for working with newtypes
  ☆15Updated 3 years ago
• purescript / purescript-functors
  Functor products, coproducts, and composition
  ☆13Updated 3 years ago
• purescript / purescript-const
  Const data type and typeclass instances
  ☆12Updated 3 years ago
• purescript / purescript-contravariant
  Contravariant functors
  ☆10Updated 2 years ago
• purescript / purescript-st
  The ST effect, for safe local mutation
  ☆25Updated 3 years ago
• purescript / purescript-typelevel-prelude
  Types and kinds for basic type-level programming
  ☆64Updated last year
• purescript / purescript-partial
  Utilities for working with partial functions
  ☆14Updated 3 years ago
• purescript / purescript-identity
  Identity value
  ☆10Updated 3 years ago
• purescript / purescript-profunctor
  Profunctor type classes and data structures
  ☆34Updated last year
• purescript / purescript-maybe
  Optional values
  ☆18Updated 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-either
  Values with two possibilities
  ☆27Updated 3 years ago
• purescript / purescript-safe-coerce
  Library support for the compiler-builtin Coercible type class.
  ☆20Updated 3 years ago
• purescript / purescript-bifunctors
  Bifunctors and biapplicatives
  ☆12Updated 6 months ago
• purescript-contrib / purescript-nullable
  A very simple library for dealing with nulls in foreign libraries
  ☆23Updated 3 years ago
• purescript / purescript-minibench
  A minimal benchmarking library
  ☆14Updated 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 2 years ago
• purescript / purescript-tailrec
  A type class which captures stack-safe monadic tail recursion
  ☆38Updated 3 years ago
• purescript / purescript-unfoldable
  Unfoldable functors
  ☆16Updated 3 years ago
• purescript / purescript-graphs
  Purely functional graph data structure
  ☆24Updated 3 years ago
• purescript / purescript-filterable
  Classes for filterable and witherable data structures
  ☆24Updated 3 years ago
• purescript / purescript-record
  Functions for working with records and polymorphic labels
  ☆68Updated last year
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated 2 years ago
• purescript-contrib / purescript-js-date
  JavaScript's native date type and corresponding functions.
  ☆15Updated 3 years ago
• purescript / purescript-lazy
  Call-by-need values
  ☆30Updated 3 years ago
• purescript / purescript-foreign-object
  Functions for working with homogeneous JavaScript objects
  ☆28Updated 2 years ago
• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 5 years ago