package datakit-ci

  1. Overview
  2. Docs
package datakit-ci
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module C : CI_s.CONTEXT

Signature

include CI_s.TERM with type context = C.t and type 'a key = C.t -> 'a
type context = C.t
type 'a key = C.t -> 'a
type 'a t
val return : 'a -> 'a t
val fail : ('a, Format.formatter, unit, 'b t) format4 -> 'a
val pending : ('a, Format.formatter, unit, 'b t) format4 -> 'a
val state : 'a t -> ('a, [ `Pending of string | `Failure of string ]) result t
val of_state : ('a, [< `Pending of string | `Failure of string ]) result -> 'a t
val catch : 'a t -> ('a, [ `Failure of string ]) result t
val value : 'a key -> 'a t
val of_lwt_quick : 'a Lwt.t -> 'a t
val of_lwt_slow : (unit -> 'a CI_s.status Lwt.t) -> 'a t
val join : 'a t t -> 'a t
val pair : 'a t -> 'b t -> ('a * 'b) t
val without_logs : 'a t -> 'a t
module Infix : sig ... end
val list_map_p : ('a -> 'b t) -> 'a list -> 'b list t
val wait_for : 'a t -> while_pending:string -> on_failure:string -> unit t
val wait_for_all : (string * 'a t) list -> unit t
val run : context -> 'a t -> ('a CI_result.t * CI_output.logs) Lwt.t

run context term is the result of evaluating term in context.