go-gg, branch refinement-types-2Generic Groundwork: My personal extension of the standard libraryhttp://git.xyrillian.de/go-gg/atom/?h=refinement-types-22025-04-02T16:09:46Zdemonstration of refinement types without self-referential types2025-04-02T16:09:46ZStefan Majewskymajewsky@gmx.net2025-04-02T16:09:46Zurn:sha1:eab38629013e34b4490be4d665142a1357c97156
The big "yuck" about this can be seen in the LiteralValue invocations in
the test code. Calling NewValue or LiteralValue is extremely convoluted
and would likely need to be wrapped through additional boilerplate at
the concrete type declaration site.
v1.0.02025-02-12T15:52:35ZStefan Majewskymajewsky@gmx.net2025-02-12T15:46:20Zurn:sha1:23862346411fb921e1a45f25011c3db601f8591dadd options.Map()2025-01-11T15:13:00ZStefan Majewskymajewsky@gmx.net2025-01-11T15:13:00Zurn:sha1:e739523ac1f926007fcfd8d82e5559df37cc6c6badd options.IsNoneOrZero2025-01-11T11:23:31ZStefan Majewskymajewsky@gmx.net2025-01-11T11:23:31Zurn:sha1:7eec3798588243c493791a421e6224680870d0e2
Also, add the tests for IsSomeAnd and IsNoneOr that I forgot.
remove go:linkname usage2025-01-06T12:11:34ZStefan Majewskymajewsky@gmx.net2025-01-06T12:11:33Zurn:sha1:49a7790edc4ec9526a7b846399339068990ce7deFYI: no release yet2025-01-06T12:07:17ZStefan Majewskymajewsky@gmx.net2025-01-06T12:07:17Zurn:sha1:b7a59fec37be7982f35ee8c431829709b3ba2563add test for zero value2025-01-04T15:20:21ZStefan Majewskymajewsky@gmx.net2025-01-04T15:20:21Zurn:sha1:94325d457deeb41904ae852c57a56cc64474c203note about zero value2025-01-04T15:19:37ZStefan Majewskymajewsky@gmx.net2025-01-04T15:19:37Zurn:sha1:35a1d954c8765c26125f2e2941f494ab91af5ad8add SQL support2025-01-04T15:13:45ZStefan Majewskymajewsky@gmx.net2025-01-04T15:13:45Zurn:sha1:43b1e0c39171e207ff37a1e0d4844483bd6f3775init2025-01-04T14:08:53ZStefan Majewskymajewsky@gmx.net2025-01-04T14:08:53Zurn:sha1:807a25b638e38d7c0446bb728412fb16fd035035