fix instance chain

f-o-a-m · Sep 30, 2023 · 6a45690 · 6a45690
1 parent ce768fc
commit 6a45690
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Network/Ethereum/Web3/Solidity/Internal.purs b/src/Network/Ethereum/Web3/Solidity/Internal.purs
@@ -26,6 +26,10 @@ instance GRecordFieldsIso NoArguments () Nil where
   gToRecordFields _ _ = {}
   gFromRecordFields _ _ = NoArguments
 
+else instance GRecordFieldsIso a r rl => GRecordFieldsIso (Constructor name a) r (Cons name rl Nil) where
+  gToRecordFields _ (Constructor a) = gToRecordFields (Proxy @rl) a
+  gFromRecordFields _ r = Constructor (gFromRecordFields (Proxy @rl) r)
+
 else instance
   ( IsSymbol s
   , Row.Cons s a () r
@@ -53,10 +57,6 @@ else instance
     in
       Product as bs
 
-else instance GRecordFieldsIso a r rl => GRecordFieldsIso (Constructor name a) r (Cons name rl Nil) where
-  gToRecordFields _ (Constructor a) = gToRecordFields (Proxy @rl) a
-  gFromRecordFields _ r = Constructor (gFromRecordFields (Proxy @rl) r)
-
 toRecord :: forall a rep fields l. Generic a rep => GRecordFieldsIso rep fields l => a -> Record fields
 toRecord a = gToRecordFields (Proxy :: Proxy l) (from a)