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 ('a, 'b) t

val constructor : ('b -> 'bt) -> ('a, 'b) t -> ('at, 'bt) t

A legal implementation of this function must satisfy the following properties:

constructor Fn.id = Fn.id

Fn.compose (construct f) (construct g) = construct (Fn.compose f g)