Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data BoolSet
- (\\) :: BoolSet -> BoolSet -> BoolSet
- complement :: BoolSet -> BoolSet
- delete :: Bool -> BoolSet -> BoolSet
- difference :: BoolSet -> BoolSet -> BoolSet
- elems :: BoolSet -> [Bool]
- empty :: BoolSet
- 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
- null :: BoolSet -> Bool
- singleton :: Bool -> BoolSet
- size :: BoolSet -> Int
- toList :: BoolSet -> [Bool]
- toAscList :: BoolSet -> [Bool]
- toSingleton :: BoolSet -> Maybe Bool
- total :: BoolSet
- union :: BoolSet -> BoolSet -> BoolSet
Documentation
Isomorphic to
.Set
Bool
Instances
Bounded BoolSet Source # | |
Enum BoolSet Source # | |
Defined in Agda.Utils.BoolSet succ :: BoolSet -> BoolSet Source # pred :: BoolSet -> BoolSet Source # toEnum :: Int -> BoolSet Source # fromEnum :: BoolSet -> Int Source # enumFrom :: BoolSet -> [BoolSet] Source # enumFromThen :: BoolSet -> BoolSet -> [BoolSet] Source # enumFromTo :: BoolSet -> BoolSet -> [BoolSet] Source # enumFromThenTo :: BoolSet -> BoolSet -> BoolSet -> [BoolSet] Source # | |
Show BoolSet Source # | |
Eq BoolSet Source # | |
Ord BoolSet Source # | |
complement :: BoolSet -> BoolSet Source #
fromAscList :: [Bool] -> BoolSet Source #
fromDistinctAscList :: [Bool] -> BoolSet Source #