Agda.Utils.Null
class
Null
a
Testing for null.
ifNull
ifNullM
whenNull
unlessNull
whenNullM
unlessNullM