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 whereSource
Methods
empty :: aSource
null :: a -> BoolSource
Satisfying null empty == True.
null empty == True
Instances