Ark::types::details Namespace Reference

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

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

Typedef Documentation

AllSame

template<typename T , typename... Ts>

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

Definition at line 32 of file TypeChecker.hpp.

Function Documentation

checkN() [1/2]

template<int I>

bool Ark::types::details::checkN

(

const std::vector< Value > &

args

)

Definition at line 35 of file TypeChecker.hpp.

checkN() [2/2]

template<int I, typename T , typename... Ts>

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

Definition at line 41 of file TypeChecker.hpp.

References Ark::Any.