package elpi

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

Module Compiler_data.TypeAssignmentSource

Sourcetype tmode =
  1. | MRef of tmode MutableOnce.t
  2. | MVal of Elpi_util.Util.Mode.t
Sourceval deref_tmode : tmode -> tmode
Sourceval compare_tmode : tmode -> tmode -> Ppx_deriving_runtime.int
Sourceval is_tmode_set : tmode -> bool
Sourceval pretty_tmode : Format.formatter -> tmode -> unit
Sourceval is_input : tmode -> bool
Sourcetype 'a overloaded =
  1. | Single of 'a
  2. | Overloaded of 'a list
Sourceval fold_overloaded : ('a -> 'b -> 'a) -> 'a -> 'b overloaded -> 'a
Sourceval iter_overloaded : ('a -> unit) -> 'a overloaded -> unit
Sourcetype ('uvar, 'mode) t__ =
  1. | Prop of Elpi_parser.Ast.Structured.functionality
  2. | Any
  3. | Cons of F.t
  4. | App of F.t * ('uvar, 'mode) t__ * ('uvar, 'mode) t__ list
  5. | Arr of 'mode * Elpi_parser.Ast.Structured.variadic * ('uvar, 'mode) t__ * ('uvar, 'mode) t__
  6. | UVar of 'uvar
Sourceval pp_t__ : 'uvar 'mode. (Ppx_deriving_runtime.Format.formatter -> 'uvar -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'mode -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> ('uvar, 'mode) t__ -> Ppx_deriving_runtime.unit
Sourceval show_t__ : 'uvar 'mode. (Ppx_deriving_runtime.Format.formatter -> 'uvar -> Ppx_deriving_runtime.unit) -> (Ppx_deriving_runtime.Format.formatter -> 'mode -> Ppx_deriving_runtime.unit) -> ('uvar, 'mode) t__ -> Ppx_deriving_runtime.string
Sourceval fold_t__ : ('a -> 'b -> 'a) -> ('a -> 'c -> 'a) -> 'a -> ('b, 'c) t__ -> 'a
Sourceval compare_t__ : 'uvar 'mode. ('uvar -> 'uvar -> Ppx_deriving_runtime.int) -> ('mode -> 'mode -> Ppx_deriving_runtime.int) -> ('uvar, 'mode) t__ -> ('uvar, 'mode) t__ -> Ppx_deriving_runtime.int
Sourcetype 'a t_ = ('a, tmode) t__
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, 'c) t__ -> 'a
Sourceexception InvalidMode
Sourceval cmp_aux : int -> (unit -> int) -> int
Sourceval (&&&) : int -> int -> int
Sourcetype skema =
  1. | Lam of F.t * skema
  2. | Ty of F.t t_
Sourcetype type_abbrevs = (skema * Elpi_parser.Ast.Loc.t) F.Map.t
Sourcetype overloaded_symbol = Symbol.t overloaded
Sourcetype t =
  1. | Val of t MutableOnce.t t_
Sourceval unval : t -> t MutableOnce.t t_
Sourceval deref_opt : t MutableOnce.t -> t MutableOnce.t t_ option
Sourceval pretty : (Format.formatter -> (Format.formatter -> 'a t_ -> unit) -> 'a -> unit) -> Format.formatter -> 'a t_ -> unit
Sourceval pretty_mut_once : Format.formatter -> t MutableOnce.t t_ -> unit
Sourceval pretty_ft : Format.formatter -> F.t t_ -> unit
Sourceval pretty_skema : Format.formatter -> skema -> unit
Sourceval pretty_skema_w_id : Format.formatter -> ('a * skema) -> unit
Sourceval pretty_overloaded_skema : Format.formatter -> ('a * skema) overloaded -> unit
Sourceval set : t MutableOnce.t -> t MutableOnce.t t_ -> unit
Sourceval new_ty : unit -> t MutableOnce.t
Sourceval nparams : skema -> int
Sourceval subst : ('a -> ('b, 'c) t__ option) -> ('a, 'c) t__ -> ('b, 'c) t__
Sourceval map_overloaded : ('a -> 'b) -> 'a overloaded -> 'b overloaded
Sourceval fresh_overloaded : skema overloaded -> ('a MutableOnce.t, tmode) t__ overloaded
Sourceval apply : skema -> ('a, tmode) t__ list -> ('a, tmode) t__
Sourceval is_prop : type_abbrevs:(skema * 'a) F.Map.t -> ('b, tmode) t__ -> Elpi_parser.Ast.Structured.functionality option
Sourceval eq_skema_w_id : F.t -> (Symbol.t * skema) -> (Symbol.t * skema) -> bool
Sourceval check_same_mode : loc1:Elpi_util.Util.Loc.t -> loc2:Elpi_util.Util.Loc.t -> skema -> skema -> unit
Sourceval undup_skemas : (Symbol.t -> skema) -> Symbol.t list -> (Symbol.t * Symbol.t) list * Symbol.t overloaded
Sourceval merge_skema : skema -> skema -> skema
Sourceval compare_t_ : ('a -> 'a -> Ppx_deriving_runtime.int) -> ('a, tmode) t__ -> ('a, tmode) t__ -> Ppx_deriving_runtime.int
Sourceval compare_skema : skema -> skema -> Ppx_deriving_runtime.int
Sourceexception Not_monomorphic
Sourceval is_monomorphic : t -> skema option
Sourceval vars_of : t -> t MutableOnce.t list * tmode MutableOnce.t list
Sourceval to_func_mode : type_abbrevs:type_abbrevs -> ('a, tmode) t__ -> Elpi_parser.Ast.Structured.functionality option * Elpi_util.Util.Mode.ho list
Sourceval skema_to_func_mode : type_abbrevs:type_abbrevs -> skema -> Elpi_parser.Ast.Structured.functionality option * Elpi_util.Util.Mode.ho list