about summary refs log tree commit diff
path: root/users/grfn/xanthous/src/Xanthous/Data.hs
diff options
context:
space:
mode:
authorAspen Smith <grfn@gws.fyi>2023-08-03T15·32-0400
committerclbot <clbot@tvl.fyi>2023-12-01T11·34+0000
commitdbc17e8c4b28e43f6609c571fccdcf7b3819aec9 (patch)
treed8e654b2b785d1d7aff65825a03b610a414b0b74 /users/grfn/xanthous/src/Xanthous/Data.hs
parente40908d4aa51e1a1204c634f15cb023a1656a007 (diff)
fix(grfn/xanthous): Fix build r/7099
Bunch of miscellaneous stuff due to breakages in dependencies

Change-Id: I807cfa875148e7e5b691f2be0b58dc0a08f3c3ad
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9003
Autosubmit: grfn <grfn@gws.fyi>
Reviewed-by: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/Data.hs')
-rw-r--r--users/grfn/xanthous/src/Xanthous/Data.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/users/grfn/xanthous/src/Xanthous/Data.hs b/users/grfn/xanthous/src/Xanthous/Data.hs
index 1acd14a0640b..703955206a7e 100644
--- a/users/grfn/xanthous/src/Xanthous/Data.hs
+++ b/users/grfn/xanthous/src/Xanthous/Data.hs
@@ -191,7 +191,7 @@ y = lens (\(Position _ yy) -> yy) (\(Position xx _) yy -> Position xx yy)
 
 type Position = Position' Int
 
-instance (Arg (Position' a) a, Arbitrary a) => Arbitrary (Position' a) where
+instance (Arbitrary a) => Arbitrary (Position' a) where
   arbitrary = genericArbitrary
   shrink (Position px py) = Position <$> shrink px <*> shrink py
 
@@ -434,7 +434,7 @@ data Neighbors a = Neighbors
   deriving stock (Show, Eq, Ord, Functor, Foldable, Traversable, Generic)
   deriving anyclass (NFData, CoArbitrary, Function, MonoFoldable)
 
-deriving via (GenericArbitrary (Neighbors a)) instance (Arg (Neighbors a) a, Arbitrary a) => Arbitrary (Neighbors a)
+deriving via (GenericArbitrary (Neighbors a)) instance (Arbitrary a) => Arbitrary (Neighbors a)
 
 type instance Element (Neighbors a) = a
 
@@ -774,7 +774,7 @@ makeFieldsNoPrefix ''Box
 
 -- It seems to be necessary to have an `Arg (V2 a) a` constraint, as a is passed
 -- to V2 internally, in order to make GHC figure out this deriving via correctly.
-deriving via (GenericArbitrary (Box a)) instance (Arg (V2 a) a, Arbitrary a) => Arbitrary (Box a)
+deriving via (GenericArbitrary (Box a)) instance (Arbitrary a) => Arbitrary (Box a)
 
 bottomRightCorner :: Num a => Box a -> V2 a
 bottomRightCorner box =