package codept-lib

  1. Overview
  2. Docs
Alternative ocaml dependency analyzer

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. F
    Florian Angeletti <octa@polychoron.fr>

Maintainers

  1. F
    Florian Angeletti <octa@polychoron.fr>

Sources

codept-0.13.0.tbz
sha256=5e6631d6bcb84d149460d046c71afa4a6342aa8d9adaf2b1f45989dd33a3ac92
sha512=ed58520e2b94c6d6b01466f2de464e5bfd95efd8d9d8e41e1d95e3c3f250b20118b3c2d08492cbc86152c334730fa43d110331d090fcc98e8be7fdc7b47962ff

doc/codept-lib/Solver/Failure/index.html

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