Module Js.Types

Utility functions for runtime reflection on JS types

type symbol

type symbol;

Js symbol type only available in ES6

type bigint_val

type bigint_val;

Js bigint type only available in ES2020

type obj_val

type obj_val;

type undefined_val

type undefined_val;

This type has only one value undefined

type null_val

type null_val;

This type has only one value null

type function_val

type function_val;

type _ t =

type t(_) =

| Undefined : undefined_val t

| Undefined : t(undefined_val)

| Null : null_val t

| Null : t(null_val)

| Boolean : bool t

| Boolean : t(bool)

| Number : float t

| Number : t(float)

| String : string t

| String : t(string)

| Function : function_val t

| Function : t(function_val)

| Object : obj_val t

| Object : t(obj_val)

| Symbol : symbol t

| Symbol : t(symbol)

| BigInt : bigint_val t

| BigInt : t(bigint_val)

;

val test : 'a -> 'b t -> bool

let test: 'a => t('b) => bool;

test "x" String = true

test("x", String) == true;

type tagged_t =

| JSFalse

| JSTrue

| JSNull

| JSUndefined

| JSNumber of float

| JSNumber(float)

| JSString of string

| JSString(string)

| JSFunction of function_val

| JSFunction(function_val)

| JSObject of obj_val

| JSObject(obj_val)

| JSSymbol of symbol

| JSSymbol(symbol)

| JSBigInt of bigint_val

| JSBigInt(bigint_val)

;

val classify : 'a -> tagged_t

let classify: 'a => tagged_t;