package core_kernel

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

Install 

dune-project
 Dependency

github.com Changelog MIT License Edit opam file Versions (10)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.17.0.tar.gz
sha256=fd2b8c6715794df7a810a62b226f53720f211cd344b4afc9fab0498796d6b466

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.