package apero-core

  1. Overview
  2. Docs

Parameters

module T : sig ... end

Signature

type s = T.s
type 'a m = s -> s * 'a
val return : 'a -> s -> s * 'a
val bind : (s -> 'a * 'b) -> ('b -> 'a -> 'c) -> s -> 'c
val read : s -> s * s
val write : 'a -> s -> 'a * unit
val run : (s -> 'a) -> s -> 'a
val eval : (s -> 'a * 'b) -> s -> 'b
val modify : (s -> 'a) -> s -> 'a * unit
module Infix : sig ... end