adam/Alepha
1
0
Fork 0
forked from Alepha/Alepha
Code Pull Requests Activity

Add a bit more support for tuple/type-lisp crossover.

Browse Source
This commit is contained in:
ADAM David Alan Martin
2023-10-25 04:47:23 -04:00
parent 0fb0b578d3
commit 5908f8d126
1 changed files with 30 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
type_lisp.h
View File

@ -83,6 +83,36 @@ namespace Alepha::Hydrogen ::detail:: type_lisp
template< typename Element >
constexpr bool list_contains_v< Nil, Element >{};
}
template< typename Element, typename List >
struct cons;
template< typename Element, typename ... Members >
struct cons< Element, TypeList< Members... > >
{
using type= TypeList< Element, Members... >;
};
namespace exports
{
template< typename Element, typename List >
using cons_t= typename cons< Element, List >::type;
}
template< typename Tuple >
struct list_from_tuple;
namespace exports
{
template< typename Tuple >
using list_from_tuple_t= typename list_from_tuple< Tuple >::type;
}
template< typename ... Members >
struct list_from_tuple< std::tuple< Members... > >
{
using type= TypeList< Members... >;
};
}
namespace Alepha::Hydrogen::inline exports::inline type_lisp