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 () #