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

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Empty

Documentation

class Finite n => Empty n where Source

Minimal complete definition

Nothing

Methods

never :: n -> a Source

Instances

Empty Nothing 
(AtLeastOneCountable a, Finite a, Empty b) => Empty (a -> b) 
(Empty a, Empty b) => Empty (Either a b) 
(Empty a, Finite b) => Empty (a, b)