• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • travesty

  • Documentation
  1. Overview
  2. Docs
ON THIS PAGE
  • Travesty
    • Traversal interfaces
    • State monads
    • Extensions
    • Custom containers
    • Related projects
package travesty
  • travesty
    • Travesty
      • Bi_mappable
        • Chain_Bi0_Map1
          • Bi
          • Map
        • Chain_Bi1_left_Map1
          • Bi
          • Map
        • Chain_Bi1_right_Map1
          • Bi
          • Map
        • Chain_Bi2_Map1
          • Bi
          • Map
        • Chain_Map1_Bi1_left
          • Bi
          • LMap
        • Chain_Map1_Bi1_right
          • Bi
          • RMap
        • Chain_Map1_Bi2
          • Bi
          • LMap
          • RMap
        • Fix1_left
          • I
          • Left
        • Fix1_right
          • I
          • Right
        • Fix2_both
          • I
          • Left
          • Right
        • Fix2_left
          • I
          • Left
        • Fix2_right
          • I
          • Right
        • Make0
          • I
        • Make1_left
          • I
        • Make1_right
          • I
        • Make2
          • I
        • Map0_left
          • S
        • Map0_right
          • S
        • Map1_left
          • S
        • Map1_right
          • S
      • Bi_mappable_types
        • Basic0
        • Basic1_left
        • Basic1_right
        • Basic2
        • Basic_generic
        • Generic
        • S0
        • S1_left
        • S1_right
        • S2
      • Bi_traversable
        • Chain_Bi0_Traverse1
          • Bi
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Trav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Chain_Bi1_left_Traverse1
          • Bi
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Trav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Chain_Bi1_right_Traverse1
          • Bi
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Trav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Chain_Bi2_Traverse1
          • Bi
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Trav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Chain_Traverse1_Bi1_left
          • Bi
            • On
              • M
                • Applicative_infix
          • LTrav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Chain_Traverse1_Bi1_right
          • Bi
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • RTrav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Chain_Traverse1_Bi2
          • Bi
            • On
              • M
                • Applicative_infix
          • LTrav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • RTrav
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Fix1_left
          • I
            • On
              • M
                • Applicative_infix
          • Left
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Fix1_right
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Right
          • With_errors
        • Fix2_both
          • I
            • On
              • M
                • Applicative_infix
          • Left
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Right
          • With_errors
        • Fix2_left
          • I
            • On
              • M
                • Applicative_infix
          • Left
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Fix2_right
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Right
          • With_errors
        • Make0
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make1_left
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make1_right
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make2
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Traverse0_left
          • L
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • S
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Traverse0_right
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • R
          • S
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Traverse1_left
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • S
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Traverse1_right
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • S
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
      • Bi_traversable_types
        • Basic0
          • On
            • M
              • Applicative_infix
        • Basic0_on_applicative
          • M
            • Applicative_infix
        • Basic1_left
          • On
            • M
              • Applicative_infix
        • Basic1_left_on_applicative
          • M
            • Applicative_infix
        • Basic1_right
          • On
            • M
              • Applicative_infix
        • Basic1_right_on_applicative
          • M
            • Applicative_infix
        • Basic2
          • On
            • M
              • Applicative_infix
        • Basic2_on_applicative
          • M
            • Applicative_infix
        • Basic_generic_on_applicative
          • M
            • Applicative_infix
        • Generic
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Generic_on_applicative
          • M
            • Applicative_infix
        • S0
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • S1_left
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • S1_right
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • S2
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
      • Container_exts
        • Extend0
          • C
        • Extend0_predicate
          • C
          • P
        • Extend1
          • C
      • Container_exts_types
        • Generic
        • Generic_predicate
        • S0
        • S0_predicate
        • S1
      • Filter_mappable
        • Make0
          • F
        • Make1
          • F
        • To_mappable0
          • F
        • To_mappable1
          • F
      • Filter_mappable_types
        • Basic0
        • Basic1
        • Generic
        • Generic_basic
        • S0
        • S1
      • Generic_types
        • Bi0
        • Bi_generic
        • Bi_left
        • Bi_right
        • Generic
        • S0
      • Mappable
        • Extend1
          • S
      • Mappable_types
        • Extensions1
        • Generic
        • S0
        • S0_container
        • S1
        • S1_container
      • Monad_exts
        • App
          • Applicative_infix
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • Extend
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • Let
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • S2_to_S
          • B
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
          • Monad_infix
        • To_mappable
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
      • Monad_exts_types
        • S
        • S_let
      • Monad_transform
        • S
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
        • S_fixed
          • Inner
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
      • State
        • M2
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
        • Make
          • B
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
        • To_S
          • B
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
          • Monad_infix
      • State_transform
        • Make
          • B
            • Inner
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
          • Monadic
        • Make2
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
          • Monad_infix
          • Monadic
        • To_S
          • B
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • M
            • Inner
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
            • Monadic
          • Monad_infix
          • Monadic
      • State_transform_types
        • Basic
          • Inner
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • Fix
        • Generic
          • Inner
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
          • Monadic
        • Generic_builders
        • Generic_runners
        • Generic_types
        • S
          • Inner
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
          • Monadic
        • S2
          • Inner
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
          • Monadic
      • State_types
        • Generic
        • S
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
        • S2
          • Let_syntax
            • Let_syntax
              • Open_on_rhs
          • Monad_infix
      • Traversable
        • Chain0
          • Inner
            • Elt
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • Outer
            • Elt
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • With_errors
        • Const
          • Elt
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • T
          • With_errors
        • Fix_elt
          • Elt
          • I
            • On
              • M
                • Applicative_infix
            • On_monad
              • M
                • Let_syntax
                  • Let_syntax
                    • Open_on_rhs
                • Monad_infix
            • With_errors
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make0
          • I
            • Elt
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make0_container
          • I
            • Elt
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make1
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Make1_container
          • I
            • On
              • M
                • Applicative_infix
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
      • Traversable_types
        • Basic0
          • Elt
          • On
            • M
              • Applicative_infix
        • Basic0_container
          • Elt
          • On
            • M
              • Applicative_infix
        • Basic0_on_applicative
          • M
            • Applicative_infix
        • Basic1
          • On
            • M
              • Applicative_infix
        • Basic1_container
          • On
            • M
              • Applicative_infix
        • Basic1_on_applicative
          • M
            • Applicative_infix
        • Basic_generic_on_applicative
          • M
            • Applicative_infix
        • Generic
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • Generic_on_applicative
          • M
            • Applicative_infix
        • Generic_on_monad
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • S0
          • Elt
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • S1
          • On
            • M
              • Applicative_infix
          • On_monad
            • M
              • Let_syntax
                • Let_syntax
                  • Open_on_rhs
              • Monad_infix
          • With_errors
        • S1_on_applicative
          • M
            • Applicative_infix
        • S1_on_monad
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
  • travesty.base_exts
    • Travesty_base_exts
      • Alist
        • On
          • M
            • Applicative_infix
        • On_monad
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • With_errors
      • Fn
        • Compose_syntax
      • List
        • On
          • M
            • Applicative_infix
        • On_monad
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • With_errors
      • Option
        • On
          • M
            • Applicative_infix
        • On_monad
          • M
            • Let_syntax
              • Let_syntax
                • Open_on_rhs
            • Monad_infix
        • With_errors
      • Or_error