package traverse

You can search for identifiers within the package.

in-package search v0.2.0

package traverse

traverse
- Traverse
  - Applicative
    
    Env
    
    Base
    
    E
    
    Exists
    
    Fold
    
    Accu
    
    Forall
    
    InstanceS
    
    Applicative
    
    Iter
    
    List
    
    Base
    
    Make
    
    Applicative
    
    Map
    
    MonomorphicS
    
    Applicative
    
    Option
    
    Base
    
    Pair
    
    U
    
    V
    
    Reduce
    
    Monoid
    
    Result
    
    Base
    
    Err
    
    S
  - Modules
    
    Applicative
    
    Env
    
    Base
    
    E
    
    Exists
    
    Fold
    
    Accu
    
    Forall
    
    Iter
    
    List
    
    Base
    
    Map
    
    Option
    
    Base
    
    Pair
    
    U
    
    V
    
    Reduce
    
    Monoid
    
    Result
    
    Base
    
    Err
    
    S
    
    Functor
    
    S
    
    List
    
    Arity
    
    Make
    
    Applicative
    
    Monoid
    
    S
    
    Seq
    
    Arity
    
    Make
    
    Applicative
    
    Sequence
    
    Arity
    
    Make
    
    Applicative
    
    Spec
    
    SequenceS
    
    Arity
    
    Make
    
    Applicative
    
    SequenceSpecS
    
    TypeS
  - Values
    
    Applicative
    
    InstanceS
    
    Applicative
    
    Make
    
    Applicative
    
    MonomorphicS
    
    Applicative
traverse.traverse_meta
- Traverse_meta

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a t

type 'a desc =

| Nil
| Cons of 'a * 'a t

val destruct : 'a t -> 'a desc

val construct : 'a desc -> 'a t