From 1c12b89a671152d7da4630b41b48815eefc8c2fe Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 2 Jul 2019 14:39:51 -0400 Subject: use ConstraintKinds This is just a bit prettier code than manually needing to use constraint ~ True --- src/Propellor/Property/Atomic.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Propellor/Property/Atomic.hs') diff --git a/src/Propellor/Property/Atomic.hs b/src/Propellor/Property/Atomic.hs index 2c7433f6..8f2ef1d3 100644 --- a/src/Propellor/Property/Atomic.hs +++ b/src/Propellor/Property/Atomic.hs @@ -47,7 +47,7 @@ type CheckAtomicResourcePair a = AtomicResourcePair a -> Propellor (AtomicResour -- atomically activating that resource. atomicUpdate -- Constriaint inherited from ensureProperty. - :: (EnsurePropertyAllowed t t ~ 'True) + :: EnsurePropertyAllowed t t => SingI t => AtomicResourcePair a -> CheckAtomicResourcePair a @@ -91,7 +91,7 @@ atomicUpdate rbase rcheck rswap mkp = property' d $ \w -> do -- of the directory, with names suffixed with ".1" and ".2" atomicDirUpdate -- Constriaint inherited from ensureProperty. - :: (EnsurePropertyAllowed t t ~ 'True) + :: EnsurePropertyAllowed t t => SingI t => FilePath -> (FilePath -> Property (MetaTypes t)) -- cgit v1.2.3