Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe Haskell	Safe
Language	Haskell2010

Agda.Utils.Empty

Description

An empty type with some useful instances.

Documentation

data Empty Source #

Instances

Eq Empty Source #
Methods (==) :: Empty -> Empty -> Bool # (/=) :: Empty -> Empty -> Bool #
Ord Empty Source #
Methods compare :: Empty -> Empty -> Ordering # (<) :: Empty -> Empty -> Bool # (<=) :: Empty -> Empty -> Bool # (>) :: Empty -> Empty -> Bool # (>=) :: Empty -> Empty -> Bool # max :: Empty -> Empty -> Empty # min :: Empty -> Empty -> Empty #
Show Empty Source #
Methods showsPrec :: Int -> Empty -> ShowS # show :: Empty -> String # showList :: [Empty] -> ShowS #

absurd :: Empty -> a Source #