package accessor

You can search for identifiers within the package.

in-package search v0.2.0

accessor
- Accessor
  - Applicative
    
    S
    
    S2
    
    S3
  - Applicative_without_return
    
    S
    
    S2
    
    S3
  - Constructor
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Equality
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Field
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Functor
    
    S
    
    S2
    
    S3
  - General
  - Getter
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Identical
  - Index
  - Indexed
  - Isomorphism
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Many
    
    Accessed
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Accessor
    
    Applicative_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
    
    Of_applicative
    
    A
    
    Of_applicative2
    
    A
    
    Of_applicative3
    
    A
    
    Open_on_rhs_intf
    
    S
  - Many_getter
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
    
    Monad_infix
    
    O
  - Mapper
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Monad
    
    S
    
    S2
    
    S3
  - Monad_without_return
    
    S
    
    S2
    
    S3
  - Nonempty
    
    Accessed
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Accessor
    
    Applicative_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
    
    Of_applicative_without_return
    
    A
    
    Of_applicative_without_return2
    
    A
    
    Of_applicative_without_return3
    
    A
  - Nonempty_getter
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
    
    Monad_infix
    
    O
  - O
  - Of_applicative
    
    A
  - Of_applicative2
    
    A
  - Of_applicative3
    
    A
  - Of_applicative_without_return
    
    A
  - Of_applicative_without_return2
    
    A
  - Of_applicative_without_return3
    
    A
  - Of_functor
    
    F
  - Of_functor2
    
    F
  - Of_functor3
    
    F
  - Of_monad
    
    M
  - Of_monad2
    
    M
  - Of_monad3
    
    M
  - Of_monad_without_return
    
    A
  - Of_monad_without_return2
    
    A
  - Of_monad_without_return3
    
    A
  - Optional
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Optional_getter
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
  - Subtyping
  - Variant
    
    Make_access
    
    T
    
    Make_access3
    
    T
    
    Make_access4
    
    T
accessor.applicative_without_return
- Applicative_without_return
  - Basic
  - Basic2
  - Basic3
  - Make
    
    Applicative_infix
    
    B
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - Make2
    
    Applicative_infix
    
    B
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - Make3
    
    Applicative_infix
    
    B
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - S
    
    Applicative_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - S2
    
    Applicative_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - S2_without_let_syntax
    
    Applicative_infix
  - S3
    
    Applicative_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
  - S3_without_let_syntax
    
    Applicative_infix
  - S_without_let_syntax
    
    Applicative_infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ('a, +'x, 'y) t

An (a, x, y) t is an applicative for defining many accessors. See the documentation of Accessor.many for more information.

A value of type (a, x, y) t can make the following claim: I can give you some number of xes and if you tell me how to replace each of them with a y, I will also give you an a.

module Accessed : 
  Base.Monad.S_indexed with type ('x, 'a, 'y) t := ('a, 'x, 'y) t

The same as S except the monad type has three arguments. The second and third are composed across all computation.

val access : 'a -> ('b, 'a, 'b) t

access a "accesses" a and returns the value you are expected replace it with.

val of_nonempty : ('a, 'x, 'y) Nonempty.t -> ('a, 'x, 'y) t

module Of_applicative (A : sig ... end) : sig ... end

module Of_applicative2 (A : sig ... end) : sig ... end

module Of_applicative3 (A : sig ... end) : sig ... end

module Open_on_rhs_intf : sig ... end

include Base.Applicative.S3 with type ('a, 'b, 'c) t := ('a, 'b, 'c) t

val return : 'a -> ('a, _, _) t

val map : ('a, 'd, 'e) t -> f:('a -> 'b) -> ('b, 'd, 'e) t

val both : ('a, 'd, 'e) t -> ('b, 'd, 'e) t -> ('a * 'b, 'd, 'e) t

val (<*>) : ('a -> 'b, 'd, 'e) t -> ('a, 'd, 'e) t -> ('b, 'd, 'e) t

val (<*) : ('a, 'd, 'e) t -> (unit, 'd, 'e) t -> ('a, 'd, 'e) t

val (*>) : (unit, 'd, 'e) t -> ('a, 'd, 'e) t -> ('a, 'd, 'e) t

val (>>|) : ('a, 'd, 'e) t -> ('a -> 'b) -> ('b, 'd, 'e) t

val apply : ('a -> 'b, 'd, 'e) t -> ('a, 'd, 'e) t -> ('b, 'd, 'e) t

val map2 : 
  ('a, 'd, 'e) t ->
  ('b, 'd, 'e) t ->
  f:('a -> 'b -> 'c) ->
  ('c, 'd, 'e) t

val map3 : 
  ('a, 'd, 'e) t ->
  ('b, 'd, 'e) t ->
  ('c, 'd, 'e) t ->
  f:('a -> 'b -> 'c -> 'result) ->
  ('result, 'd, 'e) t

val all : ('a, 'd, 'e) t list -> ('a list, 'd, 'e) t

val all_unit : (unit, 'd, 'e) t list -> (unit, 'd, 'e) t

module Applicative_infix : sig ... end

include Base.Applicative.Let_syntax3
  with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
  with module Open_on_rhs_intf := Open_on_rhs_intf

val access_many : 
  (Base.unit -> 'a -> 'b, Base.unit -> 'at -> 'bt, [> Subtyping.many ])
    General.t ->
  'at ->
  ('bt, 'a, 'b) t

Access everything that the given accessor accesses.

module Let_syntax : sig ... end

module Accessor : sig ... end

module Make_access (T : sig ... end) : sig ... end

module Make_access3 (T : sig ... end) : sig ... end

module Make_access4 (T : sig ... end) : sig ... end