garyb / purescript-indexed-monad

MIT License
21 stars 11 forks source link

Add Indexed version of a Natural Transformation #22

Open JordanMartinez opened 5 years ago

JordanMartinez commented 5 years ago

Something simple like

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 ~~>