pyre-ast 0.1.5 · OCaml Package

See TaglessFinal.Expression.

type t = private

| BoolOp of {
1. location : Location.t;
2. op : BooleanOperator.t;
3. values : t list;
}
| NamedExpr of {
1. location : Location.t;
2. target : t;
3. value : t;
}
| BinOp of {
1. location : Location.t;
2. left : t;
3. op : BinaryOperator.t;
4. right : t;
}
| UnaryOp of {
1. location : Location.t;
2. op : UnaryOperator.t;
3. operand : t;
}
| Lambda of {
1. location : Location.t;
2. args : Arguments.t;
3. body : t;
}
| IfExp of {
1. location : Location.t;
2. test : t;
3. body : t;
4. orelse : t;
}
| Dict of {
1. location : Location.t;
2. keys : t option list;
3. values : t list;
}
| Set of {
1. location : Location.t;
2. elts : t list;
}
| ListComp of {
1. location : Location.t;
2. elt : t;
3. generators : Comprehension.t list;
}
| SetComp of {
1. location : Location.t;
2. elt : t;
3. generators : Comprehension.t list;
}
| DictComp of {
1. location : Location.t;
2. key : t;
3. value : t;
4. generators : Comprehension.t list;
}
| GeneratorExp of {
1. location : Location.t;
2. elt : t;
3. generators : Comprehension.t list;
}
| Await of {
1. location : Location.t;
2. value : t;
}
| Yield of {
1. location : Location.t;
2. value : t option;
}
| YieldFrom of {
1. location : Location.t;
2. value : t;
}
| Compare of {
1. location : Location.t;
2. left : t;
3. ops : ComparisonOperator.t list;
4. comparators : t list;
}
| Call of {
1. location : Location.t;
2. func : t;
3. args : t list;
4. keywords : Keyword.t list;
}
| FormattedValue of {
1. location : Location.t;
2. value : t;
3. conversion : int;
4. format_spec : t option;
}
| JoinedStr of {
1. location : Location.t;
2. values : t list;
}
| Constant of {
1. location : Location.t;
2. value : Constant.t;
3. kind : string option;
}
| Attribute of {
1. location : Location.t;
2. value : t;
3. attr : Identifier.t;
4. ctx : ExpressionContext.t;
}
| Subscript of {
1. location : Location.t;
2. value : t;
3. slice : t;
4. ctx : ExpressionContext.t;
}
| Starred of {
1. location : Location.t;
2. value : t;
3. ctx : ExpressionContext.t;
}
| Name of {
1. location : Location.t;
2. id : Identifier.t;
3. ctx : ExpressionContext.t;
}
| List of {
1. location : Location.t;
2. elts : t list;
3. ctx : ExpressionContext.t;
}
| Tuple of {
1. location : Location.t;
2. elts : t list;
3. ctx : ExpressionContext.t;
}
| Slice of {
1. location : Location.t;
2. lower : t option;
3. upper : t option;
4. step : t option;
}

include Sexplib0.Sexpable.S with type t := t

val t_of_sexp : Sexplib0.Sexp.t -> t

val sexp_of_t : t -> Sexplib0.Sexp.t

include Ppx_compare_lib.Comparable.S with type t := t

val compare : t -> t -> int

include Ppx_hash_lib.Hashable.S with type t := t

val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state

val hash : t -> Base.Hash.hash_value

val make_boolop_of_t : 
  location:Location.t ->
  op:BooleanOperator.t ->
  ?values:t list ->
  unit ->
  t

val make_namedexpr_of_t : 
  location:Location.t ->
  target:t ->
  value:t ->
  unit ->
  t

val make_binop_of_t : 
  location:Location.t ->
  left:t ->
  op:BinaryOperator.t ->
  right:t ->
  unit ->
  t

val make_unaryop_of_t : 
  location:Location.t ->
  op:UnaryOperator.t ->
  operand:t ->
  unit ->
  t

val make_lambda_of_t : 
  location:Location.t ->
  args:Arguments.t ->
  body:t ->
  unit ->
  t

val make_ifexp_of_t : 
  location:Location.t ->
  test:t ->
  body:t ->
  orelse:t ->
  unit ->
  t

val make_dict_of_t : 
  location:Location.t ->
  ?keys:t option list ->
  ?values:t list ->
  unit ->
  t

val make_set_of_t : location:Location.t -> ?elts:t list -> unit -> t

val make_listcomp_of_t : 
  location:Location.t ->
  elt:t ->
  ?generators:Comprehension.t list ->
  unit ->
  t

val make_setcomp_of_t : 
  location:Location.t ->
  elt:t ->
  ?generators:Comprehension.t list ->
  unit ->
  t

val make_dictcomp_of_t : 
  location:Location.t ->
  key:t ->
  value:t ->
  ?generators:Comprehension.t list ->
  unit ->
  t

val make_generatorexp_of_t : 
  location:Location.t ->
  elt:t ->
  ?generators:Comprehension.t list ->
  unit ->
  t

val make_await_of_t : location:Location.t -> value:t -> unit -> t

val make_yield_of_t : location:Location.t -> ?value:t -> unit -> t

val make_yieldfrom_of_t : location:Location.t -> value:t -> unit -> t

val make_compare_of_t : 
  location:Location.t ->
  left:t ->
  ?ops:ComparisonOperator.t list ->
  ?comparators:t list ->
  unit ->
  t

val make_call_of_t : 
  location:Location.t ->
  func:t ->
  ?args:t list ->
  ?keywords:Keyword.t list ->
  unit ->
  t

val make_formattedvalue_of_t : 
  location:Location.t ->
  value:t ->
  conversion:int ->
  ?format_spec:t ->
  unit ->
  t

val make_joinedstr_of_t : location:Location.t -> ?values:t list -> unit -> t

val make_constant_of_t : 
  location:Location.t ->
  value:Constant.t ->
  ?kind:string ->
  unit ->
  t

val make_attribute_of_t : 
  location:Location.t ->
  value:t ->
  attr:Identifier.t ->
  ctx:ExpressionContext.t ->
  unit ->
  t

val make_subscript_of_t : 
  location:Location.t ->
  value:t ->
  slice:t ->
  ctx:ExpressionContext.t ->
  unit ->
  t

val make_starred_of_t : 
  location:Location.t ->
  value:t ->
  ctx:ExpressionContext.t ->
  unit ->
  t

val make_name_of_t : 
  location:Location.t ->
  id:Identifier.t ->
  ctx:ExpressionContext.t ->
  unit ->
  t

val make_list_of_t : 
  location:Location.t ->
  ?elts:t list ->
  ctx:ExpressionContext.t ->
  unit ->
  t

val make_tuple_of_t : 
  location:Location.t ->
  ?elts:t list ->
  ctx:ExpressionContext.t ->
  unit ->
  t

val make_slice_of_t : 
  location:Location.t ->
  ?lower:t ->
  ?upper:t ->
  ?step:t ->
  unit ->
  t

package pyre-ast