Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Utils.BoolSet

Description

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)

Synopsis

Documentation

Isomorphic to Set Bool.

Instances details

Bounded BoolSet Source #
Instance details Defined in Agda.Utils.BoolSet Methods minBound :: BoolSet # maxBound :: BoolSet #
Enum BoolSet Source #
Instance details 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 Source #
Instance details Defined in Agda.Utils.BoolSet Methods showsPrec :: Int -> BoolSet -> ShowS # show :: BoolSet -> String # showList :: [BoolSet] -> ShowS #
Eq BoolSet Source #
Instance details Defined in Agda.Utils.BoolSet Methods (==) :: BoolSet -> BoolSet -> Bool # (/=) :: BoolSet -> BoolSet -> Bool #
Ord BoolSet Source #
Instance details 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 #