module Propellor.Types.Empty where import qualified Data.Map as M import qualified Data.Set as S class Empty t where isEmpty :: t -> Bool instance Empty [a] where isEmpty :: [a] -> Bool isEmpty = [a] -> Bool forall (t :: * -> *) a. Foldable t => t a -> Bool null instance Empty (M.Map k v) where isEmpty :: Map k v -> Bool isEmpty = Map k v -> Bool forall k v. Map k v -> Bool M.null instance Empty (S.Set v) where isEmpty :: Set v -> Bool isEmpty = Set v -> Bool forall v. Set v -> Bool S.null