66   _Empty :: Prism' a ()
67   default _Empty :: (Monoid a, Eq a) => Prism' a ()
68   _Empty = only mempty  function
72 pattern Empty <- (has _Empty -> True) where
73   Empty = review _Empty ()
88   _Empty = _Nothing  function
92   _Empty = nearly (Last Nothing) (isNothing .# getLast)  function
96   _Empty = nearly (First Nothing) (isNothing .# getFirst)  function
100   _Empty = iso getDual Dual . _Empty  function
104   _Empty = prism' (\() -> (_Empty # (), _Empty # ())) $ \(s,s') -> case _Empty Left s of  function
105     Left () -> case _Empty Left s' of
112 …_Empty = prism' (\() -> (_Empty # (), _Empty # (), _Empty # ())) $ \(s,s',s'') -> case _Empty Left…  function
113     Left () -> case _Empty Left s' of
114       Left () -> case _Empty Left s'' of
122   _Empty = nearly [] Prelude.null  function
126   _Empty = nearly (ZipList []) (Prelude.null . getZipList)  function
130   _Empty = nearly Map.empty Map.null  function
134   _Empty = nearly HashMap.empty HashMap.null  function
138   _Empty = nearly IntMap.empty IntMap.null  function
142   _Empty = nearly Set.empty Set.null  function
146   _Empty = nearly HashSet.empty HashSet.null  function
150   _Empty = nearly IntSet.empty IntSet.null  function
154   _Empty = nearly Vector.empty Vector.null  function
158   _Empty = nearly Unboxed.empty Unboxed.null  function
162   _Empty = nearly Storable.empty Storable.null  function
166   _Empty = nearly Seq.empty Seq.null  function
170   _Empty = nearly StrictB.empty StrictB.null  function
174   _Empty = nearly LazyB.empty LazyB.null  function
178   _Empty = nearly StrictT.empty StrictT.null  function
182   _Empty = nearly LazyT.empty LazyT.null  function