aboutsummaryrefslogtreecommitdiff
path: root/refined
Commit message (Collapse)AuthorAgeFilesLines
* refined: write down why this is so complicated before it leaves my brainrefinement-typesStefan Majewsky2025-02-211-0/+115
|
* refined: demonstrate that Refined types are comparable, but not orderedStefan Majewsky2025-02-201-3/+14
|
* refined: shuffle names aroundStefan Majewsky2025-02-203-34/+34
|
* refined: reduce boilerplate, add Literal() constructorStefan Majewsky2025-02-203-23/+54
|
* refined: rename Refined -> ValueStefan Majewsky2025-02-204-64/+76
|
* refined: basic ideaStefan Majewsky2025-02-182-0/+117