TypeChecker.cpp File Reference

#include <Ark/TypeChecker.hpp>
#include <limits>
#include <algorithm>
#include <fmt/core.h>
#include <fmt/args.h>
#include <fmt/color.h>
#include <fmt/ostream.h>

Include dependency graph for TypeChecker.cpp:

Go to the source code of this file.

Namespaces
namespace	Ark
namespace	Ark::types

Functions
std::string	Ark::types::typeListToString (const std::vector< ValueType > &types)
void	Ark::types::displayContract (const Contract &contract, const std::vector< Value > &args, std::ostream &os, const bool colorize)
ARK_API void	Ark::types::generateError (const std::string_view &funcname, const std::vector< Contract > &contracts, const std::vector< Value > &args, std::ostream &os=std::cout, bool colorize=true)
	Generate an error message based on a given set of types contracts provided argument list.