package codept-lib

You can search for identifiers within the package.

in-package search v0.2.0

package codept-lib

codept-lib
- Approx_parser
- Ast_converter
- Cmi
- Debug
- Dep_zipper
  - Make
    
    Env
    
    Param
  - Outline
    
    Env
- Deps
  - Edge
- Envt
  - Core
- Fault
  - Level
  - Log
  - Policy
- Format_compat
- Format_tags
- Id
- Loc
  - Sch
- Longident_converter
- M2l
  - Annot
    
    Access
  - Build
  - Sch
  - Sig_only
- Modname
  - Map
- Module
  - Arg
  - Def
  - Dict
  - Divergence
  - Equal
  - Namespace
  - Origin
  - Partial
  - Schema
  - Sig
- Mresult
  - Error
  - Ok
- Name
  - Map
  - Set
- Namespaced
  - Map
  - Set
- Option
  - List'
- Paths
  - Expr
    
    Map
  - Make_expr
    
    Map
    
    S
  - Simple
    
    Map
    
    Set
  - simple_core
- Pkg
  - Map
  - Set
- Pp
- Pparse_compat
- Read
- Schema
  - Lbl
- Schematic
  - Ext
  - L
  - Label
    
    X
  - Record
  - Tuple
  - Untyped
  - Version
  - label
- Schematic_indices
  - N
- Slex
- Solver
  - Directed
    
    Envt
    
    Eval
    
    Param
  - Failure
  - Make
    
    Envt
    
    Eval
    
    Param
- Sparser
- Stage
  - envt
  - generic_outliner
  - outliner
  - param
- Standard_faults
- Standard_policies
- Summary
  - View
- Support
  - Map
    
    Make
    
    X
    
    S
- Transforms
- Uloc
  - Pp
- Unit
  - Group
    
    Map
  - Set
- Unitname
  - Map
  - Set
- Win32_compat
- With_deps
- Zipper
- Zipper_def
  - fold
  - s
    
    Abbrevs
    
    T
  - tree
- Zipper_fold
  - Make
    
    Env
    
    X
  - Zpath
    
    Abbrevs
    
    X
- Zipper_pp
  - Make
    
    Def
    
    Abbrevs
    
    T
    
    R
  - Opaque
    
    Def
    
    Abbrevs
    
    T
  - Result_printer
    
    T
- Zipper_skeleton
  - State
    
    Env
  - state
codept-lib.bundled
- Bundle

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functions for handling unit (aka .ml/.mli) files

module Pth = Paths.Simple

Module abbreviations

type precision =

| Exact
| Approx

Precision of the inferred module-level signature

type 'ext t = {

path : Namespaced.t;
(*
module path of the compilation unit
*)
src : Pkg.t;
(*
source file of the compilation unit
*)
kind : M2l.kind;
precision : precision;
code : M2l.t;
more : 'ext;

}

Base type

type ext = {

signature : Module.signature;
dependencies : Deps.t;

}

Extension for output type

type 'ext base = 'ext t

type s = unit t

type u = ext t

type r = u

val signature : r -> Module.signature

val deps : r -> Deps.t

val local_dependencies : r -> Deps.dep list

val update : Deps.t -> r -> r

val lift : Module.signature -> Deps.t -> s -> u

Conversion function between input and output types

val proj : u -> s

val read_file : Fault.handler -> Read.kind -> string -> Namespaced.t -> s

read_file polycy kind filename pth reads the file filename, extracting the corresponding m2l ast and associating it to the path pth. If the file is not synctatically valid Ocaml and syntax errors are not set to critical level in polycy, the approximative parser is used.

val pp : Format.formatter -> u -> unit

Pretty-printing function

val pp_input : Format.formatter -> s -> unit

type 'a pair = {

ml : 'a;
mli : 'a;

}

Pair of implementation/interface units

val map : ('a -> 'b) pair -> 'a pair -> 'b pair

val unimap : ('a -> 'b) -> 'a pair -> 'b pair

val adder : ('a -> 'b -> 'b) -> 'b pair -> (M2l.kind * 'a) -> 'b pair

module Group : sig ... end

Group handles pair of ml/mli files together

module Set : Set.S with type elt = u

Unit sets