Bitraversable Lemmas

Main definitions

• tfst - traverse on first functor argument
• tsnd - traverse on second functor argument

Lemmas

Combination of

• bitraverse
• tfst
• tsnd

with the applicatives id and comp

References

• Hackage: https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Bitraversable.html

Tags

traversable bitraversable functor bifunctor applicative