| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
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
Minimal complete definition
Methods
Satisfying null empty == True.
Satisfying null empty == True.
Instances
| Null () # | |
| Null ByteString # | |
| Null IntSet # | |
| Null Doc # | |
| Null Permutation # | |
| Null Occurrence # | |
| Null PatInfo # | |
| Null LHSInfo # | |
| Null MutualInfo # | Default value for |
| Null LetInfo # | |
| Null ExprInfo # | |
| Null Clause # | A |
| Null FreeVars # | |
| Null Simplification # | |
| Null Fields # | |
| Null ProjLams # | |
| Null MutualBlock # | |
| Null ProblemRest # | |
| Null Edge # | |
| Null NLMState # | |
| Null [a] # | |
| Null (Maybe a) # | |
| Null (IntMap a) # | |
| Null (Seq a) # | |
| Null (Set a) # | |
| Null (HashSet a) # | |
| Null (Bag a) # | |
| Null (Favorites a) # | |
| Null a => Null (SizedThing a) # | |
| Null (Benchmark a) # | Initial benchmark structure (empty). |
| Null (CMSet cinfo) # | |
| Null (CallGraph cinfo) # |
|
| Null (Range' a) # | |
| Null (TCM Doc) # | |
| Null (WhereClause' a) # | A |
| Null (Substitution' a) # | |
| Null (Tele a) # | |
| Null (Case m) # | |
| Null (Match a) # | |
| Null a => Null (Problem' a) # | |
| Null a => Null (MaybeWarnings' a) # | |
| (Null a, Null b) => Null (a, b) # | |
| Null (Map k a) # | |
| Null (HashMap k a) # | |
| Null (Trie k v) # | Empty trie. |
Testing for null.
unlessNull :: (Monad m, Null a) => a -> (a -> m ()) -> m () #
unlessNullM :: (Monad m, Null a) => m a -> (a -> m ()) -> m () #