links 0.9.2 · OCaml Package

val pos : unit -> SourceCode.Position.t

val with_pos : unit -> 'a -> 'a SourceCode.WithPos.t

val dp : unit

val with_dummy_pos : 'a -> 'a SourceCode.WithPos.t

val fresh_type_variable : CommonTypes.Freedom.t -> Sugartypes.SugarTypeVar.t

type name_or_pat =

| PatName of CommonTypes.Name.t
| Pat of Sugartypes.Pattern.with_pos

type signature =
  (CommonTypes.Name.t SourceCode.WithPos.t * Sugartypes.datatype')
    SourceCode.WithPos.t
    option

val var : ?ppos:unit -> CommonTypes.Name.t -> Sugartypes.phrase

val freeze_var : ?ppos:unit -> CommonTypes.Name.t -> Sugartypes.phrase

val block : ?ppos:unit -> Sugartypes.block_body -> Sugartypes.phrase

val block_node : Sugartypes.block_body -> Sugartypes.phrasenode

val datatype : 
  Sugartypes.Datatype.with_pos ->
  Sugartypes.Datatype.with_pos * 'a option

val cp_unit : unit -> Sugartypes.cp_phrase

val record : 
  ?ppos:unit ->
  ?exp:Sugartypes.phrase ->
  (CommonTypes.Name.t * Sugartypes.phrase) list ->
  Sugartypes.phrase

val tuple : ?ppos:unit -> Sugartypes.phrase list -> Sugartypes.phrase

val orderby_tuple : ?ppos:unit -> Sugartypes.phrase list -> Sugartypes.phrase

val list : 
  ?ppos:unit ->
  ?ty:Types.datatype ->
  Sugartypes.phrase list ->
  Sugartypes.phrase

val constructor : 
  ?ppos:unit ->
  ?body:Sugartypes.phrase ->
  ?ty:Types.datatype ->
  CommonTypes.Name.t ->
  Sugartypes.phrase

val constant : ?ppos:unit -> CommonTypes.Constant.t -> Sugartypes.phrase

val constant_str : ?ppos:unit -> string -> Sugartypes.phrase

val constant_char : ?ppos:unit -> char -> Sugartypes.phrase

val binder : 
  ?ppos:unit ->
  ?ty:Types.datatype ->
  CommonTypes.Name.t ->
  Sugartypes.Binder.with_pos

val import : 
  ?ppos:unit ->
  ?pollute:bool ->
  CommonTypes.Name.t list ->
  Sugartypes.binding

val variable_pat : 
  ?ppos:unit ->
  ?ty:Types.datatype ->
  CommonTypes.Name.t ->
  Sugartypes.Pattern.with_pos

val tuple_pat : 
  ?ppos:unit ->
  Sugartypes.Pattern.with_pos list ->
  Sugartypes.Pattern.with_pos

val any_pat : unit -> Sugartypes.Pattern.with_pos

val present : Sugartypes.Datatype.fieldspec

val row_with_wp : Sugartypes.Datatype.row -> Sugartypes.Datatype.row

val hear_arrow_prefix : 
  Sugartypes.Datatype.with_pos ->
  Sugartypes.Datatype.row ->
  Sugartypes.Datatype.row

val fun_lit : 
  ?ppos:unit ->
  ?args:(Types.datatype * Types.row) list ->
  ?location:CommonTypes.Location.t ->
  CommonTypes.DeclaredLinearity.t ->
  Sugartypes.Pattern.with_pos list list ->
  Sugartypes.phrase ->
  Sugartypes.phrase

val switch_fun_lit : 
  ?ppos:unit ->
  ?args:(Types.datatype * Types.row) list ->
  ?location:CommonTypes.Location.t ->
  CommonTypes.DeclaredLinearity.t ->
  Sugartypes.Pattern.with_pos list list ->
  Sugartypes.switch_funlit_body ->
  Sugartypes.phrase

val spawn : 
  ?ppos:unit ->
  ?row:Types.row ->
  Sugartypes.spawn_kind ->
  Sugartypes.given_spawn_location ->
  Sugartypes.phrase ->
  Sugartypes.phrase

val fn_appl_node : 
  ?ppos:unit ->
  CommonTypes.Name.t ->
  Sugartypes.tyarg list ->
  Sugartypes.phrase list ->
  Sugartypes.phrasenode

val fn_appl : 
  ?ppos:unit ->
  CommonTypes.Name.t ->
  Sugartypes.tyarg list ->
  Sugartypes.phrase list ->
  Sugartypes.phrase

val fn_appl_var : 
  ?ppos:unit ->
  CommonTypes.Name.t ->
  CommonTypes.Name.t ->
  Sugartypes.phrase

val fun_binding : 
  ?ppos:unit ->
  signature ->
  ?unsafe_sig:bool ->
  ((CommonTypes.DeclaredLinearity.t * bool)
   * CommonTypes.Name.t
   * Sugartypes.Pattern.with_pos list list
   * CommonTypes.Location.t
   * Sugartypes.phrase) ->
  Sugartypes.binding

val fun_binding' : 
  ?ppos:unit ->
  ?linearity:CommonTypes.DeclaredLinearity.t ->
  ?tyvars:Sugartypes.SugarQuantifier.t list ->
  ?location:CommonTypes.Location.t ->
  ?annotation:Sugartypes.datatype' ->
  Sugartypes.Binder.with_pos ->
  Sugartypes.funlit ->
  Sugartypes.binding

val switch_fun_binding : 
  ?ppos:unit ->
  signature ->
  ?unsafe_sig:bool ->
  ((CommonTypes.DeclaredLinearity.t * bool)
   * CommonTypes.Name.t
   * Sugartypes.Pattern.with_pos list list
   * CommonTypes.Location.t
   * Sugartypes.switch_funlit_body) ->
  Sugartypes.binding

val val_binding' : 
  ?ppos:unit ->
  signature ->
  (name_or_pat * Sugartypes.phrase * CommonTypes.Location.t) ->
  Sugartypes.binding

val val_binding : 
  ?ppos:unit ->
  Sugartypes.Pattern.with_pos ->
  Sugartypes.phrase ->
  Sugartypes.binding

val module_binding : 
  ?ppos:unit ->
  Sugartypes.Binder.with_pos ->
  Sugartypes.binding list ->
  Sugartypes.binding

val db_exps : 
  ?ppos:unit ->
  (CommonTypes.Name.t * Sugartypes.phrase) list ->
  Sugartypes.phrase

val db_insert : 
  ?ppos:unit ->
  Sugartypes.phrase ->
  CommonTypes.Name.t list ->
  Sugartypes.phrase ->
  string option ->
  Sugartypes.phrase

val query : 
  ?ppos:unit ->
  (Sugartypes.phrase * Sugartypes.phrase) option ->
  CommonTypes.QueryPolicy.t ->
  Sugartypes.phrase ->
  Sugartypes.phrase

val infix_appl' : 
  ?ppos:unit ->
  Sugartypes.phrase ->
  Operators.BinaryOp.t ->
  Sugartypes.phrase ->
  Sugartypes.phrase

val infix_appl : 
  ?ppos:unit ->
  Sugartypes.phrase ->
  string ->
  Sugartypes.phrase ->
  Sugartypes.phrase

val unary_appl : 
  ?ppos:unit ->
  Operators.UnaryOp.t ->
  Sugartypes.phrase ->
  Sugartypes.phrase

val validate_xml : ?tags:(string * string) -> Sugartypes.phrase -> unit

val xml : 
  ?ppos:unit ->
  ?tags:(string * string) ->
  CommonTypes.Name.t ->
  (CommonTypes.Name.t * Sugartypes.phrase list) list ->
  Sugartypes.phrase option ->
  Sugartypes.phrase list ->
  Sugartypes.phrase

val untyped_handler : 
  ?val_cases:Sugartypes.clause list ->
  ?parameters:(Sugartypes.Pattern.with_pos * Sugartypes.phrase) list ->
  Sugartypes.phrase ->
  Sugartypes.clause list ->
  Sugartypes.handler_depth ->
  Sugartypes.handler

package links