#include <string>
#include <vector>
#include <Ark/VM/Value.hpp>

Include dependency graph for TypeChecker.hpp:

This graph shows which files directly or indirectly include this file:

Classes
struct	Ark::types::Typedef
	A type definition within a contract. More...

struct	Ark::types::Contract
	A contract is a list of typed arguments that a function can follow. More...

Typedefs
template<typename T , typename... Ts>
using	Ark::types::details::AllSame = std::enable_if_t<std::conjunction_v<std::is_same<T, Ts>...>>

Functions
template<int I>
bool	Ark::types::details::checkN (const std::vector< Value > &args)

template<int I, typename T , typename... Ts>
bool	Ark::types::details::checkN (const std::vector< Value > &args, T type, Ts... xs)

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.

ARK_API void	Ark::types::generateError (const 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.

Detailed Description

Author: Alexandre Plateau (lexpl.nosp@m.t.de.nosp@m.v@gma.nosp@m.il.c.nosp@m.om)

Definition in file TypeChecker.hpp.

Classes