Fix Universe instance for (Some Void1), which should use UniverseSome
commitccbfe1060c1d93a35045415386dd9dc303bba0e4
authorKen Micklas <git@kmicklas.com>
dateSun 23 Aug 2020, 09:27 (6 years ago)
parent3fa3600
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