summaryrefslogtreecommitdiff
path: root/src/Propellor/Types
diff options
context:
space:
mode:
authorJoey Hess2016-03-08 18:13:06 -0400
committerJoey Hess2016-03-08 18:13:06 -0400
commit30008bc643eeb8128f42734fe96d4f9010078558 (patch)
tree7b75263f8db3c5dc2f6d5df9a60f210705570ce0 /src/Propellor/Types
parent61a1ba8ff1fa496af24d22986057a7607ae55ff1 (diff)
simplify
Diffstat (limited to 'src/Propellor/Types')
-rw-r--r--src/Propellor/Types/OS/Typelevel.hs5
1 files changed, 1 insertions, 4 deletions
diff --git a/src/Propellor/Types/OS/Typelevel.hs b/src/Propellor/Types/OS/Typelevel.hs
index 879259df..4803e4ac 100644
--- a/src/Propellor/Types/OS/Typelevel.hs
+++ b/src/Propellor/Types/OS/Typelevel.hs
@@ -87,10 +87,7 @@ type instance IntersectOSList (a ': rest) list2 =
-- | Type level elem for OSList
type family ElemOSList (a :: SupportedOS) (list :: [SupportedOS]) :: Bool
type instance ElemOSList a '[] = False
-type instance ElemOSList a (b ': bs) =
- If (a == b)
- True
- (ElemOSList a bs)
+type instance ElemOSList a (b ': bs) = a == b || ElemOSList a bs
-- | Type level equality for SupportedOS
type family EqOS (a :: SupportedOS) (b :: SupportedOS) where