package accessor_base

You can search for identifiers within the package.

in-package search v0.2.0

accessor_base
- Accessor_base
  - Bool
  - Either
    
    First
    
    Index
    
    Second
  - Error
  - Float
  - Fn
  - Info
  - Int
  - List
  - Map
  - Maybe_bound
  - Option
  - Or_error
  - Ordering
  - Result
  - Sequence
    
    Generator
  - Set
  - Sexp
  - Sign
  - Sign_or_nan
  - Source_code_position
  - Staged
  - String
  - Tuple2
    
    Fst
    
    Snd

Legend:
Library
Module
Module type
Parameter
Class
Class type

include sig ... end

val ok : 
  ('a ->
    'b ->
    'c,
    'a ->
    ('b, 'd) Base.Result.t ->
    ('c, 'd) Base.Result.t,
    [< Accessor.variant ])
    Accessor.t

val error : 
  ('a ->
    'b ->
    'c,
    'a ->
    ('d, 'b) Base.Result.t ->
    ('d, 'c) Base.Result.t,
    [< Accessor.variant ])
    Accessor.t

include Accessor.Monad.S2 with type ('a, 'e) t := ('a, 'e) Base.Result.t

val map : 
  ?how:[ `Parallel | `Sequential ] ->
  (Base.unit ->
    'a ->
    'b,
    Base.unit ->
    'at ->
    'bt,
    [> Accessor.Subtyping.many ])
    Accessor.t ->
  'at ->
  f:('a -> ('b, 'e) Base.Result.t) ->
  ('bt, 'e) Base.Result.t

val mapi : 
  ?how:[ `Parallel | `Sequential ] ->
  ('i -> 'a -> 'b, Base.unit -> 'at -> 'bt, [> Accessor.Subtyping.many ])
    Accessor.t ->
  'at ->
  f:('i Accessor.Index.t -> 'a -> ('b, 'e) Base.Result.t) ->
  ('bt, 'e) Base.Result.t

val all : 
  (Base.unit ->
    ('a, 'e) Base.Result.t ->
    'a,
    Base.unit ->
    'at ->
    'bt,
    [> Accessor.Subtyping.many ])
    Accessor.t ->
  'at ->
  ('bt, 'e) Base.Result.t

val all_unit : 
  (Base.unit ->
    (Base.unit, 'e) Base.Result.t ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  (Base.unit, 'e) Base.Result.t

val iter : 
  ?how:[ `Parallel | `Sequential ] ->
  (Base.unit ->
    'a ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  f:('a -> (Base.unit, 'e) Base.Result.t) ->
  (Base.unit, 'e) Base.Result.t

val iteri : 
  ?how:[ `Parallel | `Sequential ] ->
  ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  f:('i Accessor.Index.t -> 'a -> (Base.unit, 'e) Base.Result.t) ->
  (Base.unit, 'e) Base.Result.t

val sum : 
  ?how:[ `Parallel | `Sequential ] ->
  (module Base.Container.Summable with type t = 'sum) ->
  (Base.unit ->
    'a ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  f:('a -> ('sum, 'e) Base.Result.t) ->
  ('sum, 'e) Base.Result.t

val sumi : 
  ?how:[ `Parallel | `Sequential ] ->
  (module Base.Container.Summable with type t = 'sum) ->
  ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  f:('i Accessor.Index.t -> 'a -> ('sum, 'e) Base.Result.t) ->
  ('sum, 'e) Base.Result.t

val count : 
  ?how:[ `Parallel | `Sequential ] ->
  (Base.unit ->
    'a ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  f:('a -> (Base.bool, 'e) Base.Result.t) ->
  (Base.int, 'e) Base.Result.t

val counti : 
  ?how:[ `Parallel | `Sequential ] ->
  ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  f:('i Accessor.Index.t -> 'a -> (Base.bool, 'e) Base.Result.t) ->
  (Base.int, 'e) Base.Result.t

val map_reduce : 
  ?how:[ `Parallel | `Sequential ] ->
  (Base.unit ->
    'a ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  empty:'b ->
  combine:('b -> 'b -> 'b) ->
  f:('a -> ('b, 'e) Base.Result.t) ->
  ('b, 'e) Base.Result.t

val map_reducei : 
  ?how:[ `Parallel | `Sequential ] ->
  ('i -> 'a -> _, Base.unit -> 'at -> _, [> Accessor.Subtyping.many_getter ])
    Accessor.t ->
  'at ->
  empty:'b ->
  combine:('b -> 'b -> 'b) ->
  f:('i Accessor.Index.t -> 'a -> ('b, 'e) Base.Result.t) ->
  ('b, 'e) Base.Result.t

val map_reduce_nonempty : 
  ?how:[ `Parallel | `Sequential ] ->
  (Base.unit ->
    'a ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.nonempty_getter ])
    Accessor.t ->
  'at ->
  combine:('b -> 'b -> 'b) ->
  f:('a -> ('b, 'e) Base.Result.t) ->
  ('b, 'e) Base.Result.t

val map_reduce_nonemptyi : 
  ?how:[ `Parallel | `Sequential ] ->
  ('i ->
    'a ->
    _,
    Base.unit ->
    'at ->
    _,
    [> Accessor.Subtyping.nonempty_getter ])
    Accessor.t ->
  'at ->
  combine:('b -> 'b -> 'b) ->
  f:('i Accessor.Index.t -> 'a -> ('b, 'e) Base.Result.t) ->
  ('b, 'e) Base.Result.t