Mikan
Safe HaskellNone
LanguageHaskell2010

Mikan.Utils.BoolSet

Description

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

All operations take constant time and space.

Mimics the interface of Data.Set; see there for more documentation.

This module is intended to be imported qualified as:

import Mikan.Utils.BoolSet (BoolSet)
import Mikan.Utils.BoolSet qualified as BoolSet
Synopsis

Documentation

data BoolSet Source #

Isomorphic to Set Bool.

Instances

Instances details
Bounded BoolSet Source # 
Instance details

Defined in Mikan.Utils.BoolSet

Enum BoolSet Source # 
Instance details

Defined in Mikan.Utils.BoolSet

Show BoolSet Source # 
Instance details

Defined in Mikan.Utils.BoolSet

Eq BoolSet Source # 
Instance details

Defined in Mikan.Utils.BoolSet

Methods

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

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

Ord BoolSet Source # 
Instance details

Defined in Mikan.Utils.BoolSet

Queries

notMember :: Bool -> BoolSet -> Bool Source #

not . member b.

toSingleton :: BoolSet -> Maybe Bool Source #

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

Construction

empty :: BoolSet Source #

The empty set.

total :: BoolSet Source #

The full set.

singleton :: Bool -> BoolSet Source #

A singleton set.

Combining

Conversion