#include <string>
#include <vector>
#include <Ark/VM/Value.hpp>
Go to the source code of this file.
|
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.
|
|
- Author
- Alexandre Plateau (lexpl.nosp@m.t.de.nosp@m.v@gma.nosp@m.il.c.nosp@m.om)
- Version
- 1.1
- Date
- 2022-01-16
- Copyright
- Copyright (c) 2022-2024
Definition in file TypeChecker.hpp.