Sönke Ludwig
44a2b970af
Merge pull request #42 from schveiguy/addvisit
...
Add forwarder for visit and tryVisit from TaggedUnion to TaggedAlgebraic
2019-11-30 16:24:36 +01:00
Steven Schveighoffer
4bcd34d417
Add forwarder for visit and tryVisit from TaggedUnion to TaggedAlgebraic
2019-11-30 09:53:45 -05:00
Steven Schveighoffer
c322e43fd4
Add access of value via Kind enum. Fixes #38 .
2019-11-30 09:30:29 -05:00
Steven Schveighoffer
f0d324f43f
Allow typeof(null) to provide constructors and opAssign for TaggedUnion.
...
Fixes #36 .
2019-10-30 18:12:50 -04:00
Sönke Ludwig
b037967ed0
Add unit test.
2019-10-25 22:20:27 +02:00
Sönke Ludwig
d6d480b647
Add TaggedAlgebraic.toString().
...
Enables a better string representation, mainly useful for debugging purposes.
2019-10-25 22:16:44 +02:00
John Colvin
c128744e19
check sizeof
2019-10-24 17:59:04 +01:00
John Colvin
9789701e6e
fix array members
2019-10-24 17:54:00 +01:00
Sönke Ludwig
f8a9b8c651
Add stronger restrictions to TA.opDispatch. Fixes #9 .
...
Defines opDispatch as two levels of nested templates, so that the outer level only checks the member name to match any member defined by one of the contained types. This allows hasMember!TA to report proper values instead of always assuming `true`.
As a side-effect, `isOutputRange!(TA, T)` now only returns true, if any of the contained types is actually a matching output range.
2019-10-11 11:13:57 +02:00
Sönke Ludwig
f4c7030459
Let all TaggedAlgebraic operations return as auto ref. Fixes #15 .
2019-10-11 10:28:23 +02:00
Sönke Ludwig
ba79a25298
Add explicit unit test for commonAlignment.
2019-04-16 11:49:42 +02:00
Sönke Ludwig
fd85603576
Compute the proper struct alignment for TaggedUnion.
...
Before this change, the alignment of TaggedAlgebraic was always 4, which in turn had a 50% chance of aligning 8-byte pointers on a non-8-byte boundary, causing the pointer to become invisible to the GC (and less bad, causing performance degradation when dereferencing the pointer). This would happen in particular when the total size of the TaggedUnion/TaggedAlgebraic was not divisible by 8 and an array of values was built.
2019-04-16 11:37:04 +02:00
Denis Feklushkin
3258572585
Ddox fix and CI test added
2019-03-05 19:04:45 +07:00
Sönke Ludwig
141a4e290a
Detect types that are obviously not function literals.
...
This avoids extremely cryptic error messages with no pointer to the origin of the problem.
2019-02-24 14:24:37 +01:00
Sönke Ludwig
953198a293
Fix using non-copyable types with TaggedUnion.
2019-02-23 21:49:08 +01:00
Sönke Ludwig
7145693748
Work around name lookup issue on DMD < 2.081.0.
2019-02-23 18:18:39 +01:00
Sönke Ludwig
56d50fd56c
Work around Phobos issue 19696.
2019-02-23 18:18:22 +01:00
Sönke Ludwig
6589bac23a
Add TaggedUnion.hasType!T.
2019-02-23 16:16:20 +01:00
Sönke Ludwig
a52958ef01
Work around ReplaceType compile error issue.
...
ReplaceType doesn't work for "class C : D!C {}"
2019-02-23 15:56:59 +01:00
Sönke Ludwig
b766f62d43
Actually check for superfluous handlers.
2019-02-23 15:55:57 +01:00
Sönke Ludwig
ab25b89fb1
Make self-referential types work with TaggedAlgebraic, too.
...
Also removes some unused template code.
2019-02-22 19:28:09 +01:00
Sönke Ludwig
f4b621963c
Add support for self-referential types using "This" placeholder.
2019-02-22 17:34:08 +01:00
Sönke Ludwig
7ede6bf033
Refactor the TaggedUnion API.
...
- Add constructors and assignment operators for unique types
- Rename field getters to fooValue and value!() to enable sane property syntax and to avoid confusion when modifying the returned reference
- Fix misnomer "isUnionType" instead of "isUnitType"
2019-02-22 16:11:21 +01:00
Sönke Ludwig
1c88c3c65d
Add template constraint to visit/tryVisit.
2019-02-22 12:22:38 +01:00
Sönke Ludwig
59826ad719
Error out on extraneous visitors.
2019-02-22 11:14:56 +01:00
Sönke Ludwig
194e0dca41
Implement a simple version of visit/tryVisit for TaggedUnion.
...
See #3 .
2019-02-22 03:08:55 +01:00
Sönke Ludwig
88308fcba4
Split up TaggedUnion and TaggedAlgebraic into separate modules.
2019-02-22 03:08:55 +01:00
Sönke Ludwig
f7a03cdb02
Add enum support to TaggedUnion.
...
Allows to define the accepted types using an annotated enum instead of a struct/union.
2019-02-22 03:08:55 +01:00
Sönke Ludwig
39ebd11570
Use AliasSeq instead of TypeTuple.
2019-02-22 03:08:54 +01:00
Sönke Ludwig
78ca6e0cb5
Reduce reliance on typeof(U.field) to prepare for supporting U==enum.
2019-02-22 03:08:54 +01:00
Sönke Ludwig
95c2919d2b
Introduce TaggedUnion as the low-level basis for TaggedAlgebraic.
...
TaggedUnion has a number of convenience features compared to TaggedAlgebraic that are possible because of the missing dynamic dispatch functionality. If the latter is not required, TaggedUnion provides a much less complex and more robust way to store a fixed set of types/kinds.
2019-02-22 03:08:54 +01:00
Sönke Ludwig
8ee1afd7f2
Don't define ambiguous opBinary/opBinaryRight overloads. Fixes #18 .
2019-02-22 03:02:50 +01:00
Sönke Ludwig
6a08e1fea4
Make get!T nogc.
2018-10-21 21:37:46 +02:00
Sönke Ludwig
c275902b78
Fix deprecation warning.
2018-10-06 10:38:32 +02:00
drug007
2d3df68333
String literal reduces memory allocation.
...
`-profile=gc` showed that `assert` allocated memory for every iteration.
2018-09-20 10:32:25 +03:00
Sönke Ludwig
f963694522
Work around linker error for "dub test" in dependent projects.
2018-03-20 17:28:21 +01:00
Sönke Ludwig
2a7bd18695
Allow TA(val, kind) construction for unique types, too.
2018-03-20 16:37:52 +01:00
Sönke Ludwig
5fc3e16a83
Enable opEquals between two TaggedAlgebraic!T values.
2018-03-20 16:33:13 +01:00
Sönke Ludwig
c7f4533d17
Fix compilation errors caused by swap().
2018-03-20 16:21:36 +01:00
Sönke Ludwig
445f1ef365
Fix test for frontend versions < 2.072.x.
2018-01-18 00:44:33 +01:00
Sönke Ludwig
3709a2298f
Add test and close #8 .
...
Was fixed by 513729bf59
for compiler frontend versions >= 2.072.x.
2018-01-18 00:31:00 +01:00
Sönke Ludwig
9b13f08a25
Fix compile error for overloaded TaggedAlgebraic returns. Fixes #13 .
2018-01-18 00:29:16 +01:00
Sönke Ludwig
f9c7d444e6
Disable TypeOf on frontent versions < 2.072.x
2018-01-18 00:06:06 +01:00
Sönke Ludwig
f87b378cf3
Add the TypeOf template.
2018-01-17 23:53:57 +01:00
Sönke Ludwig
de7df6bfeb
Fix hasType!T when called with rvalues.
2017-12-07 20:41:06 +01:00
John Colvin
ffe296a96f
do implicit casting without std.conv.to
2017-12-07 15:59:12 +00:00
Sönke Ludwig
513729bf59
Enable proper default initialization.
...
Since @disable this() still leaves an invalid .init open, TaggedAlgebraic.init has now been changed to always contain the .init value of the first specified sub type.
Note that this change is restricted to DMD 2.072 and up, because earlier versions of DMD do not allow postblits or destructors within unions and using a union appears to be the only way to implement this.
2017-06-12 21:12:42 +02:00
Sönke Ludwig
a7c77bba94
Fix compile error on DMD 2.068.2.
2017-06-12 21:06:55 +02:00
Sönke Ludwig
be4a93e553
Make apply() work for plain values, too.
...
This provides symmetry between TaggedAlgebraic values and ordinary values.
2017-05-28 22:28:39 +02:00
Sönke Ludwig
50e80dc0d9
Add apply() to generically extract the contained value.
...
See also #3 .
2017-05-28 22:05:19 +02:00