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?

spell September 13, 2020, 4:11pm 18

@miniBill awesome job! Any chance of making it into a library?

1 Like