package ppx_type_directed_value

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : Base.Applicative.S

module T : 
  Type_directed.Type_directed_value
    with type 'a t = 'a X.t
    with type 'a attribute = Base.Nothing.t

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) Ppx_type_directed_value_runtime.Type_directed.Tuple(T).t ->
  'a T.t

val of_record : ('a, 'length) Type_directed.Record(T).t -> 'a T.t

val of_variant : ('a, 'length) Type_directed.Variant(T).t -> 'a T.t