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

val fst : 
  ('i ->
    'a ->
    'b,
    'i ->
    ('a * 'c) ->
    'b * 'c,
    [< Accessor_base__.Import.field ])
    Accessor.t

Access the first component of a tuple.

val snd : 
  ('i ->
    'a ->
    'b,
    'i ->
    ('c * 'a) ->
    'c * 'b,
    [< Accessor_base__.Import.field ])
    Accessor.t

Access the second component of a tuple.

fsti and sndi are like fst and snd, but they also treat the untargetted component as an index. For example, if you use sndi on x, y, y is what you are accessing, and x will be given to you as an index.

val fsti : 
  (('i * 'it) ->
    'a ->
    'b,
    'it ->
    ('a * 'i) ->
    'b * 'i,
    [< Accessor_base__.Import.field ])
    Accessor.t

val sndi : 
  (('i * 'it) ->
    'a ->
    'b,
    'it ->
    ('i * 'a) ->
    'i * 'b,
    [< Accessor_base__.Import.field ])
    Accessor.t

val swap : 
  ('i ->
    ('a * 'b) ->
    'c * 'd,
    'i ->
    ('b * 'a) ->
    'd * 'c,
    [< Accessor_base__.Import.isomorphism ])
    Accessor.t

Access a tuple where the components are swapped with each other.

assocl and assocr reassociate nested tuples.

val assocl : 
  ('i ->
    (('a * 'b) * 'c) ->
    ('d * 'e) * 'f,
    'i ->
    ('a * ('b * 'c)) ->
    'd * ('e * 'f),
    [< Accessor_base__.Import.isomorphism ])
    Accessor.t

val assocr : 
  ('i ->
    ('a * ('b * 'c)) ->
    'd * ('e * 'f),
    'i ->
    (('a * 'b) * 'c) ->
    ('d * 'e) * 'f,
    [< Accessor_base__.Import.isomorphism ])
    Accessor.t

val each : 
  ('i ->
    'a ->
    'b,
    'i ->
    ('a * 'a) ->
    'b * 'b,
    [< Accessor_base__.Import.nonempty ])
    Accessor.t

Access both components of a tuple.

module Fst : Accessor.Functor.S2 with type ('fst, 'snd) t := 'fst * 'snd

module Snd : Accessor.Functor.S2 with type ('snd, 'fst) t := 'fst * 'snd