hs-to-coq icon indicating copy to clipboard operation
hs-to-coq copied to clipboard

Automatically generating Unpeel instances for newtypes

Open sweirich opened this issue 7 years ago • 0 comments

Many base module edit files include this for newtype coercions

add Data.Monoid Instance Unpeel_Dual a : Unpeel (Dual a) a :=
	 Build_Unpeel _ _ getDual Mk_Dual.

We shouldn't have to add these via an edit, though. Should just generate them whenever we see a newtype definition.

sweirich avatar Nov 22 '17 16:11 sweirich