countable-1.0: Countable, Searchable, Finite, Empty classes

Data.Empty

class Finite n => Empty n where Source #

Minimal complete definition

never

Methods

never :: n -> a Source #

Instances

never :: None -> a Source #

never :: (a -> b) -> a Source #

never :: Either a b -> a Source #

never :: (a, b) -> a Source #

data None Source #

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

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

compare :: None -> None -> Ordering #

(<) :: None -> None -> Bool #

(<=) :: None -> None -> Bool #

(>) :: None -> None -> Bool #

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

max :: None -> None -> None #

min :: None -> None -> None #

showsPrec :: Int -> None -> ShowS #

show :: None -> String #

showList :: [None] -> ShowS #

countPrevious :: None -> Maybe None Source #

countMaybeNext :: Maybe None -> Maybe None Source #

allValues :: [None] Source #

assemble :: Applicative f => (None -> f b) -> f (None -> b) Source #

search :: (None -> Maybe b) -> Maybe b Source #