Sanctuary ADT Matrix

Usage:

$ npx sanctuary-adt-matrix

Type Class	Pair	Maybe	Either	Future
Setoid	✅	✅	✅	❌
Ord	✅	✅	✅	❌
Semigroupoid	✅	❌	❌	❌
Category	❌	❌	❌	❌
Semigroup	✅	✅	✅	❌
Monoid	❌	✅	❌	❌
Group	❌	❌	❌	❌
Filterable	❌	✅	❌	❌
Functor	✅	✅	✅	✅
Bifunctor	✅	❌	✅	✅
Profunctor	❌	❌	❌	❌
Apply	✅	✅	✅	✅
Applicative	❌	✅	✅	✅
Chain	✅	✅	✅	✅
ChainRec	❌	✅	✅	✅
Monad	❌	✅	✅	✅
Alt	❌	✅	✅	✅
Plus	❌	✅	❌	❌
Alternative	❌	✅	❌	❌
Foldable	✅	✅	✅	❌
Traversable	✅	✅	✅	❌
Extend	✅	✅	✅	❌
Comonad	✅	❌	❌	❌
Contravariant	❌	❌	❌	❌

Using the matrix API

Test Sanctuary's Algebraic Data Types (ADT) for Type Class support.

The API is unstable and will probably change between minor versions.

const { adts, typeClassTests } = require ('sanctuary-adt-matrix');

// adts :: Array (Array (String Adt))
[
  ['Pair'  , Adt],
  ['Maybe' , Adt],
  ['Either', Adt],
  ['Future', Adt]
]

// typeClassTests :: Array (Array (String Adt) -> Array (String))
typeClassTests [0] (adts) // -> [ 'Setoid', '✅', '✅', '✅', '❌' ]