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

Accept some type lisp improvements.

Browse Source 
This also introduces some tuple concatenation primitives.

Closes #7
This commit is contained in:
ADAM David Alan Martin
2024-03-21 16:22:13 -04:00
parent ad8690769e 5438ae9312
commit ca5b198c6d
2 changed files with 45 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
Meta/tuple_cat.h Normal file
View File

@ -0,0 +1,24 @@
static_assert( __cplusplus > 2020'99 );
#pragma once
#include <Alepha/Alepha.h>
#include <tuple>
#include <Alepha/type_lisp.h>
namespace Alepha::Hydrogen::Meta ::detail:: tuple_cat_m
{
inline namespace exports
{
template< typename Left, typename Right >
using tuple_cat_t= tuple_from_list_t< list_cat_t< list_from_tuple_t< Left >, list_from_tuple_t< Right > > >;
}
}
namespace Alepha::Hydrogen::Meta::inline exports::inline tuple_cat_m
{
using namespace detail::tuple_cat_m::exports;
}

21
type_lisp.h
View File

@ -141,6 +141,27 @@ namespace Alepha::Hydrogen ::detail:: type_lisp_m
{
using type= TypeList< LeftArgs..., RightArgs... >;
};
template< typename Item, std::size_t count >
struct repeat;
namespace exports
{
template< typename Item, std::size_t count >
using repeat_t= typename repeat< Item, count >::type;
}
template< typename Item, std::size_t count >
struct repeat
{
using type= cons_t< Item, repeat_t< Item, count - 1 > >;
};
template< typename Item >
struct repeat< Item, 0 >
{
using type= Nil;
};
}
namespace Alepha::Hydrogen::inline exports::inline type_lisp_m