List of all items

Structs

• IdGenerator
• ast::ArgVia
• ast::AssignmentPattern
• ast::CallArg
• ast::DataType
• ast::DataTypeKey
• ast::Decorator
• ast::DefinitionLocation
• ast::Function
• ast::FunctionAccessKey
• ast::IfBranch
• ast::Module
• ast::ModuleConstant
• ast::RecordConstructor
• ast::RecordConstructorArg
• ast::RecordUpdateSpread
• ast::Span
• ast::TypeAlias
• ast::TypedArg
• ast::TypedClause
• ast::TypedRecordUpdateArg
• ast::UnqualifiedImport
• ast::UntypedArg
• ast::UntypedClause
• ast::UntypedClauseGuard
• ast::UntypedRecordUpdateArg
• ast::Use
• ast::Validator
• format::Formatter
• gen_uplc::CodeGenerator
• gen_uplc::builder::AssignmentProperties
• gen_uplc::builder::CodeGenSpecialFuncs
• gen_uplc::decision_tree::Assigned
• gen_uplc::decision_tree::Scope
• gen_uplc::decision_tree::TreeGen
• gen_uplc::interner::AirInterner
• gen_uplc::stick_break_set::Builtins
• gen_uplc::stick_break_set::TreeNode
• gen_uplc::stick_break_set::TreeSet
• gen_uplc::tree::IndexCounter
• gen_uplc::tree::TreePath
• line_numbers::LineColumn
• line_numbers::LineNumbers
• parser::error::ParseError
• parser::extra::Comment
• parser::extra::ModuleExtra
• parser::lexer::LexInfo
• test_framework::Assertion
• test_framework::AssertionStyleOptions
• test_framework::Benchmark
• test_framework::BenchmarkResult
• test_framework::Cache
• test_framework::Counterexample
• test_framework::Fuzzer
• test_framework::FuzzerError
• test_framework::PropertyTest
• test_framework::PropertyTestResult
• test_framework::Sampler
• test_framework::UnitTest
• test_framework::UnitTestResult
• tipo::AccessorsMap
• tipo::RecordAccessor
• tipo::TypeAliasAnnotation
• tipo::TypeConstructor
• tipo::TypeInfo
• tipo::ValueConstructor
• tipo::error::UnknownLabels
• tipo::fields::FieldMap
• tipo::pretty::Printer

Enums

• ast::Annotation
• ast::ArgBy
• ast::ArgName
• ast::AssignmentKind
• ast::BinOp
• ast::Bls12_381Point
• ast::Bls12_381PointType
• ast::ByteArrayFormatPreference
• ast::Curve
• ast::CurveType
• ast::DecoratorKind
• ast::Definition
• ast::Error
• ast::Located
• ast::LogicalOpChainKind
• ast::ModuleKind
• ast::Namespace
• ast::OnTestFailure
• ast::Pattern
• ast::Purpose
• ast::TraceKind
• ast::TraceLevel
• ast::Tracing
• ast::UnOp
• expr::FnStyle
• expr::TypedExpr
• expr::UntypedExpr
• gen_uplc::air::Air
• gen_uplc::air::ExpectLevel
• gen_uplc::air::FunctionVariants
• gen_uplc::builder::CodeGenFunction
• gen_uplc::builder::HoistableFunction
• gen_uplc::decision_tree::CaseTest
• gen_uplc::decision_tree::DecisionTree
• gen_uplc::decision_tree::Path
• gen_uplc::decision_tree::ScopePath
• gen_uplc::stick_break_set::Builtin
• gen_uplc::tree::AirMsg
• gen_uplc::tree::AirTree
• gen_uplc::tree::Fields
• parser::error::ErrorKind
• parser::error::Pattern
• parser::token::Base
• parser::token::Token
• plutus_version::PlutusVersion
• pretty::BreakKind
• pretty::Document
• test_framework::BenchmarkError
• test_framework::Event
• test_framework::Prng
• test_framework::RunnableKind
• test_framework::Status
• test_framework::Test
• test_framework::TestResult
• tipo::ModuleValueConstructor
• tipo::PatternConstructor
• tipo::Type
• tipo::TypeVar
• tipo::ValueConstructorVariant
• tipo::error::Error
• tipo::error::UnifyErrorSituation
• tipo::error::UnknownRecordFieldSituation
• tipo::error::Warning

