Safe Haskell	None
Language	Haskell2010

SetMaybe

Contents

Description

Sets of Maybe a values.

Synopsis

Documentation

A set of Maybe t is stored as a set of t plus a flag wether Nothing is in the set.

Constructors

SetMaybe
Fields _smSet :: Set t _smNothing :: Bool

Instances details

DebugPrint t => DebugPrint (SetMaybe t) Source #
Instance details Defined in SetMaybe Methods debugPrint :: SetMaybe t -> String Source #
(Read t, Ord t) => Read (SetMaybe t) Source #
Instance details Defined in SetMaybe Methods readsPrec :: Int -> ReadS (SetMaybe t) # readList :: ReadS [SetMaybe t] # readPrec :: ReadPrec (SetMaybe t) # readListPrec :: ReadPrec [SetMaybe t] #
Show t => Show (SetMaybe t) Source #
Instance details Defined in SetMaybe Methods showsPrec :: Int -> SetMaybe t -> ShowS # show :: SetMaybe t -> String # showList :: [SetMaybe t] -> ShowS #
Eq t => Eq (SetMaybe t) Source #
Instance details Defined in SetMaybe Methods (==) :: SetMaybe t -> SetMaybe t -> Bool # (/=) :: SetMaybe t -> SetMaybe t -> Bool #
Ord t => Ord (SetMaybe t) Source #
Instance details Defined in SetMaybe Methods compare :: SetMaybe t -> SetMaybe t -> Ordering # (<) :: SetMaybe t -> SetMaybe t -> Bool # (<=) :: SetMaybe t -> SetMaybe t -> Bool # (>) :: SetMaybe t -> SetMaybe t -> Bool # (>=) :: SetMaybe t -> SetMaybe t -> Bool # max :: SetMaybe t -> SetMaybe t -> SetMaybe t # min :: SetMaybe t -> SetMaybe t -> SetMaybe t #

smNothing :: forall t f. Functor f => (Bool -> f Bool) -> SetMaybe t -> f (SetMaybe t) Source #

smSet :: forall t1 t2 f. Functor f => (Set t1 -> f (Set t2)) -> SetMaybe t1 -> f (SetMaybe t2) Source #

Union.

Query subset.

Query membership.

Printing