go-gg, branch refinement-types Generic Groundwork: My personal extension of the standard library http://git.xyrillian.de/go-gg/atom/?h=refinement-types 2025-02-20T23:10:24Z refined: write down why this is so complicated before it leaves my brain 2025-02-20T23:10:24Z Stefan Majewsky majewsky@gmx.net 2025-02-20T23:09:48Z urn:sha1:053c42114a990f1f6fe4667d720e4654963b4676 refined: demonstrate that Refined types are comparable, but not ordered 2025-02-20T22:33:24Z Stefan Majewsky majewsky@gmx.net 2025-02-20T22:33:01Z urn:sha1:c7e09a5b63cdd5cec40d190d446c4a35d5c22ca5 refined: shuffle names around 2025-02-20T22:25:30Z Stefan Majewsky majewsky@gmx.net 2025-02-20T22:25:30Z urn:sha1:d6c1edaa1b8176b49c1f776567a8b9b5e179dbf1 refined: reduce boilerplate, add Literal() constructor 2025-02-20T21:54:46Z Stefan Majewsky majewsky@gmx.net 2025-02-20T21:53:53Z urn:sha1:945c5da63191b90bfcd9086e56d1f0efd72d4c68 refined: rename Refined -> Value 2025-02-20T21:37:45Z Stefan Majewsky majewsky@gmx.net 2025-02-20T21:12:18Z urn:sha1:676fba2564431dfc8138bc4f08e503d9c6cadfb0 refined: basic idea 2025-02-18T22:53:24Z Stefan Majewsky majewsky@gmx.net 2025-02-18T22:10:53Z urn:sha1:afd6cf65eed332e9c25464cad4a5a2cb6553ea6b v1.0.0 2025-02-12T15:52:35Z Stefan Majewsky majewsky@gmx.net 2025-02-12T15:46:20Z urn:sha1:23862346411fb921e1a45f25011c3db601f8591d add options.Map() 2025-01-11T15:13:00Z Stefan Majewsky majewsky@gmx.net 2025-01-11T15:13:00Z urn:sha1:e739523ac1f926007fcfd8d82e5559df37cc6c6b add options.IsNoneOrZero 2025-01-11T11:23:31Z Stefan Majewsky majewsky@gmx.net 2025-01-11T11:23:31Z urn:sha1:7eec3798588243c493791a421e6224680870d0e2 Also, add the tests for IsSomeAnd and IsNoneOr that I forgot. remove go:linkname usage 2025-01-06T12:11:34Z Stefan Majewsky majewsky@gmx.net 2025-01-06T12:11:33Z urn:sha1:49a7790edc4ec9526a7b846399339068990ce7de