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

Safe HaskellSafe-Inferred

Agda.Utils.Null

Description

Overloaded null and empty for collections and sequences.

Documentation

class Null a whereSource

Methods

empty :: aSource

null :: a -> BoolSource

Satisfying null empty == True.

Instances

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