Safe Haskell	Safe
Language	Haskell2010

Data.Empty

Documentation

class Finite n => Empty n where #

Methods

never :: n -> a #

Instances

Empty None #
Instance details Defined in Data.Empty Methods never :: None -> a #
(AtLeastOneCountable a, Finite a, Empty b) => Empty (a -> b) #
Instance details Defined in Data.Empty Methods never :: (a -> b) -> a0 #
(Empty a, Empty b) => Empty (Either a b) #
Instance details Defined in Data.Empty Methods never :: Either a b -> a0 #
(Empty a, Finite b) => Empty (a, b) #
Instance details Defined in Data.Empty Methods never :: (a, b) -> a0 #

data None #

Instances

Eq None #
Instance details Defined in Data.Empty Methods (==) :: None -> None -> Bool # (/=) :: None -> None -> Bool #
Ord None #
Instance details Defined in Data.Empty Methods compare :: None -> None -> Ordering # (<) :: None -> None -> Bool # (<=) :: None -> None -> Bool # (>) :: None -> None -> Bool # (>=) :: None -> None -> Bool # max :: None -> None -> None # min :: None -> None -> None #
Show None #
Instance details Defined in Data.Empty Methods showsPrec :: Int -> None -> ShowS # show :: None -> String # showList :: [None] -> ShowS #
Countable None #
Instance details Defined in Data.Empty Methods countPrevious :: None -> Maybe None # countMaybeNext :: Maybe None -> Maybe None #
Finite None #
Instance details Defined in Data.Empty Methods allValues :: [None] # assemble :: Applicative f => (None -> f b) -> f (None -> b) #
Searchable None #
Instance details Defined in Data.Empty Methods search :: (None -> Maybe b) -> Maybe b #
Empty None #
Instance details Defined in Data.Empty Methods never :: None -> a #