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 = 
  | Undefined : undefined_val t
  | Null : null_val t
  | Boolean : bool t
  | Number : float t
  | String : string t
  | Function : function_val t
  | Object : obj_val t
  | Symbol : symbol t
  | BigInt : bigint_val t

type t(_) = 
  | Undefined : t(undefined_val)
  | Null : t(null_val)
  | Boolean : t(bool)
  | Number : t(float)
  | String : t(string)
  | Function : t(function_val)
  | Object : t(obj_val)
  | Symbol : t(symbol)
  | 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
  | JSString of string
  | JSFunction of function_val
  | JSObject of obj_val
  | JSSymbol of symbol
  | JSBigInt of bigint_val

type tagged_t = 
  | JSFalse
  | JSTrue
  | JSNull
  | JSUndefined
  | JSNumber(float)
  | JSString(string)
  | JSFunction(function_val)
  | JSObject(obj_val)
  | JSSymbol(symbol)
  | JSBigInt(bigint_val)
;

val classify : 'a -> tagged_t

let classify: 'a => tagged_t;