Concrete.Statement
type t = private
| FunctionDef of {
} | |||||||
| AsyncFunctionDef of {
} | |||||||
| ClassDef of {
} | |||||||
| Return of {
} | |||||||
| Delete of {
} | |||||||
| Assign of {
} | |||||||
| AugAssign of {
} | |||||||
| AnnAssign of {
} | |||||||
| For of {
} | |||||||
| AsyncFor of {
} | |||||||
| While of {
} | |||||||
| If of {
} | |||||||
| With of {
} | |||||||
| AsyncWith of {
} | |||||||
| Match of {
} | |||||||
| Raise of {
} | |||||||
| Try of {
} | |||||||
| TryStar of {
} | |||||||
| Assert of {
} | |||||||
| Import of {
} | |||||||
| ImportFrom of {
} | |||||||
| Global of {
} | |||||||
| Nonlocal of {
} | |||||||
| Expr of {
} | |||||||
| Pass of {
} | |||||||
| Break of {
} | |||||||
| Continue of {
} |
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val make_functiondef_of_t :
location:Location.t ->
name:Identifier.t ->
args:Arguments.t ->
?body:t list ->
?decorator_list:Expression.t list ->
?returns:Expression.t ->
?type_comment:string ->
unit ->
t
val make_asyncfunctiondef_of_t :
location:Location.t ->
name:Identifier.t ->
args:Arguments.t ->
?body:t list ->
?decorator_list:Expression.t list ->
?returns:Expression.t ->
?type_comment:string ->
unit ->
t
val make_classdef_of_t :
location:Location.t ->
name:Identifier.t ->
?bases:Expression.t list ->
?keywords:Keyword.t list ->
?body:t list ->
?decorator_list:Expression.t list ->
unit ->
t
val make_return_of_t : location:Location.t -> ?value:Expression.t -> unit -> t
val make_delete_of_t :
location:Location.t ->
?targets:Expression.t list ->
unit ->
t
val make_assign_of_t :
location:Location.t ->
?targets:Expression.t list ->
value:Expression.t ->
?type_comment:string ->
unit ->
t
val make_augassign_of_t :
location:Location.t ->
target:Expression.t ->
op:BinaryOperator.t ->
value:Expression.t ->
unit ->
t
val make_annassign_of_t :
location:Location.t ->
target:Expression.t ->
annotation:Expression.t ->
?value:Expression.t ->
simple:bool ->
unit ->
t
val make_for_of_t :
location:Location.t ->
target:Expression.t ->
iter:Expression.t ->
?body:t list ->
?orelse:t list ->
?type_comment:string ->
unit ->
t
val make_asyncfor_of_t :
location:Location.t ->
target:Expression.t ->
iter:Expression.t ->
?body:t list ->
?orelse:t list ->
?type_comment:string ->
unit ->
t
val make_while_of_t :
location:Location.t ->
test:Expression.t ->
?body:t list ->
?orelse:t list ->
unit ->
t
val make_if_of_t :
location:Location.t ->
test:Expression.t ->
?body:t list ->
?orelse:t list ->
unit ->
t
val make_with_of_t :
location:Location.t ->
?items:WithItem.t list ->
?body:t list ->
?type_comment:string ->
unit ->
t
val make_asyncwith_of_t :
location:Location.t ->
?items:WithItem.t list ->
?body:t list ->
?type_comment:string ->
unit ->
t
val make_match_of_t :
location:Location.t ->
subject:Expression.t ->
?cases:MatchCase.t list ->
unit ->
t
val make_raise_of_t :
location:Location.t ->
?exc:Expression.t ->
?cause:Expression.t ->
unit ->
t
val make_try_of_t :
location:Location.t ->
?body:t list ->
?handlers:ExceptionHandler.t list ->
?orelse:t list ->
?finalbody:t list ->
unit ->
t
val make_trystar_of_t :
location:Location.t ->
?body:t list ->
?handlers:ExceptionHandler.t list ->
?orelse:t list ->
?finalbody:t list ->
unit ->
t
val make_assert_of_t :
location:Location.t ->
test:Expression.t ->
?msg:Expression.t ->
unit ->
t
val make_import_of_t :
location:Location.t ->
?names:ImportAlias.t list ->
unit ->
t
val make_importfrom_of_t :
location:Location.t ->
?module_:Identifier.t ->
?names:ImportAlias.t list ->
level:int ->
unit ->
t
val make_global_of_t :
location:Location.t ->
?names:Identifier.t list ->
unit ->
t
val make_nonlocal_of_t :
location:Location.t ->
?names:Identifier.t list ->
unit ->
t
val make_expr_of_t : location:Location.t -> value:Expression.t -> unit -> t
val make_pass_of_t : location:Location.t -> unit -> t
val make_break_of_t : location:Location.t -> unit -> t
val make_continue_of_t : location:Location.t -> unit -> t