package refl

  1. Overview
  2. Docs
type builtin = [
  1. | `Bool
  2. | `Bytes
  3. | `Char
  4. | `Float
  5. | `Int
  6. | `Int32
  7. | `Int64
  8. | `Nativeint
  9. | `String
  10. | `Unit
]
type structural_without_object = [
  1. | `Array
  2. | `Constr
  3. | `Tuple
  4. | `Record
  5. | `Variant
  6. | `Attributes
  7. | `Name
]
type structural = [
  1. | structural_without_object
  2. | `Object
]
type strictly_liftable = [
  1. | builtin
  2. | structural_without_object
  3. | `Variable
  4. | `Lazy
  5. | `GADT
  6. | `Exists
  7. | `Absent
]
type comparable = [
  1. | strictly_liftable
  2. | `Object
  3. | `MapOpaque
  4. | `Opaque
]
type arrow = [
  1. | `Arrow
  2. | `Labelled_arrow
]
type liftable = [
  1. | comparable
  2. | arrow
]
type visitable = [
  1. | builtin
  2. | structural_without_object
  3. | `Variable
  4. | `Lazy
  5. | `GADT
  6. | `MapOpaque
  7. | `Opaque
]
type all = [
  1. | liftable
  2. | `Present
  3. | `Poly
]
OCaml

Innovation. Community. Security.