Traits

• error::ExtraData
• pretty::Documentable

Macros

• aiken_fn
• assert_annotation
• assert_definition
• assert_expr
• assert_format
• assert_import
• assert_module
• assert_pattern
• docvec

Functions

• builtins::from_default_function
• builtins::plutus
• builtins::prelude
• builtins::prelude_data_types
• builtins::prelude_functions
• format::comments_before
• format::pretty
• format::wrap_args
• format::wrap_fields
• format::wrap_generics
• gen_uplc::builder::apply_builtin_forces
• gen_uplc::builder::cast_validator_args
• gen_uplc::builder::convert_constants_to_data
• gen_uplc::builder::convert_type_to_data
• gen_uplc::builder::erase_opaque_type_operations
• gen_uplc::builder::extract_constant
• gen_uplc::builder::get_constr_index_variant
• gen_uplc::builder::get_generic_variant_name
• gen_uplc::builder::get_line_columns_by_span
• gen_uplc::builder::get_src_code_by_span
• gen_uplc::builder::identify_recursive_static_params
• gen_uplc::builder::introduce_name
• gen_uplc::builder::introduce_pattern
• gen_uplc::builder::is_recursive_function_call
• gen_uplc::builder::known_data_to_type
• gen_uplc::builder::list_access_to_uplc
• gen_uplc::builder::modify_cyclic_calls
• gen_uplc::builder::modify_self_calls
• gen_uplc::builder::monomorphize
• gen_uplc::builder::pop_pattern
• gen_uplc::builder::softcast_data_to_type_otherwise
• gen_uplc::builder::special_case_builtin
• gen_uplc::builder::to_data_builtin
• gen_uplc::builder::undata_builtin
• gen_uplc::builder::unknown_data_to_type
• gen_uplc::builder::wrap_validator_condition
• gen_uplc::decision_tree::get_tipo_by_path
• levenshtein::distance
• parser::annotation
• parser::definition::benchmark::parser
• parser::definition::constant::parser
• parser::definition::data_type
• parser::definition::function
• parser::definition::import::parser
• parser::definition::parser
• parser::definition::test
• parser::definition::test_like::fuzzer
• parser::definition::test_like::parser
• parser::definition::test_like::via
• parser::definition::type_alias
• parser::definition::validator
• parser::expr::and_or_chain
• parser::expr::anonymous_function::params
• parser::expr::anonymous_function::parser
• parser::expr::assignment::assignment_pattern
• parser::expr::assignment::expect
• parser::expr::assignment::let_
• parser::expr::block
• parser::expr::bytearray
• parser::expr::chained
• parser::expr::fail_todo_trace
• parser::expr::if_else
• parser::expr::int
• parser::expr::list
• parser::expr::pair
• parser::expr::parser
• parser::expr::pure_expression
• parser::expr::record
• parser::expr::record_update
• parser::expr::sequence
• parser::expr::string::hybrid
• parser::expr::string::parser
• parser::expr::tuple
• parser::expr::var
• parser::expr::when::clause
• parser::expr::when::guard
• parser::expr::when::parser
• parser::extra::comments_before
• parser::lexer::lexer
• parser::lexer::run
• parser::literal::array_of_bytes
• parser::literal::bytearray
• parser::literal::hex_string
• parser::literal::int
• parser::literal::string
• parser::literal::uint
• parser::literal::utf8_string
• parser::module
• parser::pattern::bytearray
• parser::pattern::constructor
• parser::pattern::discard
• parser::pattern::int
• parser::pattern::list
• parser::pattern::pair
• parser::pattern::parser
• parser::pattern::string
• parser::pattern::tuple
• parser::pattern::var
• pretty::break_
• pretty::concat
• pretty::flex_break
• pretty::flex_prebreak
• pretty::join
• pretty::line
• pretty::lines
• pretty::nil
• pretty::prebreak
• tipo::check_replaceable_opaque_type
• tipo::convert_opaque_type
• tipo::error::format_pattern_suggestion
• tipo::error::format_suggestion
• tipo::find_and_replace_generics
• tipo::get_generic_id_and_type
• tipo::lookup_data_type_by_tipo
• tipo::pretty::resolve_alias
• utils::indexmap::as_ref_values
• utils::indexmap::as_str_ref_values
• version::compiler_version

Type Aliases

