package gospel

You can search for identifiers within the package.

in-package search v0.2.0

package gospel

gospel
- CHANGES
- README
- Library gospel
  - Gospel
    
    Coercion
    
    Dterm
    
    Mstr
    
    Gospellib
    
    Identifier
    
    Preid
    
    Ident
    
    Opprintast
    
    Option
    
    Parser_frontend
    
    Patmat
    
    Pps
    
    Symbols
    
    Ident
    
    Vs
    
    Svs
    
    Mvs
    
    LS
    
    Sls
    
    Mls
    
    Tast
    
    Ident
    
    Tast_helper
    
    Tast_printer
    
    Tmodule
    
    W
    
    Mstr
    
    Mid
    
    Tterm
    
    Ident
    
    Tterm_helper
    
    Ident
    
    Tterm_printer
    
    Ttypes
    
    W
    
    Ident
    
    Tvar
    
    Htv
    
    Mtv
    
    Ts
    
    Mts
    
    Hts
    
    Xs
    
    Mxs
    
    Typing
    
    Uast
    
    Preid
    
    Uattr2spec
    
    Ulexer
    
    W
    
    Uparser
    
    Upretty_printer
    
    Utils
    
    Fmt
    
    Dump
    
    Sstr
    
    Warnings
- Library gospel.stdlib
  - Gospelstdlib
    
    Sequence
    
    List
    
    Array
    
    Bag
    
    Set
    
    Map
    
    Order
    
    Sys
- Library ppx_odoc_of_gospel
  - Ppx_odoc_of_gospel
