package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Compiler_data.TypeAssignmentSource

Sourcetype 'a overloading =
  1. | Single of 'a
  2. | Overloaded of 'a list
Sourceval fold_overloading : ('a -> 'b -> 'a) -> 'a -> 'b overloading -> 'a
Sourceval iter_overloading : ('a -> unit) -> 'a overloading -> unit
Sourcetype 'a t_ =
  1. | Prop
  2. | Any
  3. | Cons of F.t
  4. | App of F.t * 'a t_ * 'a t_ list
  5. | Arr of Elpi_parser.Ast.Structured.variadic * 'a t_ * 'a t_
  6. | UVar of 'a
Sourceval pp_t_ : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a t_ -> Ppx_deriving_runtime.unit
Sourceval show_t_ : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a t_ -> Ppx_deriving_runtime.string
Sourceval fold_t_ : ('a -> 'b -> 'a) -> 'a -> 'b t_ -> 'a
Sourceval compare_t_ : 'a. ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a t_ -> 'a t_ -> Ppx_deriving_runtime.int
Sourcetype skema =
  1. | Lam of F.t * skema
  2. | Ty of F.t t_
Sourceval compare_skema : skema -> skema -> Ppx_deriving_runtime.int
Sourcetype overloaded_skema = skema overloading
Sourcetype skema_w_id = int * skema
Sourcetype overloaded_skema_with_id = skema_w_id overloading
Sourceval show_overloaded_skema_with_id : overloaded_skema_with_id -> Ppx_deriving_runtime.string
Sourcetype t =
  1. | Val of t MutableOnce.t t_
Sourceval nparams : skema_w_id -> int
Sourceval subst : ('a -> 'b t_ option) -> 'a t_ -> 'b t_
Sourceval fresh : skema_w_id -> (int * 'a MutableOnce.t t_) * 'a MutableOnce.t t_ F.Map.t
Sourceval fresh_overloaded : skema_w_id overloading -> (int * 'a MutableOnce.t t_) overloading
Sourceval apply : skema_w_id -> 'a t_ list -> 'a t_
Sourceval eq_skema_w_id : ('a * skema) -> ('b * skema) -> bool
Sourceval diff_id_check : (int * 'a) -> (int * 'b) -> unit
Sourceval diff_ids_check : (int * 'a) -> (int * 'b) list -> unit
Sourceval remove_mem : ('a * skema) -> (int * skema) list -> (int * skema) list -> (int * skema) list
Sourceval merge_skema : (int * skema) overloading -> (int * skema) overloading -> (int * skema) overloading
Sourceval unval : t -> t MutableOnce.t t_
Sourceval set : t MutableOnce.t -> t MutableOnce.t t_ -> unit
Sourceexception Not_monomorphic
Sourceval is_monomorphic : t -> skema option
Sourceval is_arrow_to_prop : 'a t_ -> bool
Sourceval is_predicate : ('a * skema) overloading -> bool
Sourceval arrs : int
Sourceval app : int
Sourceval lvl_of : 'a t_ -> int
Sourceval pretty_parens : lvl:int -> Format.formatter -> t MutableOnce.t t_ -> unit
Sourceval pretty : Format.formatter -> t MutableOnce.t t_ -> unit
Sourceval vars_of : t -> t MutableOnce.t list