refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Builtins . Refl . Kinds
type builtin = [
| `Bool
| `Bytes
| `Char
| `Float
| `Int
| `Int32
| `Int64
| `Nativeint
| `String
| `Unit
]
type structural_without_object = [
| `Array
| `Constr
| `Tuple
| `Record
| `Variant
| `Attributes
| `Name
]
type structural = [
| structural_without_object
| `Object
]
type strictly_liftable = [
| builtin
| structural_without_object
| `Variable
| `Lazy
| `GADT
| `Exists
| `Absent
]
type comparable = [
| strictly_liftable
| `Object
| `MapOpaque
| `Opaque
]
type arrow = [
| `Arrow
| `Labelled_arrow
]
type liftable = [
| comparable
| arrow
]
type visitable = [
| builtin
| structural_without_object
| `Variable
| `Lazy
| `GADT
| `MapOpaque
| `Opaque
]
type all = [
| liftable
| `Present
| `Poly
]