diff --git a/dev/containers/CCCanonical_sexp/.dune-keep b/dev/containers/CCCanonical_sexp/.dune-keep new file mode 100644 index 00000000..e69de29b diff --git a/dev/containers/CCCanonical_sexp/Make/argument-1-Sexp/index.html b/dev/containers/CCCanonical_sexp/Make/argument-1-Sexp/index.html new file mode 100644 index 00000000..8ebc6031 --- /dev/null +++ b/dev/containers/CCCanonical_sexp/Make/argument-1-Sexp/index.html @@ -0,0 +1,2 @@ + +
Make.1-SexpCCSexp.CanonicalCanonical encoding
val atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
CCCanonical_sexp.Makeval atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
CCCanonical_sexpSee wikipedia. These S-expressions are binary safe.
module type SEXP = CCSexp_intf.BASIC_SEXPmodule type S = CCSexp_intf.S0type t = [ | `Atom of string |
| `List of t list |
]A simple, structural representation of S-expressions. Compatible with CCSexp.
include S with type S.t := ttype ttype sexp = tval atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
CCCanonical_sexp.Stype ttype sexp = tval atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
CCCanonical_sexp.SEXPMakeCanonical.1-SexpCCSexp.MakeCanonicalSee wikipedia. These S-expressions are binary safe.
val atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
CCSexpmodule type BASIC_SEXP = CCSexp_intf.BASIC_SEXPmodule type SEXP = CCSexp_intf.SEXPmodule type S = CCSexp_intf.Smodule type S0 = CCSexp_intf.S0Subset of S
module MakeCanonical : functor (Sexp : BASIC_SEXP) -> S0 with type t = Sexp.ttype t = [ | `Atom of string |
| `List of t list |
]A simple, structural representation of S-expressions.
include S with type S.t := tinclude CCSexp_intf.S0type ttype sexp = tval atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
type 'a parse_result = | Yield of 'a |
| Fail of string |
| End |
A parser of 'a can return Yield x when it parsed a value, or Fail e when a parse error was encountered, or End if the input was empty.
module Decoder : sig ... endval atom : string -> tBuild an atom directly from a string.
CCSexpmodule type SEXP = CCSexp_intf.SEXPmodule type S = CCSexp_intf.Stype t = [ | `Atom of string |
| `List of t list |
]A simple, structural representation of S-expressions.
include S with type S.t := tinclude CCSexp_intf.S0type ttype sexp = tval atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
type 'a parse_result = | Yield of 'a |
| Fail of string |
| End |
A parser of 'a can return Yield x when it parsed a value, or Fail e when a parse error was encountered, or End if the input was empty.
module Decoder : sig ... endval atom : string -> tBuild an atom directly from a string.
CCSexp.S0Subset of S
type ttype sexp = tval atom : string -> tMake an atom out of this string.
val of_int : int -> tval of_bool : bool -> tval of_list : t list -> tval of_rev_list : t list -> tReverse the list.
val of_float : float -> tval of_unit : tval of_pair : (t * t) -> tval of_triple : (t * t * t) -> tval of_quad : (t * t * t * t) -> tval of_variant : string -> t list -> tof_variant name args is used to encode algebraic variants into a S-expr. For instance of_variant "some" [of_int 1] represents the value Some 1.
val to_buf : Stdlib.Buffer.t -> t -> unitval to_string : t -> stringval to_file : string -> t -> unitval to_file_iter : string -> t CCSexp_intf.iter -> unitPrint the given iter of expressions to a file.
val to_chan : Stdlib.out_channel -> t -> unitval pp : Stdlib.Format.formatter -> t -> unitPretty-printer nice on human eyes (including indentation).
val pp_noindent : Stdlib.Format.formatter -> t -> unitRaw, direct printing as compact as possible.
val parse_string : string -> t CCSexp_intf.or_errorParse a string.
val parse_string_list : string -> t list CCSexp_intf.or_errorParse a string into a list of S-exprs.
val parse_chan : Stdlib.in_channel -> t CCSexp_intf.or_errorParse a S-expression from the given channel. Can read more data than necessary, so don't use this if you need finer-grained control (e.g. to read something else after the S-exp).
val parse_chan_gen : Stdlib.in_channel -> t CCSexp_intf.or_error CCSexp_intf.genParse a channel into a generator of S-expressions.
val parse_chan_list : Stdlib.in_channel -> t list CCSexp_intf.or_errorval parse_file : string -> t CCSexp_intf.or_errorOpen the file and read a S-exp from it.
val parse_file_list : string -> t list CCSexp_intf.or_errorOpen the file and read a S-exp from it.
Containersmodule Array = CCArraymodule Bool = CCBoolmodule Char = CCCharmodule Equal = CCEqualmodule Either = CCEithermodule Float = CCFloatmodule Format = CCFormatmodule Fun = CCFunmodule Hash = CCHashmodule Hashtbl : sig ... endmodule Heap = CCHeapmodule Int = CCIntmodule Int32 = CCInt32module Int64 = CCInt64module IO = CCIOmodule List = CCListmodule Map = CCMapmodule Nativeint = CCNativeintmodule Option = CCOptmodule Ord = CCOrdmodule Pair = CCPairmodule Parse = CCParsemodule Random = CCRandommodule Ref = CCRefmodule Result = CCResultmodule Seq = CCSeqmodule Set = CCSetmodule String = CCStringmodule Vector = CCVectormodule Monomorphic = CCMonomorphicmodule Utf8_string = CCUtf8_stringmodule Sexp = CCSexpmodule Sexp_intf = CCSexp_intfmodule Stdlib = CCShims_.Stdlibinclude Monomorphicval (=) : int -> int -> boolval (<>) : int -> int -> boolval (<) : int -> int -> boolval (>) : int -> int -> boolval (<=) : int -> int -> boolval (>=) : int -> int -> boolval compare : int -> int -> intval min : int -> int -> intval max : int -> int -> intContainersmodule Array = CCArraymodule Bool = CCBoolmodule Char = CCCharmodule Equal = CCEqualmodule Either = CCEithermodule Float = CCFloatmodule Format = CCFormatmodule Fun = CCFunmodule Hash = CCHashmodule Hashtbl : sig ... endmodule Heap = CCHeapmodule Int = CCIntmodule Int32 = CCInt32module Int64 = CCInt64module IO = CCIOmodule List = CCListmodule Map = CCMapmodule Nativeint = CCNativeintmodule Option = CCOptmodule Ord = CCOrdmodule Pair = CCPairmodule Parse = CCParsemodule Random = CCRandommodule Ref = CCRefmodule Result = CCResultmodule Seq = CCSeqmodule Set = CCSetmodule String = CCStringmodule Vector = CCVectormodule Monomorphic = CCMonomorphicmodule Utf8_string = CCUtf8_stringmodule Sexp = CCSexpmodule Sexp_intf = CCSexp_intfmodule Canonical_sexp = CCCanonical_sexpmodule Stdlib = CCShims_.Stdlibinclude Monomorphicval (=) : int -> int -> boolval (<>) : int -> int -> boolval (<) : int -> int -> boolval (>) : int -> int -> boolval (<=) : int -> int -> boolval (>=) : int -> int -> boolval compare : int -> int -> intval min : int -> int -> intval max : int -> int -> intThis library exposes the following toplevel modules:
CCArrayCCArrayLabelsCCBoolCCCharCCEitherCCEqualCCEqualLabelsCCFloatCCFormatCCFunCCHashCCHashtblCCHeapCCIOCCIntCCInt32CCInt64CCListCCListLabelsCCMapCCNativeintCCOptCCOrdCCPairCCParseCCRandomCCRefCCResultCCSeqCCSetCCSexpCCSexp_intfCCSexp_lexCCShimsArrayLabels_CCShimsArray_CCShimsEither_CCShimsFormat_CCShimsFun_CCShimsInt_CCShimsList_CCShimsMkLetList_CCShimsMkLet_CCShims_CCStringCCStringLabelsCCUtf8_stringCCVectorContainersContainersLabelsThis library exposes the following toplevel modules:
The entry point of this library is the module: Containers_top.
The entry point of this library is the module: CCUnix.
This library exposes the following toplevel modules:
CCArrayCCArrayLabelsCCBoolCCCanonical_sexpCCCharCCEitherCCEqualCCEqualLabelsCCFloatCCFormatCCFunCCHashCCHashtblCCHeapCCIOCCIntCCInt32CCInt64CCListCCListLabelsCCMapCCNativeintCCOptCCOrdCCPairCCParseCCRandomCCRefCCResultCCSeqCCSetCCSexpCCSexp_intfCCSexp_lexCCShimsArrayLabels_CCShimsArray_CCShimsEither_CCShimsFormat_CCShimsFun_CCShimsInt_CCShimsList_CCShimsMkLetList_CCShimsMkLet_CCShims_CCStringCCStringLabelsCCUtf8_stringCCVectorContainersContainersLabelsThis library exposes the following toplevel modules:
The entry point of this library is the module: Containers_top.
The entry point of this library is the module: CCUnix.