package ppx_type_directed_value

  1. Overview
  2. Docs

Signature that a user-provided module should implement to guide the code generation of type-directed values

Type-directed value of interest

val apply_iso : 'a T.t -> ('a -> 'b) -> ('b -> 'a) -> 'b T.t

Given transformations between two isomorphic types 'a, 'b, turns a 'a type-directed value to a 'b type-directed value

val of_tuple : ('a, 'length) Tuple(T).t -> 'a T.t
val of_record : ('a, 'length) Record(T).t -> 'a T.t
val of_variant : ('a, 'length) Variant(T).t -> 'a T.t