countable-1.2: Countable, Searchable, Finite, Empty classes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Empty

Synopsis

Documentation

class Finite n => Empty n where Source #

There are no values.

Methods

never :: n -> a Source #

Instances

Instances details
Empty Void Source # 
Instance details

Defined in Data.Empty

Methods

never :: Void -> a Source #

(Empty a, Empty b) => Empty (Either a b) Source # 
Instance details

Defined in Data.Empty

Methods

never :: Either a b -> a0 Source #

(Empty a, Finite b) => Empty (a, b) Source # 
Instance details

Defined in Data.Empty

Methods

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

(AtLeastOneCountable a, Finite a, Empty b) => Empty (a -> b) Source # 
Instance details

Defined in Data.Function.Eq

Methods

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