Releases: RedPRL/algaeff
Releases · RedPRL/algaeff
2.0.0
This major release has two breaking changes:
Algaeff.{Reader,Sequencer,State,UniqueID}
are now taking a module with a typet
. Previously, the type is namedelt
,env
, orstate
depending on the component. Now, it is always namedt
. The benefit is that one can write succinct code for built-in types:To upgrade from the older version of this library, please change the type name (module R = Algaeff.Reader.Make (Bool) module Sq = Algaeff.Sequencer.Make (Int) module St = Algaeff.State.Make (Int) module St = Algaeff.UniqueID.Make (String)
env
,elt
, orstate
) intomodule R = Algaeff.Reader.Make (struct type env = ... end) module Sq = Algaeff.Sequencer.Make (struct type elt = ... end) module St = Algaeff.State.Make (struct type state = ... end) module U = Algaeff.UniqueID.Make (struct type elt = ... end)
t
as follows:module R = Algaeff.Reader.Make (struct type t = ... end) module Sq = Algaeff.Sequencer.Make (struct type t = ... end) module St = Algaeff.State.Make (struct type t = ... end) module U = Algaeff.UniqueID.Make (struct type t = ... end)
Algaeff.Unmonad
is removed.