Agda.Utils.Null

class Null a

Testing for null.

ifNull

ifNullM

whenNull

unlessNull

whenNullM

unlessNullM