package prbnmcn-dagger

  1. Overview
  2. Docs

Abstract foldable containers

type 'a t
type 'a m
val fold : ('a -> 'b -> 'a m) -> 'a -> 'b t -> 'a m
val iter : ('a -> unit m) -> 'a t -> unit m