package archi

You can search for identifiers within the package.

in-package search v0.2.0

package archi

archi
- Archi
  - Component
    
    COMPONENT
    
    SIMPLE_COMPONENT
  - IO
  - Io
  - Make
    
    Component
    
    COMPONENT
    
    SIMPLE_COMPONENT
    
    Io
    
    System
  - S
    
    Component
    
    COMPONENT
    
    SIMPLE_COMPONENT
    
    Io
    
    System
  - System

Legend:
Library
Module
Module type
Parameter
Class
Class type

type (_, _) t

type (_, _, _) deps =

| [] : ('ctx, 'ty, 'ty) deps
| :: : ('ctx, 'a) t * ('ctx, 'b, 'ty) deps -> ('ctx, 'a -> 'b, 'ty) deps

val append : ('ctx, 'a) t -> ('ctx, 'b, 'ty) deps -> ('ctx, 'a -> 'b, 'ty) deps

val concat : 
  ('ctx, 'a, 'ty) deps ->
  ('ctx, 'ty, 'b) deps ->
  ('ctx, 'a, 'b) deps

module type COMPONENT = sig ... end

module type SIMPLE_COMPONENT = sig ... end

Creating components

val make : 
  start:('ctx -> ('a, string) result Io.t) ->
  stop:('a -> unit Io.t) ->
  ('ctx, 'a) t

val make_m : 
  (module SIMPLE_COMPONENT with type ctx = 'ctx and type t = 'a) ->
  ('ctx, 'a) t

val using : 
  start:('ctx -> 'args) ->
  stop:('a -> unit Io.t) ->
  dependencies:('ctx, 'args, ('a, string) result Io.t) deps ->
  ('ctx, 'a) t

val using_m : 
  (module COMPONENT with type args = 'args and type ctx = 'ctx and type t = 'a) ->
  dependencies:('ctx, 'args, ('a, string) result Io.t) deps ->
  ('ctx, 'a) t

val of_system : ('a, 'b, 'c) System.t -> ('a, 'b) t