not -package:what4

not :: Bool -> Bool
base Prelude Data.Bool GHC.Base, ghc-prim GHC.Classes, hedgehog Hedgehog.Internal.Prelude, base-compat Prelude.Compat, protolude Protolude, relude Relude.Bool.Reexport, rio RIO.Prelude, base-prelude BasePrelude, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Bool.Reexport, ihaskell IHaskellPrelude, basement Basement.Compat.Base Basement.Imports, numhask NumHask.Prelude, foundation Foundation, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, ghc-internal GHC.Internal.Base GHC.Internal.Data.Bool, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, vcr Imports, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import
Boolean "not"
not :: Bool -> Bool
ghc GHC.Prelude.Basic, clash-prelude Clash.HaskellPrelude
not :: Boolean a => a -> a
Boolean Data.Boolean.Overload, Agda Agda.Utils.Boolean
not :: AssertionValue dom a => a -> Assertion dom
clash-prelude Clash.Explicit.Verification Clash.Verification
Truth table for not: 
a     | not a
------------
True  | False
False | True
not :: Proxy x -> Proxy (Not x)
tfp Type.Data.Bool
not :: Not a => a -> Refinement
clay Clay Clay.Pseudo
not :: Boolean b => b -> b
cond Data.Algebra.Boolean
Logical negation.
not :: SStatement -> SStatement
sbv Documentation.SBV.Examples.Puzzles.KnightsAndKnaves
The connective not negates a statement
not :: SB -> SB
sbv Documentation.SBV.Examples.Uninterpreted.Deduce
Uninterpreted logical connective not
not :: (Boolean a, IsBool a) => a -> a
Agda Agda.Utils.Boolean
not :: Field SqlBool -> Field SqlBool
opaleye Opaleye.Internal.Operators
not :: Field SqlBool -> Field SqlBool
opaleye Opaleye.Operators
Boolean not
not :: PDFExpression Bool -> PDFExpression Bool
HPDF Graphics.PDF.Expression
not :: CanNeg t => t -> NegType t
mixed-types-num Numeric.MixedTypes.Bool
A synonym of negate.
not :: CanNegSameType t => t -> t
mixed-types-num Numeric.OrdGenericBool
not :: forall (m :: Type -> Type) a . Monad m => Predicate m a -> Predicate m a
skeletest Skeletest.Internal.Predicate Skeletest.Predicate
A predicate checking if the input does not match the given predicate 
>>> Just 2 `shouldSatisfy` P.just (P.not (P.eq 1))
not :: BV -> BV
bv Data.BitVector
An alias for complement.
not :: Bool <-> Bool
invertible Data.Invertible.Bool Data.Invertible.Prelude
Boolean not.
not :: Stream Bool -> Stream Bool
copilot-language Copilot.Language.Operators.Boolean
Negate all the values in a boolean stream.
not :: Negatable a b => a -> b
copilot-language Copilot.Language.Operators.Propositional
Negate a proposition.
not :: Boolean b => b -> b
ersatz Ersatz.Bit
Logical negation
not :: (Boolean b, Generic b, GBoolean (Rep b)) => b -> b
ersatz Ersatz.Bit
Logical negation
not :: CharSet -> CharSet
parser-regex Data.CharSet Regex.Internal.CharSet
The complement of a set.
not :: RDualBool -> RBool
rec-def Data.Recursive.Bool
RB.get (RB.not r1) === not (RDB.get r1)
not :: RBool -> RDualBool
rec-def Data.Recursive.DualBool
RDB.get (RDB.not r1) === not (RB.get r1)