package apero-core

  1. Overview
  2. Docs
type ('s, '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