package datakit-ci

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module C : CI_s.CONTEXT

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.