Closed treeowl closed 7 years ago
We morally have
Representable f :- FunctorWithIndex (Rep f) f
imapRep provides a default definition of imap for Representable functors.
imapRep
imap
Representable
:+1:
We morally have
imapRep
provides a default definition ofimap
forRepresentable
functors.