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
    
    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
    
    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 ('index, 'inner, 'outer, 'kind) t =
  (('inner_index * 'outer_index) ->
    'inner ->
    'inner,
    'outer_index ->
    'outer ->
    'outer,
    'kind)
    General.t constraint 'index = 'inner_index * 'outer_index

Accessors commonly don't need to support polymorphic updates, making General.t excessively verbose, but t is not useable for indexed accessors. In such cases, you can use Indexed.t to reduce some boilerplate.