Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Utils.Null
Contents
Description
Overloaded null
and empty
for collections and sequences.
Synopsis
- class Null a where
- ifNull :: Null a => a -> b -> (a -> b) -> b
- ifNullM :: (Monad m, Null a) => m a -> m b -> (a -> m b) -> m b
- whenNull :: (Monad m, Null a) => a -> m () -> m ()
- unlessNull :: (Monad m, Null a) => a -> (a -> m ()) -> m ()
- whenNullM :: (Monad m, Null a) => m a -> m () -> m ()
- unlessNullM :: (Monad m, Null a) => m a -> (a -> m ()) -> m ()
Documentation
Minimal complete definition
Methods
Satisfying null empty == True
.
null :: Eq a => a -> Bool Source #
Satisfying null empty == True
.
Instances
Testing for null.
unlessNull :: (Monad m, Null a) => a -> (a -> m ()) -> m () Source #
unlessNullM :: (Monad m, Null a) => m a -> (a -> m ()) -> m () Source #