git.iko.soy/generic-lens
on master help sign in
Rename remaining ErrorUnlessTrue families.
commitf3cc23103a05bfcf18efaf72aee7d57d2ed1eab9 authorWill Jones <will@sacharissa.co.uk> dateMon 31 Jul 2017, 17:27 (9 years ago) parent2afd99b
2 files changed+8−8
compare with master
unifiedsplit
src/Data/Generics/Sum/Constructors.hs+4−4 src/Data/Generics/Sum/Typed.hs+4−4
src/Data/Generics/Sum/Constructors.hs+4−4
@@ -29,14 +29,14 @@ class AsConstructor (ctor :: Symbol) a s | s ctor -> a where
2929
3030instance
3131 ( Generic s
32− , ErrorUnlessTrue ctor s (HasCtorP ctor (Rep s))
32+ , ErrorUnless ctor s (HasCtorP ctor (Rep s))
3333 , GAsConstructor ctor (Rep s) a
3434 ) => AsConstructor ctor a s where
3535
3636 _Ctor = repIso . _GCtor @ctor
3737
38−type family ErrorUnlessTrue (ctor :: Symbol) (s :: Type) (contains :: Bool) :: Constraint where
39− ErrorUnlessTrue ctor s 'False
38+type family ErrorUnless (ctor :: Symbol) (s :: Type) (contains :: Bool) :: Constraint where
39+ ErrorUnless ctor s 'False
4040 = TypeError
4141 ( 'Text "The type "
4242 ':<>: 'ShowType s
@@ -44,7 +44,7 @@ type family ErrorUnlessTrue (ctor :: Symbol) (s :: Type) (contains :: Bool) :: C
4444 ':<>: 'ShowType ctor
4545 )
4646
47− ErrorUnlessTrue _ _ 'True
47+ ErrorUnless _ _ 'True
4848 = ()
4949
5050class GAsConstructor (ctor :: Symbol) (f :: Type -> Type) a | ctor f -> a where
src/Data/Generics/Sum/Typed.hs+4−4
@@ -30,14 +30,14 @@ class AsType a s where
3030
3131instance
3232 ( Generic s
33− , ErrorUnlessTrue a s (HasPartialTypeP a (Rep s))
33+ , ErrorUnless a s (HasPartialTypeP a (Rep s))
3434 , GAsType (Rep s) a
3535 ) => AsType a s where
3636
3737 _Typed = repIso . _GTyped
3838
39−type family ErrorUnlessTrue (a :: Type) (s :: Type) (contains :: Bool) :: Constraint where
40− ErrorUnlessTrue a s 'False
39+type family ErrorUnless (a :: Type) (s :: Type) (contains :: Bool) :: Constraint where
40+ ErrorUnless a s 'False
4141 = TypeError
4242 ( 'Text "The type "
4343 ':<>: 'ShowType s
@@ -45,7 +45,7 @@ type family ErrorUnlessTrue (a :: Type) (s :: Type) (contains :: Bool) :: Constr
4545 ':<>: 'ShowType a
4646 )
4747
48− ErrorUnlessTrue _ _ 'True
48+ ErrorUnless _ _ 'True
4949 = ()
5050
5151class GAsType (f :: Type -> Type) a where