luau_type_check.cpp File Reference

#include "script/luau_type_check.h"
#include <algorithm>
#include <format>
#include <fstream>
#include <iterator>
#include <map>
#include <optional>
#include <set>
#include <utility>
#include "core/paths.h"
#include "script/luau_package.h"
#include "Luau/Ast.h"
#include "Luau/BuiltinDefinitions.h"
#include "Luau/Config.h"
#include "Luau/ConfigResolver.h"
#include "Luau/Error.h"
#include "Luau/FileResolver.h"
#include "Luau/Frontend.h"
#include "Luau/ToString.h"
#include "Luau/Type.h"
#include "Luau/TypeArena.h"
#include "Luau/TypePack.h"

Include dependency graph for luau_type_check.cpp:

Go to the source code of this file.

Classes
class	bicameral::script::anonymous_namespace{luau_type_check.cpp}::PackageFileResolver
class	bicameral::script::anonymous_namespace{luau_type_check.cpp}::StrictConfigResolver
struct	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ReturnCheck
class	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ShapeWalker
struct	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ShapeWalker::Leaf
struct	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ShapeWalker::Place
struct	bicameral::script::LuauTypeChecker::Impl

Namespaces
namespace	bicameral
namespace	bicameral::script
namespace	bicameral::script::anonymous_namespace{luau_type_check.cpp}

Functions
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ToUtf8String (const fs::path &path)
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::KindText (const Luau::TypeError &error)
Luau::Location	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ReturnLocation (Luau::Frontend &frontend, const std::string &moduleName)
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::OneLine (std::string_view text)
TypeDiagnostic	bicameral::script::anonymous_namespace{luau_type_check.cpp}::MakeDiagnostic (std::string file, const Luau::Location &location, std::string kind, std::string_view message)
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::TypeText (Luau::TypeId type)
bool	bicameral::script::anonymous_namespace{luau_type_check.cpp}::IsNil (Luau::TypeId type)
bool	bicameral::script::anonymous_namespace{luau_type_check.cpp}::IsOptional (Luau::TypeId type)
Luau::TypeId	bicameral::script::anonymous_namespace{luau_type_check.cpp}::StripOptional (Luau::TypeId type)
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::QuoteKey (std::string_view key)
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::ShapeCheckSource (const std::string &requireName, const std::vector< ShapeWalker::Leaf > &leaves)
void	bicameral::script::anonymous_namespace{luau_type_check.cpp}::HideGlobals (Luau::GlobalTypes &globals)
std::string	bicameral::script::anonymous_namespace{luau_type_check.cpp}::DefinitionErrors (const Luau::LoadDefinitionFileResult &loaded)
std::string	bicameral::script::FormatDiagnostic (const TypeDiagnostic &diagnostic)
std::string	bicameral::script::SummarizeDiagnostics (const std::vector< TypeDiagnostic > &diagnostics, size_t maxShown)
fs::path	bicameral::script::DefaultTypeDefinitionsPath ()
std::expected< std::unique_ptr< LuauTypeChecker >, std::string >	bicameral::script::CreateTypeCheckerFromFile (const fs::path &definitionsFile)

Variables
constexpr std::string_view	bicameral::script::anonymous_namespace{luau_type_check.cpp}::MANIFEST_FILE = "package.luau"
constexpr std::string_view	bicameral::script::anonymous_namespace{luau_type_check.cpp}::MODULE_EXTENSION = ".luau"
constexpr std::string_view	bicameral::script::anonymous_namespace{luau_type_check.cpp}::RETURN_CHECK_MODULE = "@check/return"
constexpr std::string_view	bicameral::script::anonymous_namespace{luau_type_check.cpp}::DEFINITIONS_PACKAGE = "@bicameral"
constexpr const char *	bicameral::script::anonymous_namespace{luau_type_check.cpp}::HIDDEN_GLOBALS []
constexpr uint32_t	bicameral::script::anonymous_namespace{luau_type_check.cpp}::FIRST_LEAF_LINE = 2