PlutusTx.Bool
data Bool Source #
Constructors
Defined in Data.Aeson.Types.FromJSON
Methods
parseJSON ∷ Value → Parser Bool
parseJSONList ∷ Value → Parser [Bool]
omittedField ∷ Maybe Bool
fromJSONKey ∷ FromJSONKeyFunction Bool
fromJSONKeyList ∷ FromJSONKeyFunction [Bool]
Defined in Data.Aeson.Types.ToJSON
toJSON ∷ Bool → Value
toEncoding ∷ Bool → Encoding
toJSONList ∷ [Bool] → Value
toEncodingList ∷ [Bool] → Encoding
omitField ∷ Bool → Bool
toJSONKey ∷ ToJSONKeyFunction Bool
toJSONKeyList ∷ ToJSONKeyFunction [Bool]
Since: base-4.0.0.0
Defined in Data.Data
gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Bool → c Bool Source #
gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Bool Source #
toConstr ∷ Bool → Constr Source #
dataTypeOf ∷ Bool → DataType Source #
dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Bool) Source #
dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Bool) Source #
gmapT ∷ (∀ b. Data b ⇒ b → b) → Bool → Bool Source #
gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Bool → r Source #
gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Bool → r Source #
gmapQ ∷ (∀ d. Data d ⇒ d → u) → Bool → [u] Source #
gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Bool → u Source #
gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Bool → m Bool Source #
gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Bool → m Bool Source #
gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Bool → m Bool Source #
Since: base-2.1
Defined in GHC.Enum
minBound ∷ Bool Source #
maxBound ∷ Bool Source #
succ ∷ Bool → Bool Source #
pred ∷ Bool → Bool Source #
toEnum ∷ Int → Bool Source #
fromEnum ∷ Bool → Int Source #
enumFrom ∷ Bool → [Bool] Source #
enumFromThen ∷ Bool → Bool → [Bool] Source #
enumFromTo ∷ Bool → Bool → [Bool] Source #
enumFromThenTo ∷ Bool → Bool → Bool → [Bool] Source #
Defined in GHC.Generics
Associated Types
type Rep Bool ∷ Type → Type Source #
from ∷ Bool → Rep Bool x Source #
to ∷ Rep Bool x → Bool Source #
Since: base-4.9.0.0
type DemoteRep Bool
fromSing ∷ ∀ (a ∷ Bool). Sing a → DemoteRep Bool
Defined in GHC.Ix
range ∷ (Bool, Bool) → [Bool] Source #
index ∷ (Bool, Bool) → Bool → Int Source #
unsafeIndex ∷ (Bool, Bool) → Bool → Int Source #
inRange ∷ (Bool, Bool) → Bool → Bool Source #
rangeSize ∷ (Bool, Bool) → Int Source #
unsafeRangeSize ∷ (Bool, Bool) → Int Source #
Defined in GHC.Read
readsPrec ∷ Int → ReadS Bool Source #
readList ∷ ReadS [Bool] Source #
readPrec ∷ ReadPrec Bool Source #
readListPrec ∷ ReadPrec [Bool] Source #
Defined in GHC.Show
showsPrec ∷ Int → Bool → ShowS Source #
show ∷ Bool → String Source #
showList ∷ [Bool] → ShowS Source #
Defined in Basement.Bits
(.&.) ∷ Bool → Bool → Bool
(.|.) ∷ Bool → Bool → Bool
(.^.) ∷ Bool → Bool → Bool
(.<<.) ∷ Bool → CountOf Bool → Bool
(.>>.) ∷ Bool → CountOf Bool → Bool
bit ∷ Offset Bool → Bool
isBitSet ∷ Bool → Offset Bool → Bool
setBit ∷ Bool → Offset Bool → Bool
clearBit ∷ Bool → Offset Bool → Bool
numberOfBits ∷ Bool → CountOf Bool
rotateL ∷ Bool → CountOf Bool → Bool
rotateR ∷ Bool → CountOf Bool → Bool
popCount ∷ Bool → CountOf Bool
bitFlip ∷ Bool → Bool
countLeadingZeros ∷ Bool → CountOf Bool
countTrailingZeros ∷ Bool → CountOf Bool
Defined in Control.DeepSeq
rnf ∷ Bool → () Source #
Defined in GHC.Classes
(==) ∷ Bool → Bool → Bool Source #
(/=) ∷ Bool → Bool → Bool Source #
compare ∷ Bool → Bool → Ordering Source #
(<) ∷ Bool → Bool → Bool Source #
(<=) ∷ Bool → Bool → Bool Source #
(>) ∷ Bool → Bool → Bool Source #
(>=) ∷ Bool → Bool → Bool Source #
max ∷ Bool → Bool → Bool Source #
min ∷ Bool → Bool → Bool Source #
Defined in Data.Hashable.Class
hashWithSalt ∷ Int → Bool → Int Source #
hash ∷ Bool → Int Source #
Defined in PlutusTx.Blueprint.Definition.Unroll
type Unroll Bool ∷ [Type] Source #
definitionId ∷ DefinitionId Source #
Defined in PlutusTx.Builtins.HasBuiltin
type ToBuiltin Bool Source #
toBuiltin ∷ Bool → ToBuiltin Bool Source #
Defined in PlutusTx.Enum
toEnum ∷ Integer → Bool Source #
fromEnum ∷ Bool → Integer Source #
Defined in PlutusTx.Eq
Defined in PlutusTx.IsData.Instances
fromBuiltinData ∷ BuiltinData → Maybe Bool Source #
toBuiltinData ∷ Bool → BuiltinData Source #
unsafeFromBuiltinData ∷ BuiltinData → Bool Source #
Defined in PlutusTx.Lattice
bottom ∷ Bool Source #
top ∷ Bool Source #
(\/) ∷ Bool → Bool → Bool Source #
(/\) ∷ Bool → Bool → Bool Source #
Defined in PlutusTx.Numeric
zero ∷ Bool Source #
(+) ∷ Bool → Bool → Bool Source #
one ∷ Bool Source #
(*) ∷ Bool → Bool → Bool Source #
Defined in PlutusTx.Ord
Defined in PlutusTx.Show
showsPrec ∷ Integer → Bool → ShowS Source #
show ∷ Bool → BuiltinString Source #
>>> pretty True True
>>>
pretty True
Defined in Prettyprinter.Internal
pretty ∷ Bool → Doc ann Source #
prettyList ∷ [Bool] → Doc ann Source #
Defined in System.Random.Internal
uniformM ∷ StatefulGen g m ⇒ g → m Bool Source #
uniformRM ∷ StatefulGen g m ⇒ (Bool, Bool) → g → m Bool Source #
Since: serialise-0.2.0.0
Defined in Codec.Serialise.Class
encode ∷ Bool → Encoding Source #
decode ∷ Decoder s Bool Source #
encodeList ∷ [Bool] → Encoding Source #
decodeList ∷ Decoder s [Bool] Source #
Defined in Data.Vector.Unboxed.Base
Defined in Text.PrettyPrint.Annotated.WL
pretty ∷ Bool → Doc b
prettyList ∷ [Bool] → Doc b
sing ∷ Sing 'False
sing ∷ Sing 'True
schema ∷ Schema referencedTypes Source #
Defined in PlutusTx.Builtins.HasOpaque
fromOpaque ∷ BuiltinBool → Bool Source #
toOpaque ∷ Bool → BuiltinBool Source #
Defined in PlutusTx.Lift.Instances
lift ∷ Bool → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Defined in Text.PrettyBy.Internal
defaultPrettyBy ∷ config → Bool → Doc ann Source #
defaultPrettyListBy ∷ config → [Bool] → Doc ann Source #
Defined in PlutusCore.Pretty.PrettyConst
nonDefaultPrettyBy ∷ ConstConfig → Bool → Doc ann Source #
nonDefaultPrettyListBy ∷ ConstConfig → [Bool] → Doc ann Source #
>>> prettyBy () True True
prettyBy () True
prettyBy ∷ config → Bool → Doc ann Source #
prettyListBy ∷ config → [Bool] → Doc ann Source #
Defined in Language.Haskell.TH.Syntax
lift ∷ Quote m ⇒ Bool → m Exp Source #
liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Bool → Code m Bool Source #
basicUnsafeFreeze ∷ Mutable Vector s Bool → ST s (Vector Bool) Source #
basicUnsafeThaw ∷ Vector Bool → ST s (Mutable Vector s Bool) Source #
basicLength ∷ Vector Bool → Int Source #
basicUnsafeSlice ∷ Int → Int → Vector Bool → Vector Bool Source #
basicUnsafeIndexM ∷ Vector Bool → Int → Box Bool Source #
basicUnsafeCopy ∷ Mutable Vector s Bool → Vector Bool → ST s () Source #
elemseq ∷ Vector Bool → Bool → b → b Source #
basicLength ∷ MVector s Bool → Int Source #
basicUnsafeSlice ∷ Int → Int → MVector s Bool → MVector s Bool Source #
basicOverlaps ∷ MVector s Bool → MVector s Bool → Bool Source #
basicUnsafeNew ∷ Int → ST s (MVector s Bool) Source #
basicInitialize ∷ MVector s Bool → ST s () Source #
basicUnsafeReplicate ∷ Int → Bool → ST s (MVector s Bool) Source #
basicUnsafeRead ∷ MVector s Bool → Int → ST s Bool Source #
basicUnsafeWrite ∷ MVector s Bool → Int → Bool → ST s () Source #
basicClear ∷ MVector s Bool → ST s () Source #
basicSet ∷ MVector s Bool → Bool → ST s () Source #
basicUnsafeCopy ∷ MVector s Bool → MVector s Bool → ST s () Source #
basicUnsafeMove ∷ MVector s Bool → MVector s Bool → ST s () Source #
basicUnsafeGrow ∷ MVector s Bool → Int → ST s (MVector s Bool) Source #
Defined in PlutusCore.Default.Universe
makeKnown ∷ Bool → BuiltinResult term Source #
readKnown ∷ term → ReadKnownM Bool Source #
knownUni ∷ DefaultUni (Esc Bool) Source #
typeRep ∷ Proxy Bool → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type IsBuiltin DefaultUni Bool ∷ Bool Source #
type ToHoles DefaultUni Bool ∷ [Hole] Source #
type ToBinds DefaultUni acc Bool ∷ [Some TyNameRep] Source #
typeAst ∷ Type tyname DefaultUni () Source #
Since: base-4.6.0.0
(&&) ∷ Bool → Bool → Bool infixr 3 Source #
Logical AND
>>> True && False False
True && False
(||) ∷ Bool → Bool → Bool infixr 2 Source #
Logical OR
>>> True || False True
True || False
not ∷ Bool → Bool Source #
Logical negation
>>> not True False
not True
otherwise ∷ Bool Source #
otherwise is defined as the value True. It helps to make guards more readable. eg.
otherwise
True
f x | x < 0 = ... | otherwise = ...