Module Hardcaml.ConstantSource

Representation of variable width Constants and conversion to/from OCaml types.

include Ppx_compare_lib.Comparable.S with type t := t
Sourceval compare : t -> t -> int
include Sexplib0.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
include Bin_prot.Binable.S with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
Sourceval bin_size_t : t Bin_prot.Size.sizer
Sourceval bin_write_t : t Bin_prot.Write.writer
Sourceval bin_read_t : t Bin_prot.Read.reader
Sourceval __bin_read_t__ : (int -> t) Bin_prot.Read.reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

Sourceval bin_shape_t : Bin_prot.Shape.t
Sourcemodule Signedness : sig ... end
Sourceval empty : t
Sourceval create : Base.int -> t

create n create a n bit constant, initialized to hold all 0s.

Sourceval width : t -> Base.int

Bit width of constant

Sourceval to_binary_string : t -> Base.string

Convert a constant to a string of '1' and '0' chars.

Sourceval to_binary_string_hum : t -> Base.string

Same as to_binary_string but adds '_'s every chars

Sourceval to_int : t -> Base.int

Convert constant to an int. Bits above Int.num_bits are dropped.

Sourceval to_int32 : t -> Base.int32

Convert constant to an int32. Bits above Int32.num_bits are dropped.

Sourceval to_int64 : t -> Base.int64

Convert constant to an int64. Bits above Int64.num_bits are dropped.

Sourceval to_int64_array : t -> Base.int64 Base.array

Convert to array of int64s

Sourceval to_z : signedness:Signedness.t -> t -> Z.t

Convert to an arbitrary precision integer.

Sourceval to_hex_string : signedness:Signedness.t -> t -> Base.string

Convert to a hex encoded string.

Sourceval of_binary_string : Base.string -> t

Convert a string containing '1' and '0' characters to a constant. Width is inferred from the strings length.

Sourceval of_binary_string_hum : Base.string -> t

Same as of_binary_string but allow '_' chars

Sourceval of_int : width:Base.int -> Base.int -> t

Create a constant from the given int value.

Sourceval of_int32 : width:Base.int -> Base.int32 -> t

Create a constant from the given int32 value

Sourceval of_int64 : width:Base.int -> Base.int64 -> t

Create a constant from the given int64 value

Sourceval of_int64_array : width:Base.int -> Base.int64 Base.array -> t

Create from an array of int64s

Sourceval of_z : width:Base.int -> Z.t -> t

Convert from an arbitrary precision integer.

Sourceval of_hex_string : signedness:Signedness.t -> width:Base.int -> Base.string -> t

Create from a hex encoded string.

Sourceval of_octal_string : signedness:Signedness.t -> width:Base.int -> Base.string -> t

Create from an octal encoded string.

Sourceval int_of_hex_char : Base.char -> Base.int

Utility conversion functions to/from hex chars

Sourceval hex_char_of_int : Base.int -> Base.char
Sourcemodule type Bit = sig ... end
Sourcemodule Make_bit_list (Bit : Bit) : sig ... end

Create constant conversion functions from lists of some inner Bit.t type.

Sourceval of_bit_list : Base.int Base.list -> t
Sourceval to_bit_list : t -> Base.int Base.list
Sourcemodule Raw : sig ... end

Convert to from constants from raw bit patterns stored in strings and bytes. Data is copied and resized as appropriate.