• ast::MultiPattern
• ast::ParsedCallArg
• ast::TypedArgVia
• ast::TypedAssignmentKind
• ast::TypedCallArg
• ast::TypedDataType
• ast::TypedDefinition
• ast::TypedFunction
• ast::TypedIfBranch
• ast::TypedModule
• ast::TypedModuleConstant
• ast::TypedMultiPattern
• ast::TypedPattern
• ast::TypedTest
• ast::TypedTypeAlias
• ast::TypedUse
• ast::TypedValidator
• ast::UntypedArgVia
• ast::UntypedAssignmentKind
• ast::UntypedDataType
• ast::UntypedDefinition
• ast::UntypedFunction
• ast::UntypedIfBranch
• ast::UntypedModule
• ast::UntypedModuleConstant
• ast::UntypedMultiPattern
• ast::UntypedPattern
• ast::UntypedTest
• ast::UntypedTypeAlias
• ast::UntypedUse
• ast::UntypedValidator
• gen_uplc::builder::CycleFunctionNames
• gen_uplc::builder::Params
• gen_uplc::builder::Variant

Statics

• builtins::INTERNAL_FUNCTIONS

Constants

• ast::BACKPASS_VARIABLE
• ast::CAPTURE_VARIABLE
• ast::CONFIG_MODULE
• ast::DEFAULT_ENV_MODULE
• ast::ENV_MODULE
• ast::HANDLER_MINT
• ast::HANDLER_PROPOSE
• ast::HANDLER_PUBLISH
• ast::HANDLER_SPEND
• ast::HANDLER_VOTE
• ast::HANDLER_WITHDRAW
• ast::PIPE_VARIABLE
• ast::well_known::BOOL
• ast::well_known::BOOL_CONSTRUCTORS
• ast::well_known::BYTE_ARRAY
• ast::well_known::DATA
• ast::well_known::FUZZER
• ast::well_known::G1_ELEMENT
• ast::well_known::G2_ELEMENT
• ast::well_known::INT
• ast::well_known::LIST
• ast::well_known::MILLER_LOOP_RESULT
• ast::well_known::NEVER
• ast::well_known::NEVER_CONSTRUCTORS
• ast::well_known::OPTION
• ast::well_known::OPTION_CONSTRUCTORS
• ast::well_known::ORDERING
• ast::well_known::ORDERING_CONSTRUCTORS
• ast::well_known::PAIR
• ast::well_known::PAIRS
• ast::well_known::PRNG
• ast::well_known::PRNG_CONSTRUCTORS
• ast::well_known::REDEEMER_WRAPPER
• ast::well_known::SAMPLER
• ast::well_known::SCRIPT_CONTEXT
• ast::well_known::SCRIPT_CONTEXT_CONSTRUCTORS
• ast::well_known::SCRIPT_CONTEXT_PURPOSE
• ast::well_known::SCRIPT_CONTEXT_REDEEMER
• ast::well_known::SCRIPT_CONTEXT_TRANSACTION
• ast::well_known::SCRIPT_PURPOSE
• ast::well_known::SCRIPT_PURPOSE_CONSTRUCTORS
• ast::well_known::SCRIPT_PURPOSE_MINT
• ast::well_known::SCRIPT_PURPOSE_PROPOSE
• ast::well_known::SCRIPT_PURPOSE_PUBLISH
• ast::well_known::SCRIPT_PURPOSE_SPEND
• ast::well_known::SCRIPT_PURPOSE_VOTE
• ast::well_known::SCRIPT_PURPOSE_WITHDRAW
• ast::well_known::STRING
• ast::well_known::VALIDATOR_ELSE
• ast::well_known::VOID
• ast::well_known::VOID_CONSTRUCTORS
• builtins::BUILTIN
• builtins::PRELUDE
• expr::DEFAULT_ERROR_STR
• expr::DEFAULT_TODO_STR
• format::INDENT
• format::MAX_COLUMNS
• gen_uplc::builder::CONSTR_INDEX_MISMATCH
• gen_uplc::builder::CONSTR_NOT_EMPTY
• gen_uplc::builder::DISCARDED
• gen_uplc::builder::INCORRECT_BOOLEAN
• gen_uplc::builder::INCORRECT_CONSTR
• gen_uplc::builder::LIST_NOT_EMPTY
• gen_uplc::builder::TOO_MANY_ITEMS