README
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', '✅', '✅', '✅', '❌' ]