package codept-lib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Combinators

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

Pretty printing functions collection

val fp : Format.formatter -> ('a, Format.formatter, unit) format -> 'a

type 'a t = Format.formatter -> 'a -> unit

Short name

val s : ('a, Format.formatter, unit) format -> Format.formatter -> 'a

val const : string -> Format.formatter -> unit

val string : Format.formatter -> string -> unit

val estring : Format.formatter -> string -> unit

val std : Format.formatter

val err : Format.formatter

val p : ('a, Format.formatter, unit) format -> 'a

val e : ('a, Format.formatter, unit) format -> 'a

Combinators

val list : 
  ?pre:(Format.formatter -> unit) ->
  ?post:(Format.formatter -> unit) ->
  ?sep:(Format.formatter -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val tlist : 
  ?sep:(Format.formatter -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val blist : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val clist : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val opt_list : 
  ?pre:(Format.formatter -> unit) ->
  ?post:(Format.formatter -> unit) ->
  ?sep:(Format.formatter -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val opt_list_0 : 
  ?pre:(Format.formatter -> unit) ->
  ?post:(Format.formatter -> unit) ->
  ?sep:(Format.formatter -> unit) ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val in_text_list : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val decorate : 
  string ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a ->
  unit

val pair : 
  ?sep:string ->
  (Format.formatter -> 'a -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a * 'b) ->
  unit

val triple : 
  ?sep:string ->
  (Format.formatter -> 'a -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  (Format.formatter -> 'c -> unit) ->
  Format.formatter ->
  ('a * 'b * 'c) ->
  unit

val snd : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  ('b * 'a) ->
  unit

val fst : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  ('a * 'b) ->
  unit

val opt : 
  ?pre:string ->
  ?post:string ->
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a option ->
  unit