countable-1.0: Countable, Searchable, Finite, Empty classes
Data.Empty
class Finite n => Empty n where #
Minimal complete definition
never
Methods
never :: n -> a #
Instances
never :: None -> a #
never :: (a -> b) -> a #
never :: Either a b -> a #
never :: (a, b) -> a #
data None #
(==) :: 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 #
countMaybeNext :: Maybe None -> Maybe None #
allValues :: [None] #
assemble :: Applicative f => (None -> f b) -> f (None -> b) #
search :: (None -> Maybe b) -> Maybe b #