package traverse

  1. Overview
  2. Docs

Module Option.MakeSource

Parameters

Signature

Sourceval traverse_none : 'a 'f 'result 'is_empty. ('a Applicative.t, 'a Stdcompat.Option.t Applicative.t, 'f, 'result, 'is_empty) Arity.t -> 'result
Sourceval traverse_some : 'a 'f 'result 'is_empty. ('a Applicative.t, 'a Stdcompat.Option.t Applicative.t, 'f, 'result, 'is_empty) Arity.t -> 'f -> 'result
Sourceval traverse : 'a 'f 'result. ('a Applicative.t, 'a Stdcompat.Option.t Applicative.t, 'f, 'result, [ `Not_empty ]) Arity.t -> 'f -> 'result