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 Source

Minimal complete definition

Nothing

Methods

_Empty :: Prism' a () Source

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

Instances

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

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