HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleoptics-extra-0.4.2.1Haskell2010

Optics.Empty

This module defines the AsEmpty class, which provides a Prism for a type that may be _Empty.

Example1 expression
isn't _Empty [1,2,3]True
Example1 expression
case Nothing of { Empty -> True; _ -> False }True
  • 1 class
classclass AsEmpty a where
#

Class for types that may be _Empty.

Methods

  • _Empty :: Prism' a ()
    Example1 expression
    isn't _Empty [1,2,3]True
Instances29AsEmpty, …
  • AsEmpty ByteStringDefined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty ByteStringDefined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty IntSetDefined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty AllDefined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty AnyDefined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty EventDefined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty OrderingDefined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty TextDefined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty TextDefined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty ()Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • Storable a => AsEmpty (Vector a)Defined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty (IntMap a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (Seq a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (Set a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (First a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (Last a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (ZipList a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (Maybe a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (HashSet a)Defined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty (Vector a)Defined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • AsEmpty [a]Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty a => AsEmpty (Dual a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • Unbox a => AsEmpty (Vector a)Defined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • (Eq a, Num a) => AsEmpty (Product a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • (Eq a, Num a) => AsEmpty (Sum a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (Map k a)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • AsEmpty (HashMap k a)Defined in optics-extra-0.4.2.1 · Optics.Empty · orphan
  • (AsEmpty a, AsEmpty b) => AsEmpty (a, b)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
  • (AsEmpty a, AsEmpty b, AsEmpty c) => AsEmpty (a, b, c)Defined in optics-core-0.4.1.1 · Optics.Empty.Core
patternpattern Empty :: AsEmpty a => a
#

Pattern synonym for matching on any type with an AsEmpty instance.

Example1 expression
case Nothing of { Empty -> True; _ -> False }True

Orphan instances

9 instances