nothing -package:xmonad-contrib

nothing :: (Monad m) => MaybeT m a
errors Control.Error.Util
Analogous to Nothing and equivalent to mzero
nothing :: Prism' (Maybe a) ()
lens-family Lens.Family2.Stock
A prism on the Nothing element of a Maybe.
nothing :: SqlExpr (Value (Maybe typ))
esqueleto Database.Esqueleto Database.Esqueleto.Experimental Database.Esqueleto.Internal.Internal Database.Esqueleto.Legacy
NULL value.
nothing :: (Applicative f, Traversable g) => AdapterLike' f g (Maybe a) ()
lens-family-core Lens.Family.Stock
nothing :: Prism' (Maybe a) ()
A prism on the Nothing element of a Maybe.
nothing :: RegExp
sbv Data.SBV.RegExp
Match nothing, universal rejector. 
>>> prove $ \(s :: SString) -> sNot (s `match` nothing)
Q.E.D.
nothing :: (OperatorContext c, SqlContext c, PersistableWidth a) => Record c (Maybe a)
relational-query Database.Relational.Arrow Database.Relational.Projectable, relational-schemas Database.Custom.IBMDB2 Database.Custom.MySQL Database.Custom.Oracle Database.Custom.PostgreSQL Database.Custom.SQLServer Database.Custom.SQLite3
Record with polymorphic phantom type of SQL null value. Semantics of comparing is unsafe.
nothing :: Show a => Maybe a -> Assertion
chell Test.Chell
Assert that some value is Nothing.
nothing :: forall (m :: Type -> Type) a . Monad m => Predicate m (Maybe a)
skeletest Skeletest.Internal.Predicate Skeletest.Predicate
A predicate checking if the input is Nothing 
>>> Nothing `shouldSatisfy` P.nothing
nothing :: Pattern a
tidal Sound.Tidal.Boot, tidal-core Sound.Tidal.Pattern
nothing :: Expr
express Data.Express.Fixtures, code-conjure Conjure.Engine Conjure.Expr
Nothing bound to the Maybe Int type encoded as an Expr. This is an alias to nothingInt.
nothing :: Iso () (Maybe a)
partial-isomorphisms Control.Isomorphism.Partial.Constructors
nothing :: MaybeLike a v => a
monad-memo Data.MaybeLike
Nothing :: Maybe a
base Prelude Data.Maybe GHC.Maybe, hedgehog Hedgehog.Internal.Prelude, ghc GHC.Data.Strict GHC.Prelude.Basic, base-compat Prelude.Compat, strict Data.Strict.Maybe, protolude Protolude, relude Relude.Monad.Reexport, haskell-gi-base Data.GI.Base.ShortPrelude, rio RIO.Prelude.Types, base-prelude BasePrelude BasePrelude.DataTypes, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Monad.Reexport, basement Basement.Compat.Base Basement.Imports, numhask NumHask.Prelude, clash-prelude Clash.HaskellPrelude, foundation Foundation, ghc-lib-parser GHC.Data.Strict GHC.Prelude.Basic, ghc-internal GHC.Internal.Data.Maybe GHC.Internal.Maybe, prelude-compat Prelude2010, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, quaalude Essentials, mixed-types-num Numeric.MixedTypes.PreludeHiding, yaya Yaya.Pattern, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, faktory Faktory.Prelude, protobuf-simple Data.ProtoBufInt, strict-base-types Data.Maybe.Strict, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude
NoThing :: Pronoun
ace ACE.Types.Syntax
nothingName :: Name
template-haskell Language.Haskell.TH.Syntax, ghc-internal GHC.Internal.TH.Lift
nothingDataConKey :: Unique
ghc GHC.Builtin.Names, ghc-lib-parser GHC.Builtin.Names
nothingDataCon :: DataCon
ghc GHC.Builtin.Types, ghc-lib-parser GHC.Builtin.Types
nothingDataConName :: Name
ghc GHC.Builtin.Types, ghc-lib-parser GHC.Builtin.Types
nothing_ :: Traversal' (Maybe a) ()
lens-family Lens.Family2.Stock
Traversal on the Nothing element of a Maybe.
nothing_ :: Applicative f => LensLike' f (Maybe a) ()
lens-family-core Lens.Family.Stock
nothing_ :: Traversal' (Maybe a) ()
Traversal on the Nothing element of a Maybe.
nothingActionGet :: (HasCallStack, MonadIO m) => m NothingAction
gi-gtk GI.Gtk.Objects.NothingAction
Gets the nothing action. This is an action that does nothing and where activating it always fails.
nothing_ :: SqlJustable a b => b
beam-core Database.Beam.Query
Return either a 'QExpr (Maybe x)' representing Nothing or a nullable Table or PrimaryKey filled with Nothing.
nothingBetweenZeroAndOne :: TP (Proof (Forall "m" Nat -> SBool))
sbv Documentation.SBV.Examples.TP.Peano
>>> runTP nothingBetweenZeroAndOne
Lemma: nothingBetweenZeroAndOne         Q.E.D.
[Proven] nothingBetweenZeroAndOne :: Ɐm ∷ Nat → Bool
nothingFields :: Default Nullspec a a => MaybeFields a
opaleye Opaleye.Internal.MaybeFields
The Opaleye analogue of Nothing.
nothingFieldsExplicit :: Nullspec a b -> MaybeFields b
opaleye Opaleye.Internal.MaybeFields