rea 1.0.0 (latest) · OCaml Package

Data type traversal use cases.

val to_map : 
  (('b -> (Identity.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) monad' as 'D) er) ->
  ('b -> 'a) ->
  't ->
  's

Convert traversal to map.

val to_set : 
  (('b -> (Identity.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) monad' as 'D) er) ->
  'a ->
  't ->
  's

Convert traversal to set.

val to_map_constant : 
  (('b -> ('c Constant.r as 'R, 'e, 'a, 'D) er) -> 't -> ('R, 'e, 's, 'D) er) ->
  'D ->
  ('b -> 'c) ->
  't ->
  'c

Convert traversal to map with constant.

val to_get : 
  (('c -> ('c Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) functr' as 'D) er) ->
  't ->
  'c

Convert traversal to get.

val to_get_opt : 
  (('c -> ('c option Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  't ->
  'c option

Convert traversal to get_opt.

val to_exists : 
  (('b -> (bool Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  ('b -> bool) ->
  't ->
  bool

Convert traversal to exists.

val to_find_map : 
  (('b -> ('c option Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  ('b -> 'c option) ->
  't ->
  'c option

Convert traversal to find_map.

val to_map_reduce : 
  (('b -> ('c Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  'c lazy_op'2 ->
  'c ->
  ('b -> 'c) ->
  't ->
  'c

Convert traversal to map_reduce.

val to_iter_er : 
  (('b -> ('c Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  ('b -> ('Ru, 'eu, unit, ['Ru, 'Du] monad' as 'Du) er as 'c) ->
  't ->
  'c

Convert traversal to iter_er.

val to_exists_er : 
  (('b -> ('c Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  ('b -> ('Ru, 'eu, bool, ['Ru, 'Du] monad' as 'Du) er as 'c) ->
  't ->
  'c

Convert traversal to exists_er.

val to_find_map_er : 
  (('b -> ('c Constant.r as 'R, 'e, 'a, 'D) er) ->
    't ->
    ('R, 'e, 's, ('R, 'D) applicative' as 'D) er) ->
  ('b -> ('Ru, 'eu, 'x option, ['Ru, 'Du] monad' as 'Du) er as 'c) ->
  't ->
  'c

Convert traversal to find_map_er.

package rea