The problem: Given a big, hairy, often-changing Route custom type, and a pair of functions Route -> String and String -> Maybe Route, how can we be sure that (almost) every Route turned into a string and back into Route produces the same value that we started with? Route looks like: module Route …

Extracting type metadata from Elm code?

rkb September 10, 2020, 9:54am 14

Thanks miniBill, that’s very interesting! The oneOf problem is a stumper…

Topic		Replies	Views
Elm-url-codec: Define both URL parser and builder at once Show and Tell	8	2070	May 29, 2022
Open-generator-cli problems, or Swagger/OpenApi recommendations Request Feedback	66	13844	January 31, 2020
Is it possible to capture type information about records? Learn	13	1902	May 7, 2018
How to create a custom variant codec in elm-serializer? Learn	4	627	January 4, 2021
Elm Design Question: Do we need JSON decoders? Learn	14	3042	July 19, 2019