Module Applicative.MakeSource

Parameters

module A : Basic

Signature

val return : 'a -> 'a A.t
val map : 'a A.t -> f:('a -> 'b) -> 'b A.t
val both : 'a A.t -> 'b A.t -> ('a * 'b) A.t
Sourceval all : 'a A.t list -> 'a list A.t
Sourcemodule O : sig ... end