package archi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `S.System`

type (_, _, _) components =

| [] : ('ctx, 'ty, 'ty) components
| :: : (string * ('ctx, 'a) Component.t) * ('ctx, 'b, 'ty) components -> ('ctx, 'a -> 'b, 'ty) components

type ('ctx, _, _) t

val make : ('ctx, 'args, unit) components -> ('ctx, unit, [ `stopped ]) t

val make_reusable : 
  lift:'args ->
  ('ctx, 'args, 'ty) components ->
  ('ctx, 'ty, [ `stopped ]) t

val start : 
  'ctx ->
  ('ctx, 'ty, [ `stopped ]) t ->
  (('ctx, 'ty, [ `started ]) t, [ `Cycle_found | `Msg of string ]) result Io.t

val stop : 
  ('ctx, 'ty, [ `started ]) t ->
  (('ctx, 'ty, [ `stopped ]) t, [ `Cycle_found | `Msg of string ]) result Io.t

val get : ('ctx, 'ty, [ `started ]) t -> 'ty