package pyre-ast

You can search for identifiers within the package.

in-package search v0.2.0

pyre-ast
- PyreAst
  - Concrete
    
    Argument
    
    Arguments
    
    BinaryOperator
    
    BooleanOperator
    
    ComparisonOperator
    
    Comprehension
    
    Constant
    
    ExceptionHandler
    
    Expression
    
    ExpressionContext
    
    FunctionType
    
    Identifier
    
    ImportAlias
    
    Keyword
    
    Location
    
    MatchCase
    
    Module
    
    Pattern
    
    Position
    
    Statement
    
    TypeIgnore
    
    TypeParam
    
    UnaryOperator
    
    WithItem
  - Parser
    
    Concrete
    
    Context
    
    Error
    
    TaglessFinal
  - TaglessFinal
    
    Argument
    
    Arguments
    
    BinaryOperator
    
    BooleanOperator
    
    ComparisonOperator
    
    Comprehension
    
    Constant
    
    ExceptionHandler
    
    Expression
    
    ExpressionContext
    
    FunctionType
    
    Identifier
    
    ImportAlias
    
    Keyword
    
    Location
    
    MatchCase
    
    Module
    
    Pattern
    
    Position
    
    Statement
    
    TypeIgnore
    
    TypeParam
    
    UnaryOperator
    
    WithItem

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module provides a type that represents a Python type parameter item. See PEP 695.

It can only appear on the following statements: Statement.t.function_def, Statement.t.async_function_def, Statement.t.class_def, and Statement.t.type_alias. In the source texts, type parameters are usually surrounded by a pair of square brackets.

type ('expr, 'identifier, 'location, 'type_param) t = {

type_var : location:'location -> name:'identifier -> bound:'expr option -> 'type_param;
(*
Represent a normal type variables, e.g. T. The optional bound parameter can be used to specify either an upper bound (e.g. T: int) or a constrained type (e.g. T: (str, bytes))
*)
param_spec : location:'location -> name:'identifier -> 'type_param;
(*
Represent a param spec type variable, e.g. **P. For meaning of param spec, consult PEP 612.
*)
type_var_tuple : location:'location -> name:'identifier -> 'type_param;
(*
Represent a type var tuple variable, e.g. *T. For meaning of type var tuple, consult PEP 646.
*)

}

val make : 
  type_var:(location:'a -> name:'b -> bound:'c option -> 'd) ->
  param_spec:(location:'a -> name:'b -> 'd) ->
  type_var_tuple:(location:'a -> name:'b -> 'd) ->
  unit ->
  ('c, 'b, 'a, 'd) t

Constructor of t.