package codept-lib

You can search for identifiers within the package.

in-package search v0.2.0

Alternative ocaml dependency analyzer

Install

Dune Dependency

github.com Readme Edit opam file Versions (1)

Authors

F

Florian Angeletti <octa@polychoron.fr>

Maintainers

F

Florian Angeletti <octa@polychoron.fr>

Sources

codept-0.12.1.tbz

sha256=381d300bad1d526d241414d74c670853896547c10efe69f56a1838f00264f69b

sha512=1517e482a60ed9c76cceff0f64ef73b28a667800fb5bd0a0f142487bbd9c36aadc9534b70de1d261027bd7164dc80ac620d8c04cc94990f627db49e96f786ae5

doc/codept-lib/Summary/index.html

Module `Summary`Source

Short summary of visible and defined modules at an AST node

Sourcetype view

Sourcetype t = {

defined : view;
(*
modules and module types defined in scope
*)
visible : view;
(*
in scope but not defined
*)

}

Sourcetype summary = t

Sourcemodule View : sig ... end

Sourceval pp : Format.formatter -> summary -> unit

pretty printer

Sourceval sch : t Schematic.t

Sourceval empty : summary

Empty summary

Sourceval defined : summary -> Module.signature

Modules defined in the current scope

Sourceval extend : Module.signature -> summary -> Module.signature

Sourceval only_visible : summary -> view

List modules that are visibles and not defined

Sourceval clear_visible : summary -> summary

forget visible but not defined modules

Sourceval define : ?level:Module.level -> Module.named list -> summary

Basic creation function

Merging functions

Sourceval merge : summary -> summary -> summary

Sourceval (+|) : summary -> summary -> summary

Basic summary extension

Sourceval bind : ?level:Module.level -> Module.named -> summary -> summary

bind m def binds the module m in def

Sourceval see : Module.named -> summary -> summary

see m def makes the module m visible in def

Sourceval binds : (Module.level * Module.named) list -> summary

binds [level,m;…] def binds the modules m at level in def

Sourceval of_signature : Module.signature -> summary

Create a summary from a signature

On This Page

Merging functions
Basic summary extension