package accessor_base

You can search for identifiers within the package.

in-package search v0.2.0

accessor_base
- Library accessor_base
  - Accessor_base
    
    General
    
    O
    
    Index
    
    Indexed
    
    Subtyping
    
    Functor
    
    Applicative
    
    Applicative_without_return
    
    Monad
    
    Monad_without_return
    
    Of_functor
    
    Of_functor2
    
    Of_functor3
    
    Of_applicative
    
    Of_applicative2
    
    Of_applicative3
    
    Of_monad
    
    Of_monad2
    
    Of_monad3
    
    Of_applicative_without_return
    
    Of_applicative_without_return2
    
    Of_applicative_without_return3
    
    Of_monad_without_return
    
    Of_monad_without_return2
    
    Of_monad_without_return3
    
    Identical
    
    Equality
    
    Isomorphism
    
    Field
    
    Variant
    
    Constructor
    
    Getter
    
    Optional
    
    Optional_getter
    
    Nonempty
    
    Nonempty_getter
    
    Many
    
    Many_getter
    
    Mapper
    
    Bool
    
    Either
    
    Index
    
    First
    
    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
- Sources
  - accessor_base
    
    accessor_base.ml
    
    accessor_base__.ml
    
    accessor_bool.ml
    
    accessor_either.ml
    
    accessor_error.ml
    
    accessor_float.ml
    
    accessor_fn.ml
    
    accessor_info.ml
    
    accessor_int.ml
    
    accessor_list.ml
    
    accessor_map.ml
    
    accessor_maybe_bound.ml
    
    accessor_option.ml
    
    accessor_or_error.ml
    
    accessor_ordering.ml
    
    accessor_result.ml
    
    accessor_sequence.ml
    
    accessor_set.ml
    
    accessor_sexp.ml
    
    accessor_sign.ml
    
    accessor_sign_or_nan.ml
    
    accessor_source_code_position.ml
    
    accessor_staged.ml
    
    accessor_string.ml
    
    accessor_tuple2.ml
    
    import.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Accessor_base.Result`Source

include sig ... end

Source

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

Source

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

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

package accessor_base

Module Accessor_base.ResultSource

Module `Accessor_base.Result`Source