{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
module Data.Set.Lifted
( Set
, singleton
, member
, size
, difference
, (\\)
, LI.toList
, LI.fromList
, LI.foldr
, LI.foldl'
, LI.foldr'
, foldMap'
) where
import Prelude hiding (foldr)
import Data.Semigroup (Semigroup)
import Data.Set.Lifted.Internal (Set(..))
import qualified Data.Set.Internal as I
import qualified Data.Set.Lifted.Internal as LI
difference :: Ord a => Set a -> Set a -> Set a
difference (Set x) (Set y) = Set (I.difference x y)
(\\) :: Ord a => Set a -> Set a -> Set a
(\\) (Set x) (Set y) = Set (I.difference x y)
member :: Ord a => a -> Set a -> Bool
member a (Set s) = I.member a s
singleton :: a -> Set a
singleton = Set . I.singleton
size :: Set a -> Int
size (Set s) = I.size s
foldMap' :: Monoid m
=> (a -> m)
-> Set a
-> m
foldMap' f (Set arr) = I.foldMap' f arr