Data.Traversable

Definitions

mapDefault : Traversable t => (a -> b) -> t a -> t b

Visibility: public export

foldrDefault : Traversable t => (a -> acc -> acc) -> acc -> t a -> acc

Visibility: public export