purescript-indexed-monad icon indicating copy to clipboard operation
purescript-indexed-monad copied to clipboard

Published 20 hours ago • verified publisher icon garyb

Add Indexed version of a Natural Transformation

Open JordanMartinez opened this issue 6 years ago • 0 comments
trafficstars

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

JordanMartinez avatar Sep 17 '19 19:09 JordanMartinez