Module `PyreAst.Concrete`Source

This module provides types for a concrete abstract syntax tree of Python, for downstream clients who perfer conventional ADT over the tagless-final approach.

The structure of the syntax tree is kept in sync with the structure of the tagless-final APIs. Consult documentation of TaglessFinal for meanings of the various syntax constructs.

Record/variant definitions are intentionally made private within this module. To construct those records/variants, use the corresponding make_t constructor functions.

Sourcemodule Position : sig ... end

See TaglessFinal.Position.

Sourcemodule Location : sig ... end

See TaglessFinal.Location.

Sourcemodule Identifier : sig ... end

See TaglessFinal.Identifier.

Sourcemodule Constant : sig ... end

See TaglessFinal.Constant.

Sourcemodule ExpressionContext : sig ... end

See TaglessFinal.ExpressionContext.

Sourcemodule BooleanOperator : sig ... end

See TaglessFinal.BooleanOperator.

Sourcemodule BinaryOperator : sig ... end

See TaglessFinal.BinaryOperator.

Sourcemodule UnaryOperator : sig ... end

See TaglessFinal.UnaryOperator.

Sourcemodule ComparisonOperator : sig ... end

See TaglessFinal.ComparisonOperator.

Sourcemodule ImportAlias : sig ... end

See TaglessFinal.ImportAlias.

Sourcemodule Comprehension : sig ... end

See TaglessFinal.Comprehension.

Sourcemodule Keyword : sig ... end

See TaglessFinal.Keyword.

Sourcemodule Argument : sig ... end

See TaglessFinal.Argument.

Sourcemodule Arguments : sig ... end

See TaglessFinal.Arguments.

Sourcemodule Expression : sig ... end

See TaglessFinal.Expression.

Sourcemodule WithItem : sig ... end

See TaglessFinal.WithItem.

Sourcemodule TypeParam : sig ... end

See TaglessFinal.TypeParam.

Sourcemodule ExceptionHandler : sig ... end

See TaglessFinal.ExceptionHandler.

Sourcemodule MatchCase : sig ... end

See TaglessFinal.MatchCase.

Sourcemodule Pattern : sig ... end

See TaglessFinal.Pattern.

Sourcemodule Statement : sig ... end

See TaglessFinal.Statement.

Sourcemodule TypeIgnore : sig ... end

See TaglessFinal.TypeIgnore.

Sourcemodule Module : sig ... end

See TaglessFinal.Module.

Sourcemodule FunctionType : sig ... end

See TaglessFinal.FunctionType.

Source

val make_tagless_final : 
  unit ->
  (Argument.t,
    Arguments.t,
    BinaryOperator.t,
    BooleanOperator.t,
    ComparisonOperator.t,
    Comprehension.t,
    Constant.t,
    ExceptionHandler.t,
    Expression.t,
    ExpressionContext.t,
    FunctionType.t,
    Identifier.t,
    ImportAlias.t,
    Keyword.t,
    Location.t,
    MatchCase.t,
    Module.t,
    Pattern.t,
    Position.t,
    Statement.t,
    TypeIgnore.t,
    TypeParam.t,
    UnaryOperator.t,
    WithItem.t)
    TaglessFinal.t

Return a value of TaglessFinal.t whose specification is to construct a concrete AST as defined in this module.

package pyre-ast

Module PyreAst.ConcreteSource

Module `PyreAst.Concrete`Source