diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 18:13:06 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 18:13:06 -0400 |
| commit | 30008bc643eeb8128f42734fe96d4f9010078558 (patch) | |
| tree | 7b75263f8db3c5dc2f6d5df9a60f210705570ce0 | |
| parent | 61a1ba8ff1fa496af24d22986057a7607ae55ff1 (diff) | |
simplify
| -rw-r--r-- | src/Propellor/Types/OS/Typelevel.hs | 5 |
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 |