Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Bool

Synopsis

data Bool
- = False
- | True
(&&) ∷ Bool → Bool → Bool
(||) ∷ Bool → Bool → Bool
not ∷ Bool → Bool
otherwise ∷ Bool

Documentation

data Bool Source #

Constructors

False
True

Instances

Instances details

FromJSON Bool
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON ∷ Value → Parser Bool parseJSONList ∷ Value → Parser [Bool] omittedField ∷ Maybe Bool
FromJSONKey Bool
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey ∷ FromJSONKeyFunction Bool fromJSONKeyList ∷ FromJSONKeyFunction [Bool]
ToJSON Bool
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON ∷ Bool → Value toEncoding ∷ Bool → Encoding toJSONList ∷ [Bool] → Value toEncodingList ∷ [Bool] → Encoding omitField ∷ Bool → Bool
ToJSONKey Bool
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey ∷ ToJSONKeyFunction Bool toJSONKeyList ∷ ToJSONKeyFunction [Bool]
Data Bool	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods 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 #
Bounded Bool	Since: base-2.1
Instance details Defined in GHC.Enum Methods minBound ∷ Bool Source # maxBound ∷ Bool Source #
Enum Bool	Since: base-2.1
Instance details Defined in GHC.Enum Methods 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 #
Generic Bool
Instance details Defined in GHC.Generics Associated Types type Rep Bool ∷ Type → Type Source # Methods from ∷ Bool → Rep Bool x Source # to ∷ Rep Bool x → Bool Source #
SingKind Bool	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type DemoteRep Bool Methods fromSing ∷ ∀ (a ∷ Bool). Sing a → DemoteRep Bool
Ix Bool	Since: base-2.1
Instance details Defined in GHC.Ix Methods 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 #
Read Bool	Since: base-2.1
Instance details Defined in GHC.Read Methods readsPrec ∷ Int → ReadS Bool Source # readList ∷ ReadS [Bool] Source # readPrec ∷ ReadPrec Bool Source # readListPrec ∷ ReadPrec [Bool] Source #
Show Bool	Since: base-2.1
Instance details Defined in GHC.Show Methods showsPrec ∷ Int → Bool → ShowS Source # show ∷ Bool → String Source # showList ∷ [Bool] → ShowS Source #
BitOps Bool
Instance details Defined in Basement.Bits Methods (.&.) ∷ 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
FiniteBitsOps Bool
Instance details Defined in Basement.Bits Methods 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
NFData Bool
Instance details Defined in Control.DeepSeq Methods rnf ∷ Bool → () Source #
Eq Bool
Instance details Defined in GHC.Classes Methods (==) ∷ Bool → Bool → Bool Source # (/=) ∷ Bool → Bool → Bool Source #
Ord Bool
Instance details Defined in GHC.Classes Methods 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 #
Hashable Bool
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Bool → Int Source # hash ∷ Bool → Int Source #
HasToBuiltin Bool Source #
Instance details Defined in PlutusTx.Builtins.HasBuiltin Associated Types type ToBuiltin Bool Source # Methods toBuiltin ∷ Bool → ToBuiltin Bool Source #
Enum Bool Source #
Instance details Defined in PlutusTx.Enum Methods succ ∷ Bool → Bool Source # pred ∷ Bool → Bool Source # toEnum ∷ Integer → Bool Source # fromEnum ∷ Bool → Integer Source # enumFromTo ∷ Bool → Bool → [Bool] Source # enumFromThenTo ∷ Bool → Bool → Bool → [Bool] Source #
Eq Bool Source #
Instance details Defined in PlutusTx.Eq Methods (==) ∷ Bool → Bool → Bool Source #
FromData Bool Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData ∷ BuiltinData → Maybe Bool Source #
ToData Bool Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData ∷ Bool → BuiltinData Source #
UnsafeFromData Bool Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData ∷ BuiltinData → Bool Source #
BoundedJoinSemiLattice Bool Source #
Instance details Defined in PlutusTx.Lattice Methods bottom ∷ Bool Source #
BoundedMeetSemiLattice Bool Source #
Instance details Defined in PlutusTx.Lattice Methods top ∷ Bool Source #
JoinSemiLattice Bool Source #
Instance details Defined in PlutusTx.Lattice Methods (\/) ∷ Bool → Bool → Bool Source #
MeetSemiLattice Bool Source #
Instance details Defined in PlutusTx.Lattice Methods (/\) ∷ Bool → Bool → Bool Source #
AdditiveMonoid Bool Source #
Instance details Defined in PlutusTx.Numeric Methods zero ∷ Bool Source #
AdditiveSemigroup Bool Source #
Instance details Defined in PlutusTx.Numeric Methods (+) ∷ Bool → Bool → Bool Source #
MultiplicativeMonoid Bool Source #
Instance details Defined in PlutusTx.Numeric Methods one ∷ Bool Source #
MultiplicativeSemigroup Bool Source #
Instance details Defined in PlutusTx.Numeric Methods (*) ∷ Bool → Bool → Bool Source #
Ord Bool Source #
Instance details Defined in PlutusTx.Ord Methods 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 #
Show Bool Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → Bool → ShowS Source # show ∷ Bool → BuiltinString Source #
Pretty Bool	`>>>` `pretty True`True
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Bool → Doc ann Source # prettyList ∷ [Bool] → Doc ann Source #
Uniform Bool
Instance details Defined in System.Random.Internal Methods uniformM ∷ StatefulGen g m ⇒ g → m Bool Source #
UniformRange Bool
Instance details Defined in System.Random.Internal Methods uniformRM ∷ StatefulGen g m ⇒ (Bool, Bool) → g → m Bool Source #
Serialise Bool	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Bool → Encoding Source # decode ∷ Decoder s Bool Source # encodeList ∷ [Bool] → Encoding Source # decodeList ∷ Decoder s [Bool] Source #
Unbox Bool
Instance details Defined in Data.Vector.Unboxed.Base
Pretty Bool
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty ∷ Bool → Doc b prettyList ∷ [Bool] → Doc b
SingI 'False	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing ∷ Sing 'False
SingI 'True	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods sing ∷ Sing 'True
HasSchema Bool ts Source #
Instance details Defined in PlutusTx.Blueprint.Class Methods schema ∷ Schema ts Source #
AsDefinitionId Bool Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods definitionId ∷ DefinitionId Source #
HasFromOpaque BuiltinBool Bool Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinBool → Bool Source #
HasToOpaque Bool BuiltinBool Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ Bool → BuiltinBool Source #
Lift DefaultUni Bool Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift ∷ Bool → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
DefaultPrettyBy config Bool
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy ∷ config → Bool → Doc ann Source # defaultPrettyListBy ∷ config → [Bool] → Doc ann Source #
NonDefaultPrettyBy ConstConfig Bool
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy ∷ ConstConfig → Bool → Doc ann Source # nonDefaultPrettyListBy ∷ ConstConfig → [Bool] → Doc ann Source #
PrettyDefaultBy config Bool ⇒ PrettyBy config Bool	`>>>` `prettyBy () True`True
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy ∷ config → Bool → Doc ann Source # prettyListBy ∷ config → [Bool] → Doc ann Source #
Lift Bool
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Quote m ⇒ Bool → m Exp Source # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Bool → Code m Bool Source #
Vector Vector Bool
Instance details Defined in Data.Vector.Unboxed.Base Methods 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 #
MVector MVector Bool
Instance details Defined in Data.Vector.Unboxed.Base Methods 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 #
KnownBuiltinTypeIn DefaultUni term Bool ⇒ MakeKnownIn DefaultUni term Bool
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Bool → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Bool ⇒ ReadKnownIn DefaultUni term Bool
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Bool Source #
Contains DefaultUni Bool
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Bool) Source #
Typeable DefaultUni Bool Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep ∷ Proxy Bool → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
KnownBuiltinTypeAst tyname DefaultUni Bool ⇒ KnownTypeAst tyname DefaultUni Bool
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Bool ∷ Bool Source # type ToHoles DefaultUni Bool ∷ [Hole] Source # type ToBinds DefaultUni acc Bool ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
type DemoteRep Bool
Instance details Defined in GHC.Generics type DemoteRep Bool = Bool
type Rep Bool	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep Bool = D1 ('MetaData "Bool" "GHC.Types" "ghc-prim" 'False) (C1 ('MetaCons "False" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "True" 'PrefixI 'False) (U1 ∷ Type → Type))
data Sing (a ∷ Bool)
Instance details Defined in GHC.Generics data Sing (a ∷ Bool) where STrue ∷ Sing 'True SFalse ∷ Sing 'False
type ToBuiltin Bool Source #
Instance details Defined in PlutusTx.Builtins.HasBuiltin type ToBuiltin Bool = BuiltinBool
newtype Vector Bool
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Bool = V_Bool (Vector Word8)
newtype MVector s Bool
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Bool = MV_Bool (MVector s Word8)
type IsBuiltin DefaultUni Bool
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Bool = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Bool)
type ToHoles DefaultUni Bool
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Bool = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Bool)
type ToBinds DefaultUni acc Bool
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Bool = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Bool)

(&&) ∷ Bool → Bool → Bool infixr 3 Source #

Logical AND

>>> True && False
False

(||) ∷ Bool → Bool → Bool infixr 2 Source #

Logical OR

>>> True || False
True

not ∷ Bool → Bool Source #

Logical negation

>>> not True
False

otherwise ∷ Bool Source #

otherwise is defined as the value True. It helps to make guards more readable. eg.

 f x | x < 0     = ...
     | otherwise = ...