package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/acgtk.utilsLib/UtilsLib/IdGenerator/Log/index.html

Module IdGenerator.LogSource

Log is the log module for IdGenerator

include Logs.LOG

Log functions

Sourceval msg : Logs.level -> 'a Logs.log

See Logs.msg.

Sourceval app : 'a Logs.log

app is msg App.

Sourceval err : 'a Logs.log

err is msg Error.

Sourceval warn : 'a Logs.log

warn is msg Warning.

Sourceval info : 'a Logs.log

info is msg Info.

Sourceval debug : 'a Logs.log

debug is msg Debug.

Sourceval kmsg : (unit -> 'b) -> Logs.level -> ('a, 'b) Logs.msgf -> 'b

See Logs.kmsg.

Logging result value Errors

Sourceval on_error : ?level:Logs.level -> ?header:string -> ?tags:Logs.Tag.set -> pp:(Format.formatter -> 'b -> unit) -> use:('b -> 'a) -> ('a, 'b) result -> 'a

See Logs.on_error.

Sourceval on_error_msg : ?level:Logs.level -> ?header:string -> ?tags:Logs.Tag.set -> use:(unit -> 'a) -> ('a, [ `Msg of string ]) result -> 'a

See Logs.on_error_msg.

Sourceval src : Logs.src