monoidal-functors

monoidal-functors copied to clipboard

solomon-b

Implements Traversable Phase 1 (Tupling)

1

Special thanks to @isovector for helping write this.

solomon-b

solomon-b

Some examples do work: ``` > cabal exec -- doctest -isrc -XLambdaCase -XUndecidableInstances -XFunctionalDependencies src/Control/Category/Cartesian.hs Warning: ignoring unrecognised input `.' Examples: 25 Tried: 25 Errors: 0 Failures: 0 ``` However,...

sordina

For example: ``` deriving via FromApplicative (Proxy :: Type -> Type) instance Semigroupal (->) (,) (,) (Proxy :: Type -> Type) deriving via FromDivisible (Proxy :: Type -> Type) instance...

solomon-b

There are many laws related to the classes in this library. It would be great to use QuickCheck to test them.

solomon-b