package pyre-ast

  1. Overview
  2. Docs

See TaglessFinal.Statement.

type t = private
  1. | FunctionDef of {
    1. location : Location.t;
    2. name : Identifier.t;
    3. args : Arguments.t;
    4. body : t list;
    5. decorator_list : Expression.t list;
    6. returns : Expression.t option;
    7. type_comment : string option;
    }
  2. | AsyncFunctionDef of {
    1. location : Location.t;
    2. name : Identifier.t;
    3. args : Arguments.t;
    4. body : t list;
    5. decorator_list : Expression.t list;
    6. returns : Expression.t option;
    7. type_comment : string option;
    }
  3. | ClassDef of {
    1. location : Location.t;
    2. name : Identifier.t;
    3. bases : Expression.t list;
    4. keywords : Keyword.t list;
    5. body : t list;
    6. decorator_list : Expression.t list;
    }
  4. | Return of {
    1. location : Location.t;
    2. value : Expression.t option;
    }
  5. | Delete of {
    1. location : Location.t;
    2. targets : Expression.t list;
    }
  6. | Assign of {
    1. location : Location.t;
    2. targets : Expression.t list;
    3. value : Expression.t;
    4. type_comment : string option;
    }
  7. | AugAssign of {
    1. location : Location.t;
    2. target : Expression.t;
    3. op : BinaryOperator.t;
    4. value : Expression.t;
    }
  8. | AnnAssign of {
    1. location : Location.t;
    2. target : Expression.t;
    3. annotation : Expression.t;
    4. value : Expression.t option;
    5. simple : bool;
    }
  9. | For of {
    1. location : Location.t;
    2. target : Expression.t;
    3. iter : Expression.t;
    4. body : t list;
    5. orelse : t list;
    6. type_comment : string option;
    }
  10. | AsyncFor of {
    1. location : Location.t;
    2. target : Expression.t;
    3. iter : Expression.t;
    4. body : t list;
    5. orelse : t list;
    6. type_comment : string option;
    }
  11. | While of {
    1. location : Location.t;
    2. test : Expression.t;
    3. body : t list;
    4. orelse : t list;
    }
  12. | If of {
    1. location : Location.t;
    2. test : Expression.t;
    3. body : t list;
    4. orelse : t list;
    }
  13. | With of {
    1. location : Location.t;
    2. items : WithItem.t list;
    3. body : t list;
    4. type_comment : string option;
    }
  14. | AsyncWith of {
    1. location : Location.t;
    2. items : WithItem.t list;
    3. body : t list;
    4. type_comment : string option;
    }
  15. | Match of {
    1. location : Location.t;
    2. subject : Expression.t;
    3. cases : MatchCase.t list;
    }
  16. | Raise of {
    1. location : Location.t;
    2. exc : Expression.t option;
    3. cause : Expression.t option;
    }
  17. | Try of {
    1. location : Location.t;
    2. body : t list;
    3. handlers : ExceptionHandler.t list;
    4. orelse : t list;
    5. finalbody : t list;
    }
  18. | Assert of {
    1. location : Location.t;
    2. test : Expression.t;
    3. msg : Expression.t option;
    }
  19. | Import of {
    1. location : Location.t;
    2. names : ImportAlias.t list;
    }
  20. | ImportFrom of {
    1. location : Location.t;
    2. module_ : Identifier.t option;
    3. names : ImportAlias.t list;
    4. level : int;
    }
  21. | Global of {
    1. location : Location.t;
    2. names : Identifier.t list;
    }
  22. | Nonlocal of {
    1. location : Location.t;
    2. names : Identifier.t list;
    }
  23. | Expr of {
    1. location : Location.t;
    2. value : Expression.t;
    }
  24. | Pass of {
    1. location : Location.t;
    }
  25. | Break of {
    1. location : Location.t;
    }
  26. | Continue of {
    1. location : Location.t;
    }
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_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_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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct