package vlt

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Paje.Make`Source

Functor building a type-safe version of Pajé trace-recording functions. Definitions from the passed module are recorded at the "TRACE" level.

module D : Definitions

Sourceval t : string

Sourcetype properties = (string * string) list

Sourcetype name = string

Sourcetype alias = string

Sourcetype color = float * float * float

Sourcetype container_type = D.container_type

Sourcetype state_type = D.state_type

Sourcetype event_type = D.event_type

Sourcetype variable_type = D.variable_type

Sourcetype link_type = D.link_type

Sourcetype entity_value_type

val create_container : 
  name:name ->
  typ:container_type ->
  ?container:name ->
  ?alias:alias ->
  properties ->
  properties

val destroy_container : 
  name:name ->
  typ:container_type ->
  properties ->
  properties

val set_state : 
  typ:state_type ->
  container:name ->
  value:string ->
  properties ->
  properties

val push_state : 
  typ:state_type ->
  container:name ->
  value:string ->
  properties ->
  properties

Sourceval pop_state : typ:state_type -> container:name -> properties -> properties

Sourceval reset_state : typ:state_type -> container:name -> properties -> properties

val new_event : 
  typ:event_type ->
  container:name ->
  value:string ->
  properties ->
  properties

val set_variable : 
  typ:variable_type ->
  container:name ->
  value:float ->
  properties ->
  properties

val add_variable : 
  typ:variable_type ->
  container:name ->
  value:float ->
  properties ->
  properties

val sub_variable : 
  typ:variable_type ->
  container:name ->
  value:float ->
  properties ->
  properties

val start_link : 
  typ:link_type ->
  container:name ->
  start_container:name ->
  value:string ->
  key:string ->
  properties ->
  properties

val end_link : 
  typ:link_type ->
  container:name ->
  end_container:name ->
  value:string ->
  key:string ->
  properties ->
  properties