package links
The syntax tree created by the parser.
module Binder : sig ... end
type tyarg = Types.type_arg
val pp_tyarg :
Ppx_deriving_runtime.Format.formatter ->
tyarg ->
Ppx_deriving_runtime.unit
val show_tyarg : tyarg -> Ppx_deriving_runtime.string
val default_subkind : CommonTypes.Subkind.t
val default_effect_subkind : CommonTypes.Subkind.t
type kind = CommonTypes.PrimaryKind.t option * CommonTypes.Subkind.t option
val pp_kind :
Ppx_deriving_runtime.Format.formatter ->
kind ->
Ppx_deriving_runtime.unit
val show_kind : kind -> Ppx_deriving_runtime.string
module SugarTypeVar : sig ... end
module SugarQuantifier : sig ... end
val pp_fieldconstraint :
Ppx_deriving_runtime.Format.formatter ->
fieldconstraint ->
Ppx_deriving_runtime.unit
val show_fieldconstraint : fieldconstraint -> Ppx_deriving_runtime.string
module Datatype : sig ... end
type datatype' = Datatype.with_pos * Types.datatype option
val pp_datatype' :
Ppx_deriving_runtime.Format.formatter ->
datatype' ->
Ppx_deriving_runtime.unit
val show_datatype' : datatype' -> Ppx_deriving_runtime.string
type type_arg' = Datatype.type_arg * Types.type_arg option
val pp_type_arg' :
Ppx_deriving_runtime.Format.formatter ->
type_arg' ->
Ppx_deriving_runtime.unit
val show_type_arg' : type_arg' -> Ppx_deriving_runtime.string
module Pattern : sig ... end
module Alien : sig ... end
val pp_spawn_kind :
Ppx_deriving_runtime.Format.formatter ->
spawn_kind ->
Ppx_deriving_runtime.unit
val show_spawn_kind : spawn_kind -> Ppx_deriving_runtime.string
val pp_fn_dep :
Ppx_deriving_runtime.Format.formatter ->
fn_dep ->
Ppx_deriving_runtime.unit
val show_fn_dep : fn_dep -> Ppx_deriving_runtime.string
val pp_handler_depth :
Ppx_deriving_runtime.Format.formatter ->
handler_depth ->
Ppx_deriving_runtime.unit
val show_handler_depth : handler_depth -> Ppx_deriving_runtime.string
and regex =
| Range of char * char
| Simply of string
| Quote of regex
| Any
| StartAnchor
| EndAnchor
| Seq of regex list
| Alternate of regex * regex
| Group of regex
| Repeat of Regex.repeat * regex
| Splice of phrase
| Replace of regex * replace_rhs
and clause = Pattern.with_pos * phrase
and switch_funlit = Pattern.with_pos list list * switch_funlit_body
and switch_funlit_body = (Pattern.with_pos * phrase) list
and normal_funlit = Pattern.with_pos list list * phrase
and handler = {
sh_expr : phrase;
sh_effect_cases : clause list;
sh_value_cases : clause list;
sh_descr : handler_descriptor;
}
and handler_descriptor = {
shd_depth : handler_depth;
shd_types : Types.row * Types.datatype * Types.row * Types.datatype;
shd_raw_row : Types.row;
shd_params : handler_parameterisation option;
}
and handler_parameterisation = {
shp_bindings : (Pattern.with_pos * phrase) list;
shp_types : Types.datatype list;
}
and phrasenode =
| Constant of CommonTypes.Constant.t
| Var of CommonTypes.Name.t
| FreezeVar of CommonTypes.Name.t
| QualifiedVar of CommonTypes.Name.t list
| FunLit of (Types.datatype * Types.row) list option * CommonTypes.DeclaredLinearity.t * funlit * CommonTypes.Location.t
| Spawn of spawn_kind * given_spawn_location * phrase * Types.row option
| Query of (phrase * phrase) option * CommonTypes.QueryPolicy.t * phrase * Types.datatype option
| RangeLit of phrase * phrase
| ListLit of phrase list * Types.datatype option
| Iteration of iterpatt list * phrase * phrase option * phrase option
| Escape of Binder.with_pos * phrase
| Section of Operators.Section.t
| FreezeSection of Operators.Section.t
| Conditional of phrase * phrase * phrase
| Block of block_body
| InfixAppl of tyarg list * Operators.BinaryOp.t * phrase * phrase
| Regex of regex
| UnaryAppl of tyarg list * Operators.UnaryOp.t * phrase
| FnAppl of phrase * phrase list
| TAbstr of SugarQuantifier.t list * phrase
| TAppl of phrase * type_arg' list
| TupleLit of phrase list
| RecordLit of (CommonTypes.Name.t * phrase) list * phrase option
| Projection of phrase * CommonTypes.Name.t
| With of phrase * (CommonTypes.Name.t * phrase) list
| TypeAnnotation of phrase * datatype'
| Upcast of phrase * datatype' * datatype'
| Instantiate of phrase
| Generalise of phrase
| ConstructorLit of CommonTypes.Name.t * phrase option * Types.datatype option
| DoOperation of CommonTypes.Name.t * phrase list * Types.datatype option
| Handle of handler
| Switch of phrase * (Pattern.with_pos * phrase) list * Types.datatype option
| Receive of (Pattern.with_pos * phrase) list * Types.datatype option
| DatabaseLit of phrase * phrase option * phrase option
| TableLit of phrase * Datatype.with_pos * (Types.datatype * Types.datatype * Types.datatype) option * (CommonTypes.Name.t * fieldconstraint list) list * phrase * phrase
| DBDelete of Pattern.with_pos * phrase * phrase option
| DBInsert of phrase * CommonTypes.Name.t list * phrase * phrase option
| DBUpdate of Pattern.with_pos * phrase * phrase option * (CommonTypes.Name.t * phrase) list
| LensLit of phrase * Links_core.Lens.Type.t option
| LensSerialLit of phrase * string list * Links_core.Lens.Type.t option
| LensKeysLit of phrase * phrase * Links_core.Lens.Type.t option
| LensFunDepsLit of phrase * (string list * string list) list * Links_core.Lens.Type.t option
| LensDropLit of phrase * string * string * phrase * Links_core.Lens.Type.t option
| LensSelectLit of phrase * phrase * Links_core.Lens.Type.t option
| LensJoinLit of phrase * phrase * phrase * phrase * phrase * Links_core.Lens.Type.t option
| LensGetLit of phrase * Types.datatype option
| LensCheckLit of phrase * Links_core.Lens.Type.t option
| LensPutLit of phrase * phrase * Types.datatype option
| Xml of CommonTypes.Name.t * (CommonTypes.Name.t * phrase list) list * phrase option * phrase list
| TextNode of string
| Formlet of phrase * phrase
| Page of phrase
| FormletPlacement of phrase * phrase * phrase
| PagePlacement of phrase
| FormBinding of phrase * Pattern.with_pos
| Select of CommonTypes.Name.t * phrase
| Offer of phrase * (Pattern.with_pos * phrase) list * Types.datatype option
| CP of cp_phrase
| TryInOtherwise of phrase * Pattern.with_pos * phrase * phrase * Types.datatype option
| Raise
and phrase = phrasenode SourceCode.WithPos.t
and bindingnode =
| Val of Pattern.with_pos * SugarQuantifier.t list * phrase * CommonTypes.Location.t * datatype' option
| Fun of function_definition
| Funs of recursive_function list
| Foreign of Alien.single Alien.t
| Import of {
pollute : bool;
path : CommonTypes.Name.t list;
}
| Open of CommonTypes.Name.t list
| Typenames of typename list
| Infix of {
assoc : Operators.Associativity.t;
precedence : int;
name : string;
}
| Exp of phrase
| Module of {
binder : Binder.with_pos;
members : binding list;
}
| AlienBlock of Alien.multi Alien.t
and binding = bindingnode SourceCode.WithPos.t
and cp_phrasenode =
| CPUnquote of binding list * phrase
| CPGrab of string * (Types.datatype * tyarg list) option * Binder.with_pos option * cp_phrase
| CPGive of string * (Types.datatype * tyarg list) option * phrase option * cp_phrase
| CPGiveNothing of Binder.with_pos
| CPSelect of Binder.with_pos * string * cp_phrase
| CPOffer of Binder.with_pos * (string * cp_phrase) list
| CPLink of Binder.with_pos * Binder.with_pos
| CPComp of Binder.with_pos * cp_phrase * cp_phrase
and cp_phrase = cp_phrasenode SourceCode.WithPos.t
and typenamenode = CommonTypes.Name.t * SugarQuantifier.t list * datatype'
and typename = typenamenode SourceCode.WithPos.t
and function_definition = {
fun_binder : Binder.with_pos;
fun_linearity : CommonTypes.DeclaredLinearity.t;
fun_definition : SugarQuantifier.t list * funlit;
fun_location : CommonTypes.Location.t;
fun_signature : datatype' option;
fun_unsafe_signature : bool;
fun_frozen : bool;
}
and recursive_functionnode = {
rec_binder : Binder.with_pos;
rec_linearity : CommonTypes.DeclaredLinearity.t;
rec_definition : (SugarQuantifier.t list * (Types.datatype * int option list) option) * funlit;
rec_location : CommonTypes.Location.t;
rec_signature : datatype' option;
rec_unsafe_signature : bool;
rec_frozen : bool;
}
and recursive_function = recursive_functionnode SourceCode.WithPos.t
val pp_replace_rhs :
Ppx_deriving_runtime.Format.formatter ->
replace_rhs ->
Ppx_deriving_runtime.unit
val show_replace_rhs : replace_rhs -> Ppx_deriving_runtime.string
val pp_given_spawn_location :
Ppx_deriving_runtime.Format.formatter ->
given_spawn_location ->
Ppx_deriving_runtime.unit
val show_given_spawn_location :
given_spawn_location ->
Ppx_deriving_runtime.string
val pp_regex :
Ppx_deriving_runtime.Format.formatter ->
regex ->
Ppx_deriving_runtime.unit
val show_regex : regex -> Ppx_deriving_runtime.string
val pp_clause :
Ppx_deriving_runtime.Format.formatter ->
clause ->
Ppx_deriving_runtime.unit
val show_clause : clause -> Ppx_deriving_runtime.string
val pp_funlit :
Ppx_deriving_runtime.Format.formatter ->
funlit ->
Ppx_deriving_runtime.unit
val show_funlit : funlit -> Ppx_deriving_runtime.string
val pp_switch_funlit :
Ppx_deriving_runtime.Format.formatter ->
switch_funlit ->
Ppx_deriving_runtime.unit
val show_switch_funlit : switch_funlit -> Ppx_deriving_runtime.string
val pp_switch_funlit_body :
Ppx_deriving_runtime.Format.formatter ->
switch_funlit_body ->
Ppx_deriving_runtime.unit
val show_switch_funlit_body : switch_funlit_body -> Ppx_deriving_runtime.string
val pp_normal_funlit :
Ppx_deriving_runtime.Format.formatter ->
normal_funlit ->
Ppx_deriving_runtime.unit
val show_normal_funlit : normal_funlit -> Ppx_deriving_runtime.string
val pp_handler :
Ppx_deriving_runtime.Format.formatter ->
handler ->
Ppx_deriving_runtime.unit
val show_handler : handler -> Ppx_deriving_runtime.string
val pp_handler_descriptor :
Ppx_deriving_runtime.Format.formatter ->
handler_descriptor ->
Ppx_deriving_runtime.unit
val show_handler_descriptor : handler_descriptor -> Ppx_deriving_runtime.string
val pp_handler_parameterisation :
Ppx_deriving_runtime.Format.formatter ->
handler_parameterisation ->
Ppx_deriving_runtime.unit
val show_handler_parameterisation :
handler_parameterisation ->
Ppx_deriving_runtime.string
val pp_iterpatt :
Ppx_deriving_runtime.Format.formatter ->
iterpatt ->
Ppx_deriving_runtime.unit
val show_iterpatt : iterpatt -> Ppx_deriving_runtime.string
val pp_phrasenode :
Ppx_deriving_runtime.Format.formatter ->
phrasenode ->
Ppx_deriving_runtime.unit
val show_phrasenode : phrasenode -> Ppx_deriving_runtime.string
val pp_phrase :
Ppx_deriving_runtime.Format.formatter ->
phrase ->
Ppx_deriving_runtime.unit
val show_phrase : phrase -> Ppx_deriving_runtime.string
val pp_bindingnode :
Ppx_deriving_runtime.Format.formatter ->
bindingnode ->
Ppx_deriving_runtime.unit
val show_bindingnode : bindingnode -> Ppx_deriving_runtime.string
val pp_binding :
Ppx_deriving_runtime.Format.formatter ->
binding ->
Ppx_deriving_runtime.unit
val show_binding : binding -> Ppx_deriving_runtime.string
val pp_block_body :
Ppx_deriving_runtime.Format.formatter ->
block_body ->
Ppx_deriving_runtime.unit
val show_block_body : block_body -> Ppx_deriving_runtime.string
val pp_cp_phrasenode :
Ppx_deriving_runtime.Format.formatter ->
cp_phrasenode ->
Ppx_deriving_runtime.unit
val show_cp_phrasenode : cp_phrasenode -> Ppx_deriving_runtime.string
val pp_cp_phrase :
Ppx_deriving_runtime.Format.formatter ->
cp_phrase ->
Ppx_deriving_runtime.unit
val show_cp_phrase : cp_phrase -> Ppx_deriving_runtime.string
val pp_typenamenode :
Ppx_deriving_runtime.Format.formatter ->
typenamenode ->
Ppx_deriving_runtime.unit
val show_typenamenode : typenamenode -> Ppx_deriving_runtime.string
val pp_typename :
Ppx_deriving_runtime.Format.formatter ->
typename ->
Ppx_deriving_runtime.unit
val show_typename : typename -> Ppx_deriving_runtime.string
val pp_function_definition :
Ppx_deriving_runtime.Format.formatter ->
function_definition ->
Ppx_deriving_runtime.unit
val show_function_definition :
function_definition ->
Ppx_deriving_runtime.string
val pp_recursive_functionnode :
Ppx_deriving_runtime.Format.formatter ->
recursive_functionnode ->
Ppx_deriving_runtime.unit
val show_recursive_functionnode :
recursive_functionnode ->
Ppx_deriving_runtime.string
val pp_recursive_function :
Ppx_deriving_runtime.Format.formatter ->
recursive_function ->
Ppx_deriving_runtime.unit
val show_recursive_function : recursive_function -> Ppx_deriving_runtime.string
val pp_directive :
Ppx_deriving_runtime.Format.formatter ->
directive ->
Ppx_deriving_runtime.unit
val show_directive : directive -> Ppx_deriving_runtime.string
val pp_sentence :
Ppx_deriving_runtime.Format.formatter ->
sentence ->
Ppx_deriving_runtime.unit
val show_sentence : sentence -> Ppx_deriving_runtime.string
val pp_program :
Ppx_deriving_runtime.Format.formatter ->
program ->
Ppx_deriving_runtime.unit
val show_program : program -> Ppx_deriving_runtime.string
exception ConcreteSyntaxError of SourceCode.Position.t * string
val tabstr : (SugarQuantifier.t list * phrasenode) -> phrasenode
val tappl : (phrasenode * tyarg list) -> phrasenode
val tappl' : (phrase * tyarg list) -> phrasenode
val get_normal_funlit : funlit -> normal_funlit
module Freevars : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>