Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Utils.Null
Contents
Description
Overloaded null
and empty
for collections and sequences.
- 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
class Null a where
Minimal complete definition
Instances
Null () | |
Null ByteString | |
Null IntSet | |
Null Permutation | |
Null ClauseBody | |
Null Clause | A |
Null Simplification | |
Null Fields | |
Null ProblemRest | |
Null [a] | |
Null (Maybe a) | |
Null (IntMap a) | |
Null (Set a) | |
Null (Seq a) | |
Null (Bag a) | |
Null a => Null (SizedThing a) | |
Null (Favorites a) | |
Null (CMSet cinfo) | |
Null (CallGraph cinfo) |
|
Null (Range' a) | |
Null (Tele a) | |
Null (Match a) | |
Null a => Null (Problem' a) | |
(Null a, Null b) => Null (a, b) | |
Null (Map k a) |
Testing for null.
unlessNull :: (Monad m, Null a) => a -> (a -> m ()) -> m ()
unlessNullM :: (Monad m, Null a) => m a -> (a -> m ()) -> m ()