purescript-indexed-monad

purescript-indexed-monad copied to clipboard

Something simple like ```purescript module Data.Indexed.NaturalTransformation where type IndexedNaturalTransformation m n = forall x y a. m x y a -> n x y a infixr 4 type IndexedNaturalTransformation as...

JordanMartinez

Indexed Monad Transformer?

6

Should such a thing be in its own library? Or would it be worth it to include it here?

JordanMartinez

Separate IxEff/IxAff to own libraries

2

I'm using this library in a situation where Aff becomes problematic. Would it make sense to separate the Eff and Aff stuff to their own libraries?

owickstrom

This is more me needing help, than issues with the library, I think. :) `Middleware` is like a `StateT` monad, but with it's state transition indexed. ```purescript newtype Middleware m...

owickstrom

https://github.com/srijs/purescript-indexed

rvion