Base_extension (p.soteria.0.2.3.doc.soteria.Soteria.Symex.Base

Parameters

module Core : Core

include sig ... end

type 'a t = 'a Core.t

val return : 'a -> 'a t

val bind : ('a -> 'b t) -> 'a t -> 'b t

val map : ('a -> 'b) -> 'a t -> 'b t

val fold : 
  (module M : Soteria_std.Sigs.Foldable)
  ->
  'elem M.t ->
  init:'a ->
  f:('a -> 'elem -> 'a t) ->
  'a t

val fold_list : 'elem list -> init:'a -> f:('a -> 'elem -> 'a t) -> 'a t

val fold_iter : 'elem Iter.t -> init:'a -> f:('a -> 'elem -> 'a t) -> 'a t

val iter : 
  (module M : Soteria_std.Sigs.Foldable)
  ->
  'elem M.t ->
  f:('elem -> unit t) ->
  unit t

val iter_list : 'elem list -> f:('elem -> unit t) -> unit t

val iter_iter : 'elem Iter.t -> f:('elem -> unit t) -> unit t

val map_m : 
  (module M : Soteria_std.Sigs.Foldable)
  ->
  'elem M.t ->
  f:('elem -> 'a t) ->
  'a list t

val map_list : 'elem list -> f:('elem -> 'a t) -> 'a list t

val map_iter : 'elem Iter.t -> f:('elem -> 'a t) -> 'a list t

val assert_or_error : 
  Core.Value.sbool Core.Value.t ->
  'a ->
  (unit, 'a, 'b) Soteria.Soteria_std.Compo_res.t Core.t

val some_or_give_up : string -> 'a option -> 'a t

module Result : sig ... end

module Syntax : sig ... end

module Producer : sig ... end

module Consumer : sig ... end