Data.Bitraversable

Definitions

bimapDefault : Bitraversable p => (a -> c) -> (b -> d) -> p a b -> p c d

Visibility: public export

bifoldrDefault : Bitraversable p => (a -> acc -> acc) -> (b -> acc -> acc) -> acc -> p a b -> acc

Visibility: public export