State (algaeff.Algaeff.State)

module S = Algaeff.State.Make (Int)

let forty_two = S.run ~init:100 @@ fun () ->
  print_int (S.get ()); (* this will print out 100 *)
  S.set 42;
  S.get ()

module type S = sig ... end

Signatures of state effects.

module Make (State : Sigs.Type) : S with type state := State.t

The implementation of state effects.