adam/Alepha
1
0
Fork 0
forked from Alepha/Alepha
Code Pull Requests Activity
379 Commits 13 Branches 0 Tags
function-composition
Commit Graph

13 Commits

Author SHA1 Message Date
ADAM David Alan Martin
60ed507e8d Capabilities clauses can now be repeated. 2024-01-27 05:12:43 -05:00
ADAM David Alan Martin
9c9ed65312 I think this makes capabilities much simpler and more reliable. 
But the capabilities are now limited to a single param -- Time to change that?
 2024-01-27 04:21:27 -05:00
ADAM David Alan Martin
e8b41a0116 Started a rewrite... but now I'm going to try it with friends? 2024-01-26 23:17:22 -05:00
ADAM David Alan Martin
5db7ad01f8 A large number of files have had their module namespace renamed 2023-11-12 05:03:26 -05:00
ADAM David Alan Martin
3458c6af9a A special case for capabilities. 
I keep putting of a rewrite here... I need to get to it.
 2023-11-10 23:27:29 -05:00
ADAM David Alan Martin
914c7c7ab3 Clang also complained about this... 2023-11-10 11:51:18 -05:00
ADAM David Alan Martin
d1157cabf7 Start the C++23 adoption. 2023-11-07 05:30:50 -05:00
ADAM David Alan Martin
3a92d2b788 OStream automatic generation for aggregates. 
I still have to sort out the extended capabilities system and
implement the ostream_lens system.
 2023-10-23 01:50:47 -04:00
ADAM David Alan Martin
b4438d46d6 This implementation of capabilities is a bit quirky... this helps check things. 2023-10-22 04:42:50 -04:00
ADAM David Alan Martin
49d53fecb6 Updated some things to C++20 headers. 
Lots more to do...
 2023-02-09 22:01:19 -08:00
ADAM David Alan Martin
cf3f77ba6e Well this whole () base TMP experiment kinda works. 
It's a lot of heavy lifting.  I'm not sure it actually
adds any useful value yet, but I'll continue to play
with it.  It is nice that we can *sometimes* use
loops.  Sometimes we can't though.  And we have
to make some blind-corner evaluations that throw
dummy failures to keep the compiler from complaining
about missing cases -- despite the fact that they;ll
never be reached at compiletime.  (Runtime evaluation
could be different, of course.)

I think, perhaps, a universal representation of a
dereferenced iterator might solve some of this, but
I also don't want to sink too much effort into this,
despite how much fun I'm having.
 2021-10-26 01:53:47 -04:00
ADAM David Alan Martin
e3d7bbe616 Comparison test builds again. 
Now to extend the functionalization.
 2021-10-25 02:08:12 -04:00
ADAM David Alan Martin
f2ae99f648 I added the lens-based comparison code. 
The metaprogramming is still based upon the angle-bracket
type-form.  Now to rewrite it in terms of the constexpr systems.
 2021-10-25 02:02:12 -04:00