Agda.Utils.BoolSet

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

All operations in constant time and space.

Mimics the interface of Set.

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

Documentation

data BoolSet

Isomorphic to Set Bool.

Instances

Bounded BoolSet

Defined in Agda.Utils.BoolSet

Methods

minBound :: BoolSet

maxBound :: BoolSet

Enum BoolSet

Defined in Agda.Utils.BoolSet

Methods

succ :: BoolSet -> BoolSet

pred :: BoolSet -> BoolSet

toEnum :: Int -> BoolSet

fromEnum :: BoolSet -> Int

enumFrom :: BoolSet -> [BoolSet]

enumFromThen :: BoolSet -> BoolSet -> [BoolSet]

enumFromTo :: BoolSet -> BoolSet -> [BoolSet]

enumFromThenTo :: BoolSet -> BoolSet -> BoolSet -> [BoolSet]

Show BoolSet

Defined in Agda.Utils.BoolSet

Methods

showsPrec :: Int -> BoolSet -> ShowS

show :: BoolSet -> String

showList :: [BoolSet] -> ShowS

Eq BoolSet

Defined in Agda.Utils.BoolSet

Methods

(==) :: BoolSet -> BoolSet -> Bool

(/=) :: BoolSet -> BoolSet -> Bool

Ord BoolSet

Defined in Agda.Utils.BoolSet

Methods

compare :: BoolSet -> BoolSet -> Ordering

(<) :: BoolSet -> BoolSet -> Bool

(<=) :: BoolSet -> BoolSet -> Bool

(>) :: BoolSet -> BoolSet -> Bool

(>=) :: BoolSet -> BoolSet -> Bool

max :: BoolSet -> BoolSet -> BoolSet

min :: BoolSet -> BoolSet -> BoolSet

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

complement :: BoolSet -> BoolSet

delete :: Bool -> BoolSet -> BoolSet

difference :: BoolSet -> BoolSet -> BoolSet

elems :: BoolSet -> [Bool]

empty :: BoolSet

The empty set.

fromList :: [Bool] -> BoolSet

fromAscList :: [Bool] -> BoolSet

fromDistinctAscList :: [Bool] -> BoolSet

insert :: Bool -> BoolSet -> BoolSet

intersection :: BoolSet -> BoolSet -> BoolSet

isSubsetOf :: BoolSet -> BoolSet -> Bool

lookupMin :: BoolSet -> Maybe Bool

member :: Bool -> BoolSet -> Bool

notMember :: Bool -> BoolSet -> Bool

not . member b.

null :: BoolSet -> Bool

singleton :: Bool -> BoolSet

A singleton set.

size :: BoolSet -> Int

toList :: BoolSet -> [Bool]

toAscList :: BoolSet -> [Bool]

toSingleton :: BoolSet -> Maybe Bool

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

total :: BoolSet

The full set.

union :: BoolSet -> BoolSet -> BoolSet