lens-4.13.2.1: Lenses, Folds and Traversals

Copyright(C) 2012-16 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilitynon-portable
Safe HaskellTrustworthy
LanguageHaskell98

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 

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 
AsEmpty 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