    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