package codept-lib

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Solver.FailureSource

Failure handling: detection of cycle, unresolvable dependencies and internal errors.

Sourcetype status =
  1. | Cycle of Namespaced.t Loc.ext
  2. | Extern of Namespaced.t
  3. | Depend_on of Namespaced.t
  4. | Internal_error
Sourcetype 'a cycle
Sourcetype 'a cycles
Sourceval to_list : 'a cycles -> (status * Unit.s list) list
Sourcetype alias_resolver = Summary.t -> Paths.S.t -> Namespaced.t
Sourcetype 'a blocker = 'a -> (Summary.t * Paths.S.t) Loc.ext option
Sourceval analyze : 'a blocker -> alias_resolver -> 'a i list -> ('a i * status option ref) Namespaced.Map.t * 'a cycles
Sourceval pp_circular : 'a blocker -> alias_resolver -> ('a i * 'a) Namespaced.Map.t -> Namespaced.t -> bool -> Format.formatter -> Namespaced.t -> unit
Sourceval pp_cat : 'a blocker -> alias_resolver -> ('a i * _) Namespaced.Map.t -> Format.formatter -> (status * 'a cycle) -> unit
Sourceval pp : 'a blocker -> alias_resolver -> ('a i * _) Namespaced.Map.t -> Format.formatter -> 'a cycles -> unit
Sourceval pp_cycle : 'a blocker -> alias_resolver -> Format.formatter -> 'a i list -> unit
OCaml

Innovation. Community. Security.