lens-4.13: Lenses, Folds and Traversals

Copyright | (C) 2012-15 Edward Kmett
License | BSD-style (see the file LICENSE)
Maintainer | Edward Kmett <ekmett@gmail.com>
Stability | provisional
Portability | non-portable
Safe Haskell | Trustworthy
Language | Haskell98

Control.Lens.Empty

Description

# Documentation

class AsEmpty a where Source

Minimal complete definition

Nothing

Methods

_Empty :: Prism' a () Source

    >>> isn't _Empty [1,2,3]
    True

Instances

AsEmpty Ordering Source |
AsEmpty () Source |
AsEmpty Event Source |
AsEmpty All Source |
AsEmpty Any Source |
AsEmpty ByteString Source |
AsEmpty ByteString Source |
AsEmpty IntSet Source |
AsEmpty Text Source |
AsEmpty Text Source |
AsEmpty [a] Source |
AsEmpty a => AsEmpty (Dual a) Source |
(Eq a, Num a) => AsEmpty (Sum a) Source |
(Eq a, Num a) => AsEmpty (Product a) Source |
AsEmpty (First a) Source |
AsEmpty (Last a) Source |
AsEmpty (Maybe a) Source |
AsEmpty (IntMap a) Source |
AsEmpty (Set a) Source |
AsEmpty (Seq a) Source |
AsEmpty (HashSet a) Source |
AsEmpty (Vector a) Source |
Unbox a => AsEmpty (Vector a) Source |
Storable a => AsEmpty (Vector a) Source |
(AsEmpty a, AsEmpty b) => AsEmpty (a, b) Source |
AsEmpty (Map k a) Source |
AsEmpty (HashMap k a) Source |
(AsEmpty a, AsEmpty b, AsEmpty c) => AsEmpty (a, b, c) Source |

pattern Empty :: () => AsEmpty s => s Source