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?

miniBill September 7, 2020, 10:54pm 12

You have type-nerd-sniped me. I think it might be possible to do an elm-url-codec, but I’ll have to check the types closely

3 Likes

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