search

ekmett / profunctors

Haskell 98 Profunctors
http://hackage.haskell.org/package/profunctors
Other
70 stars 43 forks source link

Procompose is Traversing and Mapping #53

Closed Zemyla closed 7 years ago

Zemyla commented 7 years ago 
instance (Traversing p, Traversing q) => Traversing (Procompose p q) where
    traverse' (Procompose p q) = Procompose (traverse' p) (traverse' q)

instance (Mapping p, Mapping q) => Mapping (Procompose p q) where
    map' (Procompose p q) = Procompose (map' p) (map' q)

I wish I could figure out a solution in terms of wander, though.