MattWindsor91 / travesty

Haskell-style container traversability and state monads for Core
https://MattWindsor91.github.io/travesty
MIT License
10 stars 1 forks source link

Generalise field/variant helpers to S1 traversals #7

Open MattWindsor91 opened 5 years ago

MattWindsor91 commented 5 years ago

Currently, if memory serves correctly, the various helpers in the functor Travesty.Traversable.Helpers only work with S0 traversables, which is somewhat restrictive. I know of at least one instance in act where we need to construct S1 traversables and where a S1 helper set would help.