lens-4.15.3: Lenses, Folds and Traversals

Copyright | (C) 2012-16 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 #

Methods

_Empty :: Prism' a () #

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

_Empty :: (Monoid a, Eq a) => Prism' a () #

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

Instances

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

pattern Empty :: forall s. AsEmpty s => s #