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	Haskell2010

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

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

Instances

Instances details

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

pattern Empty :: AsEmpty s => s Source #