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

Safe HaskellSafe-Inferred
LanguageHaskell98

Agda.Utils.Null

Description

Overloaded null and empty for collections and sequences.

Documentation

class Null a where Source

Methods

empty :: a Source

null :: a -> Bool Source

Satisfying null empty == True.

Instances

Null ByteString 
Null [a] 
Null (Set a) 
Null (Seq a) 
Null (Map k a)