package elpi

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

Module Compiler_data.ScopedTypeExpressionSource

Sourcemodule SimpleType : sig ... end
Sourcetype t_ =
  1. | Any
  2. | Const of Scope.t * F.t
  3. | App of Scope.t * F.t * e * e list
  4. | Arrow of Elpi_parser.Ast.Structured.variadic * e * e
  5. | Pred of Elpi_parser.Ast.Structured.functionality * (Elpi_parser.Ast.Mode.t * e) list
Sourceand e = {
  1. it : t_;
  2. loc : Elpi_util.Util.Loc.t;
}
Sourceval pp_t_ : Ppx_deriving_runtime.Format.formatter -> t_ -> Ppx_deriving_runtime.unit
Sourceval show_t_ : t_ -> Ppx_deriving_runtime.string
Sourceval arrs : int
Sourceval app : int
Sourceval lvl_of : t_ -> int
Sourceval pretty_ie : Format.formatter -> (Elpi_parser.Ast.Mode.t * e) -> unit
Sourceval pretty_e_parens : lvl:int -> Format.formatter -> e -> unit
Sourceval pretty_e_loc : Format.formatter -> e -> unit
Sourceval pretty_e : Format.formatter -> e -> unit
Sourceval of_simple_type : SimpleType.t_ -> t_
Sourceval of_simple_type_loc : SimpleType.t -> e
Sourcetype v_ =
  1. | Lam of F.t * v_
  2. | Ty of e
Sourceval pp_v_ : Ppx_deriving_runtime.Format.formatter -> v_ -> Ppx_deriving_runtime.unit
Sourceval show_v_ : v_ -> Ppx_deriving_runtime.string
Sourcetype t = {
  1. name : F.t;
  2. value : v_;
  3. nparams : int;
  4. loc : Elpi_util.Util.Loc.t;
  5. indexing : Elpi_parser.Ast.Structured.tattribute option;
}
Sourceval pretty : Format.formatter -> t -> unit
Sourceval eqt : ScopeContext.ctx -> e -> e -> bool
Sourceval eq : ScopeContext.ctx -> v_ -> v_ -> bool
Sourceval equal : t -> t -> bool
Sourceval compare : 'a -> 'b -> 'c
Sourceval smart_map_scoped_loc_ty : (F.t -> F.t) -> e -> e
Sourceval smart_map_scoped_ty : (F.t -> F.t) -> t_ -> t_
Sourceval smart_map_tye : (F.t -> F.t) -> v_ -> v_
Sourceval smart_map : (F.t -> F.t) -> t -> t