Ark::types Namespace Reference

Namespaces
namespace	details

Classes
struct	Contract
	A contract is a list of typed arguments that a function can follow. More...
struct	Typedef
	A type definition within a contract. More...

Functions
template<typename... Ts, typename = details::AllSame<ValueType, Ts...>>
bool	check (const std::vector< Value > &args, Ts... types)
	Helper to see if a builtin has been given a wanted set of types.
ARK_API void	generateError (std::string_view funcname, const std::vector< Contract > &contracts, const std::vector< Value > &args)
	Generate an error message based on a given set of types contracts provided argument list.
std::string	typeListToString (const std::vector< ValueType > &types)
void	displayContract (const Contract &contract, const std::vector< Value > &args)

Function Documentation

check()

template<typename... Ts, typename = details::AllSame<ValueType, Ts...>>

bool Ark::types::check	(	const std::vector< Value > &	args,
		Ts...	types
	)

Helper to see if a builtin has been given a wanted set of types.

Template Parameters

Ts	Variadic argument list composed of ValueTypes

Parameters

args	arguments passed to the function
types	accepted types

Returns

true if the contract is respected

false otherwise

Definition at line 59 of file TypeChecker.hpp.

displayContract()

void Ark::types::displayContract	(	const Contract &	contract,
		const std::vector< Value > &	args
	)

Definition at line 28 of file TypeChecker.cpp.

References Ark::Any, Ark::types::Contract::arguments, Ark::types::Typedef::name, typeListToString(), Ark::types::Typedef::types, and Ark::types::Typedef::variadic.

Referenced by generateError().

generateError()

void Ark::types::generateError	(	std::string_view	funcname,
		const std::vector< Contract > &	contracts,
		const std::vector< Value > &	args
	)

Generate an error message based on a given set of types contracts provided argument list.

Parameters

funcname	ArkScript name of the function
contracts	types contracts the function can follow
args	provided argument list

Definition at line 81 of file TypeChecker.cpp.

References displayContract().

Referenced by Ark::VM::safeRun().

typeListToString()

std::string Ark::types::typeListToString

(

const std::vector< ValueType > &

types

)

Definition at line 12 of file TypeChecker.cpp.

References Ark::Any, and Ark::types_to_str.

Referenced by displayContract().