package yocaml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature
Types
Functions

package yocaml

yocaml
- Yocaml
  - Build
    
    Infix
  - Date
  - Deps
    
    Monoid
    
    Infix
    
    Writer
    
    Infix
    
    Monad
    
    Infix
    
    Syntax
    
    Syntax
  - Effect
    
    Applicative
    
    Infix
    
    Syntax
    
    Freer
    
    Applicative
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Infix
    
    Monad
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
    
    Syntax
    
    To_monad
    
    Monad
    
    Functor
    
    Infix
    
    Infix
    
    Monad
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
    
    Syntax
    
    To_monad
    
    Monad
    
    Traverse
  - Error
  - Filepath
  - Key_value
    
    DESCRIBABLE
    
    Jsonm_descriptor
    
    Jsonm_object
    
    Jsonm_validator
    
    Make_validator
    
    KV
    
    VALIDABLE
    
    VALIDATOR
  - Languages
    
    ISO639
  - Lexicon
  - Log
  - Metadata
    
    Article
    
    Articles
    
    Date
    
    INJECTABLE
    
    Page
    
    READABLE
    
    RENDERABLE
    
    VALIDABLE
  - Mime
  - Rss
    
    Category
    
    Channel
    
    Cloud
    
    Enclosure
    
    Guid
    
    Image
    
    Item
    
    Source
  - Runtime
    
    Make
    
    R
    
    RUNTIME
  - Try
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Infix
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Syntax
  - Util
  - Validate
    
    Alt
    
    Infix
    
    Applicative
    
    Infix
    
    Syntax
    
    Traversable
    
    A
    
    Infix
    
    Syntax
    
    Functor
    
    Infix
    
    Infix
    
    Monad
    
    Infix
    
    Syntax
    
    Traversable
    
    M
    
    Infix
    
    Syntax
    
    Selective
    
    Infix
    
    Syntax
    
    Syntax

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module A : Preface_specs.Applicative.API

Signature

Types

type 'a t = 'a A.t

The type held by the Traversable.

type 'a iter = 'a t

The iterable type held by the Traversable.

Functions

val traverse : ('a -> 'b t) -> 'a iter -> 'b iter t

Map each element of a structure to an action, evaluate these actions from left to right, and collect the results. *

val sequence : 'a t iter -> 'a iter t

Evaluate each action in the structure from left to right, and collect the results