package core_extended

  1. Overview
  2. Docs
package core_extended
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ImmediateSource

Immediate versions of standard datatypes.

include module type of struct include Immediate_kernel end
Sourcemodule type Option = Immediate_kernel.Option
Sourcemodule type S_no_option = Immediate_kernel.S_no_option

A functor to build an immediate Option submodule based on Intable conversions.

Sourcemodule Immediate_kernel_stable = Immediate_kernel.Immediate_kernel_stable
Sourcemodule type Intern_table = sig ... end
Sourcemodule type String_no_option = sig ... end
Sourcemodule type String_option = sig ... end
Sourcemodule type String = sig ... end
Sourcemodule Interned_string : sig ... end

There is no facility to un-intern an Interned_string. They are remembered forever.

Sourcemodule Short_string : sig ... end

Immediate_short_string represents strings of length 0-7 stored as an integer.

Sourcemodule String : sig ... end
Sourcemodule Stringable : sig ... end
Sourcemodule Identifiable : sig ... end
Sourcemodule Immediate_stable : sig ... end