package ppx_compare

You can search for identifiers within the package.

in-package search v0.2.0

Generation of comparison functions from types

Install

sha256=b7de8451acb6bcd0917b476c8bf2546bc4d45eb9c14a47fa71d19214b4501d57

md5=9149b3a0c954fe2cef2b0705d254b9e3

include S

val type_ : 
  hide:bool ->
  loc:Ppxlib.Location.t ->
  Ppxlib.core_type ->
  Ppxlib.core_type

type_ ~hide ty is ty -> ty -> result_type where result_type is int for compare and bool for equal.

hide controls whether some [@merlin.hide] attributes should be added.

val core_type : Ppxlib.core_type -> Ppxlib.expression

core_type ty is an expression of type ty -> ty -> result_type

val str_type_decl : 
  ctxt:Ppxlib.Expansion_context.Deriver.t ->
  (Ppxlib.rec_flag * Ppxlib.type_declaration list) ->
  Ppxlib.structure

val sig_type_decl : 
  ctxt:Ppxlib.Expansion_context.Deriver.t ->
  (Ppxlib.rec_flag * Ppxlib.type_declaration list) ->
  Ppxlib.signature

module Attrs : sig ... end

val str_attributes : Ppxlib.Attribute.packed list

val equal_core_type : Ppxlib.core_type -> Ppxlib.expression

equal_core_type ty is an expression of type ty -> ty -> bool, using the comparison function generated by core_type