Agda-2.4.0.2: A dependently typed functional programming language and proof assistant
Agda.Utils.Null
Description
Overloaded null and empty for collections and sequences.
null
empty
class Null a where Source
Methods
empty :: a Source
null :: a -> Bool Source
Satisfying null empty == True.
null empty == True
Instances