From 30008bc643eeb8128f42734fe96d4f9010078558 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 8 Mar 2016 18:13:06 -0400 Subject: simplify --- src/Propellor/Types/OS/Typelevel.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'src/Propellor/Types/OS/Typelevel.hs') 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 -- cgit v1.2.3