package apero-core

You can search for identifiers within the package.

in-package search v0.2.0

apero-core
- Abuf
- Abytes
- Acommon
  - Astring
    
    Ascii
    
    Map
    
    Set
    
    Sub
  - Infix
  - LwtM
    
    Infix
    
    Let_syntax
    
    Open_on_rhs
    
    InfixM
  - Monad
    
    Infix
  - Option
    
    Infix
  - Result
    
    Infix
- Alist
- Apath
  - Path
  - PathExpr
- Apero
  - EventStream
    
    Sink
    
    Source
- Atypes
  - Vle
- Aunix
- Dynload
- Event_stream
  - EventStream
    
    Make
    
    I
    
    Sink
    
    Source
    
    S
    
    Sink
    
    Source
- Guard
- Identifiers
  - Id
    
    Make
    
    T
    
    S
  - NumId
    
    Make
    
    T
    
    NumType
    
    S
- Json
  - Json
- Key_value
  - KeyValueF
    
    Make
    
    Infix
    
    K
    
    Key
    
    Infix
    
    Map
    
    V
    
    Value
    
    Infix
    
    S
    
    Infix
    
    Key
    
    Infix
    
    Map
    
    Value
    
    Infix
- Mvar
  - MVar
  - MVar_lwt
- Ordered
  - Comparable
  - Ordered
    
    Make
    
    C
    
    Infix
    
    S
    
    Infix
- Properties
  - Properties
  - Property
    
    Infix
    
    Key
    
    Infix
    
    Map
    
    Value
    
    Infix
- State
  - State
    
    Infix
  - StateFunc
    
    Make
    
    Infix
    
    T
    
    S
    
    Infix
- Stream_lwt
  - Stream
- Stringable
  - S
- Uuid
  - Uuid

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module provides several infix operators for making programming with Lwt more convenient.

To use it, open Lwt.Infix.

Of the operators declared in this module, only >|= is recommended for new code. The only other commonly-used operator is >>=.

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

p >>= f is the same as Lwt.bind p f. It requires Lwt.Infix to be opened in scope:

open Lwt.Infix

let () =
  Lwt_main.run
    (Lwt_io.(read_line stdin) >>= Lwt_io.printl)

(* ocamlfind opt -linkpkg -package lwt.unix code.ml && ./a.out *)

It is recommended to use the PPX let%lwt syntax instead. This operator is the next-best choice. It is frequently found while reading existing Lwt code.

val (>|=) : 'a t -> ('a -> 'b) -> 'b t

p >|= f is the same as Lwt.map f p. It requires Lwt.Infix to be opened in scope.

open Lwt.Infix

let () =
  Lwt_main.run
    (Lwt_io.(read_line stdin) >|= ignore)

(* ocamlfind opt -linkpkg -package lwt.unix code.ml && ./a.out *)

val (<&>) : unit t -> unit t -> unit t

p1 <&> p2 is the same as Lwt.join [p1; p2]. It requires Lwt.Infix to be opened in scope.

Unlike with Lwt.bind and Lwt.map, there are no problems with explicit Lwt.join syntax, so using this operator is not recommended.

val (<?>) : 'a t -> 'a t -> 'a t

p1 <?> p2 is the same as Lwt.choose [p1; p2]. It requires Lwt.Infix to be opened in scope.

Unlike with Lwt.bind and Lwt.join, there are no problems with explicit Lwt.choose syntax, so using this operator is not recommended.

Furthermore, most users actually need Lwt.pick instead of Lwt.choose.

val (=<<) : ('a -> 'b t) -> 'a t -> 'b t

f =<< p is the same as Lwt.bind p f. It requires Lwt.Infix to be opened in scope.

This operator is obscure and its use is discouraged. It is the same as p >>= f.

val (=|<) : ('a -> 'b) -> 'a t -> 'b t

f =|< p is the same as Lwt.map f p. It requires Lwt.Infix to be opened in scope.

This operator is obscure and its use is discouraged. It is the same as p >|= f.

module Let_syntax : sig ... end

This module provides support for ppx_let.