package travesty

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Signatures
Making full instances from basic ones
Deriving Mappable

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
    
    Fix1_right
    
    I
    
    Fix2_both
    
    I
    
    Fix2_left
    
    I
    
    Fix2_right
    
    I
    
    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
    
    On_monad
    
    On
    
    On_monad
    
    Trav
    
    On
    
    On_monad
    
    Chain_Bi1_left_Traverse1
    
    Bi
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    Trav
    
    On
    
    On_monad
    
    Chain_Bi1_right_Traverse1
    
    Bi
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    Trav
    
    On
    
    On_monad
    
    Chain_Bi2_Traverse1
    
    Bi
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    Trav
    
    On
    
    On_monad
    
    Chain_Traverse1_Bi1_left
    
    Bi
    
    On
    
    LTrav
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    Chain_Traverse1_Bi1_right
    
    Bi
    
    On
    
    On
    
    On_monad
    
    RTrav
    
    On
    
    On_monad
    
    Chain_Traverse1_Bi2
    
    Bi
    
    On
    
    LTrav
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    RTrav
    
    On
    
    On_monad
    
    Fix1_left
    
    I
    
    On
    
    On
    
    On_monad
    
    Fix1_right
    
    I
    
    On
    
    On
    
    On_monad
    
    Fix2_both
    
    I
    
    On
    
    On
    
    On_monad
    
    Fix2_left
    
    I
    
    On
    
    On
    
    On_monad
    
    Fix2_right
    
    I
    
    On
    
    On
    
    On_monad
    
    Make0
    
    I
    
    On
    
    On
    
    On_monad
    
    Make1_left
    
    I
    
    On
    
    On
    
    On_monad
    
    Make1_right
    
    I
    
    On
    
    On
    
    On_monad
    
    Make2
    
    I
    
    On
    
    On
    
    On_monad
    
    Traverse0_left
    
    On
    
    On_monad
    
    S
    
    On
    
    On_monad
    
    Traverse0_right
    
    On
    
    On_monad
    
    S
    
    On
    
    On_monad
    
    Traverse1_left
    
    On
    
    On_monad
    
    S
    
    On
    
    On_monad
    
    Traverse1_right
    
    On
    
    On_monad
    
    S
    
    On
    
    On_monad
  - Bi_traversable_types
    
    Basic0
    
    On
    
    Basic0_on_applicative
    
    Basic1_left
    
    On
    
    Basic1_left_on_applicative
    
    Basic1_right
    
    On
    
    Basic1_right_on_applicative
    
    Basic2
    
    On
    
    Basic2_on_applicative
    
    Basic_generic_on_applicative
    
    Generic
    
    On
    
    On_monad
    
    Generic_on_applicative
    
    S0
    
    On
    
    On_monad
    
    S1_left
    
    On
    
    On_monad
    
    S1_right
    
    On
    
    On_monad
    
    S2
    
    On
    
    On_monad
  - Container_exts
    
    Extend0
    
    Extend0_predicate
    
    Extend1
  - 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
    
    Extend
    
    Let
    
    To_mappable
  - Monad_exts_types
    
    S
    
    S_let
  - Monad_transform
    
    S
    
    On_monad
    
    S_fixed
  - State
    
    M2
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Make
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    To_S
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monad_infix
  - State_transform
    
    Make
    
    B
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monadic
    
    Make2
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monadic
    
    To_S
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    M
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monadic
    
    Monad_infix
    
    Monadic
  - State_transform_types
    
    Basic
    
    Fix
    
    Generic
    
    Monadic
    
    Generic_builders
    
    Generic_runners
    
    Generic_types
    
    S
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Monadic
    
    S2
    
    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
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    Outer
    
    On
    
    On_monad
    
    Const
    
    On
    
    On_monad
    
    Fix_elt
    
    I
    
    On
    
    On_monad
    
    On
    
    On_monad
    
    Make0
    
    I
    
    On
    
    On
    
    On_monad
    
    Make0_container
    
    I
    
    On
    
    On
    
    On_monad
    
    Make1
    
    I
    
    On
    
    On
    
    On_monad
    
    Make1_container
    
    I
    
    On
    
    On
    
    On_monad
  - Traversable_types
    
    Basic0
    
    On
    
    Basic0_container
    
    On
    
    Basic0_on_applicative
    
    Basic1
    
    On
    
    Basic1_container
    
    On
    
    Basic1_on_applicative
    
    Basic_generic_on_applicative
    
    Generic
    
    On
    
    On_monad
    
    Generic_on_applicative
    
    Generic_on_monad
    
    S0
    
    On
    
    On_monad
    
    S1
    
    On
    
    On_monad
    
    S1_on_applicative
    
    S1_on_monad
travesty.base_exts
- Travesty_base_exts
  - Alist
    
    On
    
    On_monad
  - Fn
    
    Compose_syntax
  - List
    
    On
    
    On_monad
    
    With_errors
  - Option
    
    On
    
    On_monad
  - Or_error
    
    On
    
    On_monad
    
    On_ok
    
    On
    
    On_monad
  - Result
    
    On
    
    On_monad
  - Tuple2
    
    On
    
    On_monad
travesty.containers
- Travesty_containers
  - Singleton
    
    On
    
    On_monad
  - Zipper
    
    Int_mark_zipper
    
    On_error
    
    On_ident
    
    On_monad
    
    On_option
    
    Make_marked
    
    Mark
    
    On_error
    
    On_ident
    
    On_monad
    
    On_option
    
    Plain
    
    On_error
    
    On_ident
    
    On_monad
    
    On_option
  - Zipper_types
    
    Basic_mark
    
    S
    
    On_error
    
    On_ident
    
    On_monad
    
    On_option
    
    S_marked
    
    On_error
    
    On_ident
    
    On_monad
    
    On_option
    
    S_marked_monadic
    
    S_marked_non_monadic
    
    S_monadic
    
    S_non_monadic

Legend:
Library
Module
Module type
Parameter
Class
Class type

Simultaneous mapping and filtering.

Filter_mappable contains signatures and extensions for types that can be non-monadically mapped over, while simultaneously removing values.

Signatures

For input and output module signatures for this module's functors, see Filter_mappable_types.

Making full instances from basic ones

module Make0
  (F : Filter_mappable_types.Basic0) : 
  Filter_mappable_types.S0 with type t := F.t and type elt := F.elt

Make0 makes an S0 from a Basic0.

module Make1
  (F : Filter_mappable_types.Basic1) : 
  Filter_mappable_types.S1 with type 'a t := 'a F.t

Make0 makes an S1 from a Basic1.

Deriving Mappable

module To_mappable0
  (F : Filter_mappable_types.Basic0) : 
  Mappable_types.S0 with type t := F.t and type elt := F.elt

To_mappable0 lowers a filter-mappable arity-0 type to a mappable one.

module To_mappable1
  (F : Filter_mappable_types.Basic1) : 
  Mappable_types.S1 with type 'a t := 'a F.t

To_mappable1 lowers a filter-mappable arity-1 type to a mappable one.