package eliom

  1. Overview
  2. Docs
package eliom
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a wrapped_value
type +'a wrapper

'a wrapper is the type of values to include into a value of type 'a for it to be wrapped specifically

val create_wrapper : ('a -> 'b) -> 'a wrapper

create f create a new tag that can be included into a value. if wrap is called on a father of a value v containing a tag, the value v will be replaced by f v before marshaling.

marshal a value, taking into account the tags.

val wrap : 'a -> 'a wrapped_value
val empty_wrapper : 'a wrapper

a wrapper that do not change the value

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct