accessor
A library that makes it nicer to work with nested functional data structures
IN THIS PACKAGE
-
library accessor
-
module Accessor
-
module Applicative
-
module Applicative_without_return
-
module Constructor
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Equality
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Field
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module General
-
module Getter
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Identical
-
module Index
-
module Indexed
-
module Isomorphism
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Many
-
module Accessed
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
module Monad_infix
-
-
module Accessor
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
module Of_applicative
-
argument 1-A
-
-
module Of_applicative2
-
argument 1-A
-
-
module Of_applicative3
-
argument 1-A
-
-
module Open_on_rhs_intf
-
module type S
-
-
-
module Many_getter
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
module Monad_infix
-
module O
-
-
module Mapper
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Monad_without_return
-
module Nonempty
-
module Accessed
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
module Monad_infix
-
-
module Accessor
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
module Of_applicative_without_return
-
argument 1-A
-
-
module Of_applicative_without_return2
-
argument 1-A
-
-
module Of_applicative_without_return3
-
argument 1-A
-
-
-
module Nonempty_getter
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
module Monad_infix
-
module O
-
-
module O
-
module Of_applicative
-
argument 1-A
-
-
module Of_applicative2
-
argument 1-A
-
-
module Of_applicative3
-
argument 1-A
-
-
module Of_applicative_without_return
-
argument 1-A
-
-
module Of_applicative_without_return2
-
argument 1-A
-
-
module Of_applicative_without_return3
-
argument 1-A
-
-
module Of_functor
-
argument 1-F
-
-
module Of_functor2
-
argument 1-F
-
-
module Of_functor3
-
argument 1-F
-
-
module Of_monad_without_return
-
argument 1-A
-
-
module Of_monad_without_return2
-
argument 1-A
-
-
module Of_monad_without_return3
-
argument 1-A
-
-
module Optional
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Optional_getter
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
module Subtyping
-
module Variant
-
module Make_access
-
argument 1-T
-
-
module Make_access3
-
argument 1-T
-
-
module Make_access4
-
argument 1-T
-
-
-
-
-
library accessor.applicative_without_return
-
module Applicative_without_return
-
module type Basic
-
module type Basic2
-
module type Basic3
-
module Make
-
argument 1-B
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
-
module Make2
-
argument 1-B
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
-
module Make3
-
argument 1-B
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
-
module type S
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
-
module type S2
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
-
module type S2_without_let_syntax
-
module Applicative_infix
-
-
module type S3
-
module Applicative_infix
-
module Let_syntax
-
module Let_syntax
-
module Open_on_rhs
-
-
-
-
module type S3_without_let_syntax
-
module Applicative_infix
-
-
module type S_without_let_syntax
-
module Applicative_infix
-
-
-
val variant :
match_:( 'at -> ( 'a, 'bt ) Base.Either.t ) ->
construct:( 'b -> 'bt ) ->
( 'a, 'b ) t ->
( 'at, 'bt ) tA legal implementation of this function must satisfy the following properties:
variant ~match_:Either.first ~construct:Fn.id = Fn.idFn.compose
(variant ~match_:m1 ~construct:c1)
(variant ~match_:m2 ~construct:c2)
=
variant
~match_:(fun a ->
match m1 a with
| Second _ as a -> a
| First a ->
match m2 a with
| First _ as a -> a
| Second a -> Second (c1 a))
~construct:(Fn.compose c1 c2)