List of all items
Structs
- analysis::KindResult
- builtin::OPERATOR_KIND_MAP
- builtin::_operator_append_path_begin
- builtin::_operator_append_path_end
- builtin::_operator_copy_begin
- builtin::_operator_copy_end
- builtin::_operator_in_env_begin
- builtin::_operator_in_env_end
- builtin::_operator_in_workdir_begin
- builtin::_operator_in_workdir_end
- builtin::_operator_merge_begin
- builtin::_operator_merge_end
- builtin::_operator_set_cmd_begin
- builtin::_operator_set_cmd_end
- builtin::_operator_set_entrypoint_begin
- builtin::_operator_set_entrypoint_end
- builtin::_operator_set_env_begin
- builtin::_operator_set_env_end
- builtin::_operator_set_label_begin
- builtin::_operator_set_label_end
- builtin::_operator_set_user_begin
- builtin::_operator_set_user_end
- builtin::_operator_set_workdir_begin
- builtin::_operator_set_workdir_end
- builtin::copy
- builtin::from
- builtin::run
- dockerfile::Arg
- dockerfile::Copy
- dockerfile::Dockerfile
- dockerfile::Env
- dockerfile::From
- dockerfile::Image
- dockerfile::Run
- dockerfile::UnresolvedParent
- dockerfile::Workdir
- imagegen::BuildPlan
- imagegen::MergeNode
- imagegen::Output
- logic::Clause
- logic::Literal
- logic::Predicate
- logic::Signature
- logic::SpannedPosition
- modusfile::ModusClause
- modusfile::Modusfile
- modusfile::Operator
- modusfile::Version
- sld::Graph
- sld::LiteralOrigin
- sld::Proof
- sld::SLDResult
- sld::Tree
Enums
- analysis::Kind
- builtin::SelectBuiltinResult
- dockerfile::Instruction
- dockerfile::ResolvedParent
- imagegen::BuildNode
- imagegen::MergeOperation
- logic::IRTerm
- modusfile::Expression
- modusfile::FormatStringFragment
- modusfile::ModusTerm
- sld::ClauseId
- sld::ResolutionError
Traits
- analysis::ModusSemantics
- builtin::BuiltinPredicate
- logic::Ground
- sld::Auxiliary
- unification::Rename
- unification::RenameWithSubstitution
- unification::Substitute
Functions
- analysis::check_and_output_analysis
- builtin::select_builtin
- dockerfile::parser::alias_identifier
- dockerfile::parser::arg_instr
- dockerfile::parser::copy_instr
- dockerfile::parser::dockerfile
- dockerfile::parser::env_instr
- dockerfile::parser::from_instr
- dockerfile::parser::host_identifier
- dockerfile::parser::ignored_line
- dockerfile::parser::ignored_line_for_span
- dockerfile::parser::image
- dockerfile::parser::mandatory_space
- dockerfile::parser::multiline_string
- dockerfile::parser::repo_identifier
- dockerfile::parser::run_instr
- dockerfile::parser::tag_identifier
- dockerfile::parser::workdir_instr
- imagegen::build_dag_from_proofs
- imagegen::plan_from_modusfile
- logic::parser::clause
- logic::parser::literal
- logic::parser::literal_identifier
- logic::parser::recognized_span
- logic::parser::term
- modusfile::parser::body
- modusfile::parser::modus_clause
- modusfile::parser::modus_const
- modusfile::parser::modus_format_string
- modusfile::parser::modus_term
- modusfile::parser::modusfile
- modusfile::parser::process_raw_string
- modusfile::parser::string_interpolation
- modusfile::parser::token_sep0
- modusfile::parser::variable_identifier
- sld::proofs
- sld::sld
- sld::solutions
- sld::tree_from_modusfile
- translate::translate_modusfile
- transpiler::render_tree
- transpiler::transpile
- unification::compose_extend
- unification::compose_no_extend
- wellformed::check_grounded_variables
- wellformed::check_image_predicates
Type Aliases
- dockerfile::ResolvedDockerfile
- imagegen::NodeId
- logic::parser::IResult
- logic::parser::Span
- unification::Substitution