package core_extended

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Core.Monad.S

Signature

val subst : ('b, 'e, 'c) t -> f:('b -> ('b, 'e, 'c) t M.t) -> ('b, 'e, 'c) t M.t
val map : ('b, 'e, 'c) t -> f:('b -> 'b M.t) -> ('b, 'e, 'c) t M.t
val specialize : ('b, 'e, 'c) t -> f:('b -> ('e, 'c) Core.Set.t option M.t) -> ('b, 'e, 'c) t M.t
val eval : ('b, 'e, 'c) t -> f:('b -> ('e, 'c) Core.Set.t M.t) -> ('e, 'c) Core.Set.t M.t
OCaml

Innovation. Community. Security.