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
Is it possible to capture type information about records? Learn	13	1850	May 7, 2018
Open-generator-cli problems, or Swagger/OpenApi recommendations Request Feedback	66	13568	January 31, 2020
Elm-url-codec: Define both URL parser and builder at once Show and Tell	8	2041	May 29, 2022
Elm Design Question: Do we need JSON decoders? Learn	14	2997	July 19, 2019
Experimental JSON decoding API Request Feedback	30	4984	October 28, 2018