- Sources
  - gospel
    
    Opprintast.ml
    
    coercion.ml
    
    dterm.ml
    
    gospel.ml
    
    gospellib.ml
    
    identifier.ml
    
    parser_frontend.ml
    
    patmat.ml
    
    pps.ml
    
    symbols.ml
    
    tast.ml
    
    tast_helper.ml
    
    tast_printer.ml
    
    tmodule.ml
    
    tterm.ml
    
    tterm_helper.ml
    
    tterm_printer.ml
    
    ttypes.ml
    
    typing.ml
    
    uattr2spec.ml
    
    ulexer.ml
    
    uparser.ml
    
    upretty_printer.ml
    
    utils.ml
    
    warnings.ml
  - ppx_odoc_of_gospel
    
    ppx_odoc_of_gospel.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Gospel.Ttypes`Source

Sourcemodule W = Warnings

Sourcemodule Ident = Identifier.Ident

type variables

Sourcetype tvsymbol = {

tv_name : Ident.t;

}

Source

val pp_tvsymbol : 
  Ppx_deriving_runtime.Format.formatter ->
  tvsymbol ->
  Ppx_deriving_runtime.unit

Sourceval show_tvsymbol : tvsymbol -> Ppx_deriving_runtime.string

Sourceval tv_equal : tvsymbol -> tvsymbol -> bool

Sourcemodule Tvar : sig ... end

Sourcemodule Htv : sig ... end

Sourcemodule Mtv : sig ... end

Sourceval create_tv : Ident.t -> tvsymbol

Sourceval fresh_tv : ?loc:Ppxlib.Location.t -> string -> tvsymbol

Sourceval tv_of_string : ?loc:Ppxlib.Location.t -> string -> tvsymbol

types

Sourcetype ty = {

ty_node : ty_node;

}

Sourceand ty_node =

| Tyvar of tvsymbol
| Tyapp of tysymbol * ty list

Sourceand tysymbol = {

ts_ident : Ident.t;
ts_args : tvsymbol list;
ts_alias : ty option;

}

Source

val pp_ty : 
  Ppx_deriving_runtime.Format.formatter ->
  ty ->
  Ppx_deriving_runtime.unit

Sourceval show_ty : ty -> Ppx_deriving_runtime.string

Source

val pp_ty_node : 
  Ppx_deriving_runtime.Format.formatter ->
  ty_node ->
  Ppx_deriving_runtime.unit

Sourceval show_ty_node : ty_node -> Ppx_deriving_runtime.string

Source

val pp_tysymbol : 
  Ppx_deriving_runtime.Format.formatter ->
  tysymbol ->
  Ppx_deriving_runtime.unit

Sourceval show_tysymbol : tysymbol -> Ppx_deriving_runtime.string

Sourceval ts_equal : tysymbol -> tysymbol -> bool

Sourceval ty_equal : ty -> ty -> bool

Sourcemodule Ts : sig ... end

Sourcemodule Mts : sig ... end

Sourcemodule Hts : sig ... end

Sourceval ts : Ident.t -> tvsymbol list -> tysymbol

Sourceval mk_ts : Ident.t -> tvsymbol list -> ty option -> tysymbol

Sourceval ts_ident : tysymbol -> Ident.t

Sourceval ts_args : tysymbol -> tvsymbol list

Sourceval ts_alias : tysymbol -> ty option

Sourceval ts_arity : tysymbol -> int

Sourceval fresh_ty_var : ?loc:Ppxlib.Location.t -> string -> ty

Sourceval ty_of_var : tvsymbol -> ty

smart constructors & utils

Sourceval ty_full_inst : ?loc:Ppxlib.Location.t -> ty Mtv.t -> ty -> ty

Sourceval ts_match_args : ?loc:Ppxlib.Location.t -> tysymbol -> 'a list -> 'a Mtv.t

Sourceval ty_app : ?loc:Ppxlib.Location.t -> tysymbol -> ty list -> ty

Sourceval ts_subst_ts : tysymbol -> tysymbol -> tysymbol -> tysymbol

Sourceval ty_subst_ts : tysymbol -> tysymbol -> ty -> ty

Sourceval ty_subst_ty : tysymbol -> tysymbol -> ty -> ty -> ty

Sourceval ts_subst_ty : tysymbol -> tysymbol -> ty -> tysymbol -> tysymbol

type matching

Sourceexception TypeMismatch of ty * ty

Sourceval ty_match : ty Mtv.t -> ty -> ty -> ty Mtv.t

Sourceval ty_equal_check : ty -> ty -> unit

Built-in symbols

Sourceval ts_unit : tysymbol

Sourceval ts_integer : tysymbol

Sourceval ts_int : tysymbol

Sourceval ts_char : tysymbol

Sourceval ts_bytes : tysymbol

Sourceval ts_string : tysymbol

Sourceval ts_float : tysymbol

Sourceval ts_bool : tysymbol

Sourceval ts_exn : tysymbol

Sourceval ts_array : tysymbol

Sourceval ts_list : tysymbol

Sourceval ts_option : tysymbol

Sourceval ts_int32 : tysymbol

Sourceval ts_int64 : tysymbol

Sourceval ts_nativeint : tysymbol

Sourceval ts_format6 : tysymbol

Sourceval ts_lazy : tysymbol

Sourceval ts_tuple : int -> tysymbol

Sourceval ts_arrow : tysymbol

Sourceval is_ts_tuple : tysymbol -> bool

Sourceval is_ts_arrow : tysymbol -> bool

Sourceval ty_unit : ty

Sourceval ty_integer : ty

Sourceval ty_int : ty

Sourceval ty_bool : ty

Sourceval ty_float : ty

Sourceval ty_char : ty

Sourceval ty_string : ty

Sourceval ty_option : ty -> ty

Sourceval ty_list : ty -> ty

Sourceval ty_tuple : ty list -> ty

Sourcetype exn_type =

| Exn_tuple of ty list
| Exn_record of (Ident.t * ty) list

Source

val pp_exn_type : 
  Ppx_deriving_runtime.Format.formatter ->
  exn_type ->
  Ppx_deriving_runtime.unit

Sourceval show_exn_type : exn_type -> Ppx_deriving_runtime.string

Sourcetype xsymbol = {

xs_ident : Ident.t;
xs_type : exn_type;

}

Source

val pp_xsymbol : 
  Ppx_deriving_runtime.Format.formatter ->
  xsymbol ->
  Ppx_deriving_runtime.unit

Sourceval show_xsymbol : xsymbol -> Ppx_deriving_runtime.string

Sourceval xsymbol : Ident.t -> exn_type -> xsymbol

Sourceval xs_equal : xsymbol -> xsymbol -> bool

Sourcemodule Xs : sig ... end

Sourcemodule Mxs : sig ... end

Sourceval xs_subst_ts : tysymbol -> tysymbol -> xsymbol -> xsymbol

Sourceval xs_subst_ty : tysymbol -> tysymbol -> ty -> xsymbol -> xsymbol

Pretty printers

Sourceval print_tv : Format.formatter -> tvsymbol -> unit

Sourceval print_ts_name : Format.formatter -> tysymbol -> unit

Sourceval print_ty : ty Utils.Fmt.t

Sourceval print_arrow_ty : Format.formatter -> ty list -> unit

Sourceval print_ty_node : Format.formatter -> ty_node -> unit

Sourceval print_ts : Format.formatter -> tysymbol -> unit

Sourceval print_exn_type : Format.formatter -> exn_type -> unit

Sourceval print_xs : Format.formatter -> xsymbol -> unit

package gospel

Module Gospel.TtypesSource

Module `Gospel.Ttypes`Source