package tezos-workers
Tezos: worker library
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-workers/Tezos_workers/Worker/index.html
Module Tezos_workers.WorkerSource
Workers, their types and signatures, and a functor to make them.
Worker group maker
Functor to build a group of workers. At that point, all the types are fixed and introspectable, but the actual parameters and event handlers can be tweaked for each individual worker.
Source
module MakeGroup
(Name : Tezos_base.Worker_intf.NAME)
(Request : Tezos_base.Worker_intf.REQUEST) :
sig ... endmodule WG = MakeGroup (Name) (Request) defines a worker group all using the same Name, Event, etc. To instantiate a worker from a group, you must give the Types parameter: WG.MakeWorker(Types). This defines a Worker module of type T. This last instantiation can be safely used as first class module.
Source
module MakeSingle
(Name : Tezos_base.Worker_intf.NAME)
(Request : Tezos_base.Worker_intf.REQUEST)
(Types : Tezos_base.Worker_intf.TYPES) :
T
with module Name = Name
and module Request = Request
and module Types = TypesMakeSingle (Name) (Request) (Types) is the same as using MakeGroup and then MakeWorker. It's a special case which you can use if you only ever need a single instantiation.
On This Page