Decide between `Coercible` and `GIsomorphic`

srid / ema

Change-aware static site generator for Haskell programmers

https://ema.srid.ca

GNU Affero General Public License v3.0

117 stars 9 forks source link

Decide between `Coercible` and `GIsomorphic` #131

Closed srid closed 2 years ago

srid commented 2 years ago

Reported by @lucasvreis https://matrix.to/#/!ygGUISjbmnwJPtaUmH:matrix.org/$QiIKTbwnR7UfyfiIgESHGK1URYOtuQLvgsVkieTpDV8?via=matrix.org&via=hummingbard.com&via=t2bot.io

Do this before 0.8. Which of these should we use?

sophicshift commented 2 years ago

Another note: before my PR, I was also not getting the "pretty" error message that should be shown when the types were not "isomorphic", but an ugly one involving the Rep type: Captura de tela de 2022-08-16 22-57-34