diffast-langs-python 0.1.1 (latest)

module Xset = Diffast_misc.Xset

module Xlist = Diffast_misc.Xlist

module XML = Diffast_misc.XML

module Loc = Diffast_misc.Loc

module Astml = Diffast_core.Astml

module Lang_base = Diffast_core.Lang_base

module Charpool = Diffast_core.Charpool

module Ast = Python_parsing.Ast

type name = string

val lang_prefix : string

val operator_attr_name : string

val sprintf : ('a, unit, string) format -> 'a

val keyroot_depth_min : int

type tie_id = Lang_base.tie_id

val null_tid : string * string

val mktid : 'a -> 'b -> 'a * 'b

val tid_to_string : (string * string) -> string

val anonymize_tid : ?more:bool -> Lang_base.tie_id -> string * string

val mktidattr : Lang_base.tie_id -> (string * string) list

val conv_loc : Ast.Loc.t -> Loc.t

val conv_name : ('a * 'b) -> 'b

val loc_of_name : ('a * 'b) -> 'a

val dottedname_to_string : ('a * string) list -> string

module Literal : sig ... end

module AssignmentOperator : sig ... end

module UnaryOperator : sig ... end

module BinaryOperator : sig ... end

module Statement : sig ... end

module SimpleStatement : sig ... end

module Primary : sig ... end

type annotation = string option

val null_annotation : 'a option

val annotation_to_string : string option -> string

type t =

| Dummy
| ERROR
| Comment of string
| FileInput of name
| DottedName of string
| Name of name
| Lambda
| Test
| Power
| Primary of Primary.t
| UnaryOperator of UnaryOperator.t
| BinaryOperator of BinaryOperator.t
| Statement of Statement.t
| SimpleStatement of SimpleStatement.t
| Elif
| Else
| Targets
| Target
| Except
| Suite
| NamedSuite of name
| Parameters
| NamedParameters of name
| Decorators of name
| Decorator of name
| Finally
| In
| Yield
| LHS
| RHS
| As
| ListIf
| KeyDatum
| SliceItem
| Ellipsis
| Arguments of tie_id
| NamedArguments of name
| Argument
| CompArgument
| AssignArgument
| GenFor
| AsyncGenFor
| GenIf
| Inheritance
| Chevron
| From
| ParamDef of name
| ListParamDef
| TypedParamDef of name
| WithItem
| StarStar
| Star
| Slash
| Named
| ReturnAnnotation
| Dots of int
| Stride
| Annotation

val opt_to_string : ('a -> string) -> 'a option -> string

val name_to_string : ('a * 'b) -> 'b

val literal_to_string : Ast.literal -> string

val primary_to_string : Ast.primary -> string

val primary_desc_to_string : Ast.primary_desc -> string

val expr_to_string : Ast.expr -> string

val bop_to_string : Ast.bop -> string

val uop_to_string : Ast.uop -> string

val parameters_to_string : Ast.parameters -> string

val vararg_to_string : Ast.vararg -> string

val vargs_to_string : Ast.vararg list -> string

val fpdef_to_string : Ast.fpdef -> string

val exprs_to_string : Ast.expr list -> string

val compfor_to_string : Ast.compfor -> string

val compiter_to_string : Ast.compiter -> string

val compif_to_string : Ast.compif -> string

val listfor_to_string : Ast.listfor -> string

val listiter_to_string : Ast.listiter -> string

val listif_to_string : Ast.listif -> string

val dictelem_to_string : Ast.dictelem -> string

val dictorsetmaker_to_string : Ast.dictorsetmaker -> string

val sliceitem_to_string : Ast.sliceitem -> string

val arglist_to_string : Ast.arglist -> string

val argument_to_string : Ast.argument -> string

val _of_statement : Ast.statement_desc -> Statement.t

val of_statement : Ast.statement_desc -> t

val tid_of_import : 
  (('a * string) list * ('b * string) option) list ->
  string * string

val tid_of_from_import : 
  (('a * int) option
   * ('b * string) list option
   * (('c * string) * ('d * string) option) list) ->
  string * string

val of_simplestmt : Ast.simplestmt_desc -> t

val of_bop : Ast.bop -> t

val of_uop : Ast.uop -> t

val tid_of_primary : Ast.primary -> string * string

val _of_primary : Ast.primary_desc -> Primary.t

val of_primary : Ast.primary_desc -> t

val to_string : t -> string

val strip : t -> t

val anonymize : ?more:bool -> t -> t

val anonymize2 : t -> t

val anonymize3 : t -> t

val to_simple_string : t -> string

val to_short_string : ?ignore_identifiers_flag:bool -> t -> string

val to_tag : ?strip:bool -> t -> string * (string * name) list

val to_char : 'a -> char

val to_elem_data : 
  ?strip:bool ->
  ?afilt:(string -> bool) ->
  Astml.Loc.t ->
  t ->
  string * (string * string) list * string

val is_common_name : string -> bool

val is_named : t -> bool

val is_named_orig : t -> bool

val is_compatible : ?weak:bool -> 'a -> 'b -> bool

val is_order_insensitive : 'a -> bool

val quasi_eq : 'a -> 'b -> bool

val relabel_allowed : (t * t) -> bool

val move_disallowed : t -> bool

val is_common : t -> bool

val is_hunk_boundary : 'a -> 'b -> bool

val forced_to_be_collapsible : 'a -> bool

val is_collapse_target : < no_collapse_flag : bool.. > -> t -> bool

val is_to_be_notified : t -> bool

val is_boundary : t -> bool

val is_partition : t -> bool

val is_sequence : t -> bool

val is_ntuple : t -> bool

val is_comment : t -> bool

val get_ident_use : t -> name

val is_string_literal : t -> bool

val is_int_literal : t -> bool

val is_real_literal : t -> bool

val is_statement : t -> bool

val is_block : 'a -> bool

val is_op : t -> bool

val is_assign : t -> bool

val is_param : t -> bool

val is_attrref : t -> bool

val _is_name : t -> bool

val is_name : t -> bool

val is_primary : t -> bool

val is_primaryname : t -> bool

val is_scope_creating : t -> bool

val get_category : t -> string

val get_name : ?strip:bool -> t -> name

val get_value : t -> string

val has_value : t -> bool

val has_non_trivial_value : t -> bool

val has_non_trivial_tid : 'a -> bool

val cannot_be_keyroot : 'a -> bool

val is_phantom : t -> bool

val is_special : 'a -> bool

val of_elem_data : string -> (string * string) list -> string -> t

package diffast-langs-python