ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.BoolSet

Representation of Set Bool as a 4-element enum type.

All operations in constant time and space.

Mimics the interface of Data.Set.

Import as: import qualified Agda.Utils.BoolSet as BoolSet import Agda.Utils.BoolSet (BoolSet)

datadata BoolSet

Isomorphic to Set Bool.

Instances5Bounded, Enum, Eq, Ord, Show

value(\\) :: BoolSet -> BoolSet -> BoolSet

valuecomplement :: BoolSet -> BoolSet

valuedelete :: Bool -> BoolSet -> BoolSet

valuedifference :: BoolSet -> BoolSet -> BoolSet

valueelems :: BoolSet -> [Bool]

valueempty :: BoolSet

The empty set.

valuefromList :: [Bool] -> BoolSet

valuefromAscList :: [Bool] -> BoolSet

valuefromDistinctAscList :: [Bool] -> BoolSet

valueinsert :: Bool -> BoolSet -> BoolSet

valueintersection :: BoolSet -> BoolSet -> BoolSet

valueisSubsetOf :: BoolSet -> BoolSet -> Bool

valuelookupMin :: BoolSet -> Maybe Bool

valuemember :: Bool -> BoolSet -> Bool

valuenotMember :: Bool -> BoolSet -> Bool

not . member b.

valuenull :: BoolSet -> Bool

valuesingleton :: Bool -> BoolSet

A singleton set.

valuesize :: BoolSet -> Int

valuetoList :: BoolSet -> [Bool]

valuetoAscList :: BoolSet -> [Bool]

valuetoSingleton :: BoolSet -> Maybe Bool

toSingleton s == Just b iff s == singleton b.

valuetotal :: BoolSet

The full set.

valueunion :: BoolSet -> BoolSet -> BoolSet