package algaeff

You can search for identifiers within the package.

in-package search v0.2.0

algaeff
- Algaeff
  - Fun
    
    Deep
    
    Shallow
  - Mutex
    
    Make
    
    S
  - Reader
    
    Make
    
    Env
    
    S
  - Sequencer
    
    Make
    
    Elt
    
    S
  - Sigs
    
    Type
  - State
    
    Make
    
    State
    
    S
  - UniqueID
    
    Make
    
    Elt
    
    ID
    
    S
    
    ID

Legend:
Library
Module
Module type
Parameter
Class
Class type

Effects for constructing a Seq.t.

since 0.2

module S = Algaeff.Sequencer.Make (Int)

(* The sequence corresponding to [[1; 2; 3]]. *)
let seq : int Seq.t = S.run @@ fun () -> S.yield 1; S.yield 2; S.yield 3

(* An implementation of [List.to_seq]. *)
let to_seq l : int Seq.t = S.run @@ fun () -> List.iter S.yield l

The sequencers are generators for Seq.t.

module type S = sig ... end

Signatures of sequencing effects.

module Make (Elt : Sigs.Type) : S with type elt := Elt.t

The implementation of sequencing effects.