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

Data.Empty

Documentation

class Finite n => Empty n whereSource

Methods

never :: n -> aSource

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)