package orsetto

  1. Overview
  2. Docs
On This Page
  1. Interface

Module Ucs_type

Runtime type indications for Unicode text.

Interface
type Cf_type.nym +=
  1. | Text : Ucs_text.t Cf_type.nym

The runtime type indicator indicating a Unicode code point.

The type relations that include the Unicode text values.

Include the form.

include Cf_type.Form
val ck : 'a Cf_type.nym -> Cf_type.opaque -> bool

Use ck n v to test whether n is equivalent to the encapsulated runtime type.

val opt : 'a Cf_type.nym -> Cf_type.opaque -> 'a option

Use opt n v to extract Some v' if n is equivalent to the encapsulated runtime type, otherwise returns None.

val req : 'a Cf_type.nym -> Cf_type.opaque -> 'a

Use opt n v to extract v' if n is equivalent to the encapsulated runtime type, otherwise raises an exception (conventionally Type_error).