True -package:copilot-language

True :: Bool
base Prelude Data.Bool GHC.Base GHC.Exts, ghc-prim GHC.Types, hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Prelude.Compat, protolude Protolude, relude Relude.Bool.Reexport, 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.Bool.Reexport, ihaskell IHaskellPrelude, basement Basement.Compat.Base Basement.Imports, clash-prelude Clash.HaskellPrelude, github GitHub.Internal.Prelude, foundation Foundation, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, dimensional Numeric.Units.Dimensional.Prelude, ghc-internal GHC.Internal.Base GHC.Internal.Data.Bool GHC.Internal.Exts, haxl Haxl.Prelude, rebase Rebase.Prelude, quaalude Essentials, mixed-types-num Numeric.MixedTypes.PreludeHiding, 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, protobuf-simple Data.ProtoBufInt, vcr Imports, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
True :: Singleton True
tfp Type.Data.Bool
data True
tfp Type.Data.Bool
pattern TRUE :: LuaBool
lua Lua Lua.Constants
Value which Lua usually uses as True.
type TRUE = 'True
morpheus-graphql-core Data.Morpheus.Types.Internal.AST
data TRUE
gdp Logic.Propositional
The constant "true".
data True
type-level-numbers TypeLevel.Boolean
Data type for truth
true :: Boolean b => b
Boolean Data.Boolean Data.Boolean
true :: Proxy True
tfp Type.Data.Bool
true :: Boolean b => b
cond Data.Algebra.Boolean
Truth value, defined as the top of the bounded lattice
true :: Boolean a => a
Agda Agda.Utils.Boolean
true :: Word8
messagepack Data.MessagePack.Spec
true :: Term
what4 What4.Protocol.SMTLib2.Syntax
true Boolean term
true :: PDFExpression Bool
HPDF Graphics.PDF.Expression
true :: Ix i => (i, i) -> BitArray i
bitwise Data.Array.BitArray
A uniform array of True.
true :: Exp a -> Alt (Exp a)
ede Text.EDE.Internal.AST
true :: (HasCallStack, MonadIO m) => m Bool
gi-gtk-hs Data.GI.Gtk
true :: Greskell Bool
greskell Data.Greskell, greskell-core Data.Greskell.Greskell
Boolean true literal.
true :: Expr
express Data.Express.Fixtures, code-conjure Conjure.Engine Conjure.Expr
True encoded as an Expr. 
> true
True :: Bool
true :: Boolean b => b
ersatz Ersatz.Bit
true = bool True
true :: Proof TRUE
gdp Logic.Propositional
TRUE is always true, and can be introduced into a proof at any time.
true :: LogicalOp b => b
grisette Grisette.Core Grisette.Internal.Core.Data.Class.LogicalOp
Constant true
true :: Json
jsonifier Jsonifier
JSON true Boolean literal.
true :: Exp Bool
nsis Development.NSIS
Boolean constants corresponding to True and False
true :: Formula
djinn-lib Djinn.LJTFormula