search-0.2: Infinite search in finite time with Hilbert's epsilon
Data.Search.LazyBool
Synopsis
newtype B Source #
Bool with a lazier Ord as suggested here
Constructors
Instances
Methods
(==) :: B -> B -> Bool #
(/=) :: B -> B -> Bool #
compare :: B -> B -> Ordering #
(<) :: B -> B -> Bool #
(<=) :: B -> B -> Bool #
(>) :: B -> B -> Bool #
(>=) :: B -> B -> Bool #
max :: B -> B -> B #
min :: B -> B -> B #
readsPrec :: Int -> ReadS B #
readList :: ReadS [B] #
readPrec :: ReadPrec B #
readListPrec :: ReadPrec [B] #
showsPrec :: Int -> B -> ShowS #
show :: B -> String #
showList :: [B] -> ShowS #