package typerep

You can search for identifiers within the package.

in-package search v0.2.0

package typerep

typerep
- Typerep_lib
  - Make_typename
    
    Make0
    
    X
    
    Make1
    
    X
    
    Make2
    
    X
    
    Make3
    
    X
    
    Make4
    
    X
    
    Make5
    
    X
  - Named_intf
    
    S0
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
  - Std
  - Std_internal
    
    Typerep
    
    Field
    
    Field_internal
    
    Named
    
    T0
    
    T1
    
    T2
    
    T3
    
    T4
    
    T5
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Tuple
    
    Variant
    
    Variant_internal
  - Type_abstract
    
    Make0
    
    X
    
    Make1
    
    X
    
    Make2
    
    X
    
    Make3
    
    X
    
    Make4
    
    X
    
    Make5
    
    X
  - Type_equal
    
    Lift
    
    X
  - Type_generic
    
    Computation
    
    Field
    
    Field_internal
    
    Named
    
    Context
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    Helper
    
    A
    
    Field
    
    Field_internal
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    B
    
    Field
    
    Field_internal
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    Ident
    
    Make
    
    Computation
    
    Field
    
    Field_internal
    
    Named
    
    Context
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    S
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    X
    
    Field
    
    Field_internal
    
    Named
    
    Context
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    Make_named_for_closure
    
    Context
    
    X
    
    Named
    
    Context
    
    S
    
    Computation
    
    Field
    
    Field_internal
    
    Named
    
    Context
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    S
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    Variant_and_record_intf
    
    M
    
    Field
    
    Field_internal
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    X
    
    S
    
    Field
    
    Field_internal
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
  - Type_generic_intf
    
    M
    
    S
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    X
    
    S
    
    S
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
  - Typename
    
    Key
    
    Make0
    
    X
    
    Make1
    
    X
    
    Make2
    
    X
    
    Make3
    
    X
    
    Make4
    
    X
    
    Make5
    
    X
    
    S0
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
    
    Same_witness_exn_1
    
    A
    
    B
    
    Same_witness_exn_2
    
    A
    
    B
    
    Same_witness_exn_3
    
    A
    
    B
    
    Same_witness_exn_4
    
    A
    
    B
    
    Same_witness_exn_5
    
    A
    
    B
    
    Table
    
    X
    
    Uid
  - Typerep_obj
  - Typerepable
    
    S
    
    S1
    
    S2
    
    S3
    
    S4
    
    S5
  - Variant_and_record_intf
    
    M
    
    Field
    
    Field_internal
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal
    
    X
    
    S
    
    Field
    
    Field_internal
    
    Record
    
    Record_internal
    
    Tag
    
    Tag_internal
    
    Variant
    
    Variant_internal

Legend:
Library
Module
Module type
Parameter
Class
Class type

runtime representation of the name of type 'a. Useful for representing types with a nominal notion of equality

type 'a t

type 'a typename = 'a t

val create : ?name:string -> unit -> 'a t

val static : unit t

val same : _ t -> _ t -> bool

nominal type equality test

val same_witness : 'a t -> 'b t -> ('a, 'b) Type_equal.t option

val same_witness_exn : 'a t -> 'b t -> ('a, 'b) Type_equal.t

module Key : sig ... end

a runtime representation of fully applied type 'a

val key : 'a t -> Key.t

module Uid : sig ... end

an untyped runtime representation of non applied type

val uid : 'a t -> Uid.t

val name : 'a t -> string

module type S0 = sig ... end

module type S1 = sig ... end

module type S2 = sig ... end

module type S3 = sig ... end

module type S4 = sig ... end

module type S5 = sig ... end

module Make0 (X : Named_intf.S0) : S0 with type t := X.t

module Make1 (X : Named_intf.S1) : S1 with type 'a t := 'a X.t

module Make2 (X : Named_intf.S2) : S2 with type ('a, 'b) t := ('a, 'b) X.t

module Make3
  (X : Named_intf.S3) : 
  S3 with type ('a, 'b, 'c) t := ('a, 'b, 'c) X.t

module Make4
  (X : Named_intf.S4) : 
  S4 with type ('a, 'b, 'c, 'd) t := ('a, 'b, 'c, 'd) X.t

module Make5
  (X : Named_intf.S5) : 
  S5 with type ('a, 'b, 'c, 'd, 'e) t := ('a, 'b, 'c, 'd, 'e) X.t

module Table (X : sig ... end) : sig ... end

module Same_witness_exn_1 (A : S1) (B : S1) : sig ... end

module Same_witness_exn_2 (A : S2) (B : S2) : sig ... end

module Same_witness_exn_3 (A : S3) (B : S3) : sig ... end

module Same_witness_exn_4 (A : S4) (B : S4) : sig ... end

module Same_witness_exn_5 (A : S5) (B : S5) : sig ... end