Merge pull request #800 from kmicklas/universe-void1
Fix Universe instance for (Some Void1), which should use UniverseSome
commit6c865b2a61c2e2ff093b13802a3b1e3b336dd026
authorRyan Trinkle <ryan@trinkle.org>
dateThu 5 Nov 2020, 06:05 (6 years ago)
parent11beb6e21c5416
lib/route/src/Obelisk/Route.hs+2−2
@@ -1038,8 +1038,8 @@ someSumEncoder = Encoder $ pure $ EncoderImpl
10381038
10391039data Void1 :: * -> * where {}
10401040
1041−instance Universe (Some Void1) where
1042− universe = []
1041+instance UniverseSome Void1 where
1042+ universeSome = []
10431043
10441044void1Encoder :: (Applicative check, MonadError Text parse) => Encoder check parse (Some Void1) a
10451045void1Encoder = Encoder $ pure $ EncoderImpl