package core_kernel

  1. Overview
  2. No Docs
Industrial strength alternative to OCaml's standard library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (10)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

core_kernel-v0.16.0.tar.gz
sha256=e37370bad978cfb71fdaf2b1a25ab1506b98ef0b91e0dbd189ffd9d853245ce2

doc/core_kernel.univ/Univ/index.html

Module UnivSource

An extensible "universal" variant type.

Every type id (Type_equal.Id.t) corresponds to one branch of the variant type.

Sourcetype t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval type_id_name : t -> string
Sourceval type_id_uid : t -> Core.Type_equal.Id.Uid.t
Sourceval create : 'a Core.Type_equal.Id.t -> 'a -> t
Sourceval does_match : t -> _ Core.Type_equal.Id.t -> bool

does_match t id returns true iff t was created by create id v.

Sourceval match_ : t -> 'a Core.Type_equal.Id.t -> 'a option

match_ t id returns Some v if t was created by create id v, and returns None otherwise.

match_exn t id returns v if t was created by create id v, and raises otherwise.

Sourceval match_exn : t -> 'a Core.Type_equal.Id.t -> 'a
Sourcemodule View : sig ... end
Sourceval view : t -> View.t

view t provides access to the GADT representation of t. This is currently the same as the underlying representation, but is put in the View module to make later changes to the underlying representation easier.