plutus-tx-1.36.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Bool

Synopsis

Documentation

data Bool Source #

Constructors

False 
True 

Instances

Instances details
FromJSON Bool 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Bool 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Bool 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Bool 
Instance details

Defined in Data.Aeson.Types.ToJSON

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 #

toConstrBoolConstr Source #

dataTypeOfBoolDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Bool) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Bool) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BoolBool 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 #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Bool → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Bool → m Bool Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Bool → m Bool Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Bool → m Bool Source #

Bounded Bool

Since: base-2.1

Instance details

Defined in GHC.Enum

Enum Bool

Since: base-2.1

Instance details

Defined in GHC.Enum

Generic Bool 
Instance details

Defined in GHC.Generics

Associated Types

type Rep BoolTypeType Source #

Methods

fromBoolRep Bool x Source #

toRep 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) → BoolInt Source #

unsafeIndex ∷ (Bool, Bool) → BoolInt Source #

inRange ∷ (Bool, Bool) → BoolBool Source #

rangeSize ∷ (Bool, Bool) → Int Source #

unsafeRangeSize ∷ (Bool, Bool) → Int Source #

Read Bool

Since: base-2.1

Instance details

Defined in GHC.Read

Show Bool

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

showsPrecIntBoolShowS Source #

showBoolString Source #

showList ∷ [Bool] → ShowS Source #

BitOps Bool 
Instance details

Defined in Basement.Bits

Methods

(.&.)BoolBoolBool

(.|.)BoolBoolBool

(.^.)BoolBoolBool

(.<<.)Bool → CountOf BoolBool

(.>>.)Bool → CountOf BoolBool

bit ∷ Offset BoolBool

isBitSetBool → Offset BoolBool

setBitBool → Offset BoolBool

clearBitBool → Offset BoolBool

FiniteBitsOps Bool 
Instance details

Defined in Basement.Bits

Methods

numberOfBitsBool → CountOf Bool

rotateLBool → CountOf BoolBool

rotateRBool → CountOf BoolBool

popCountBool → CountOf Bool

bitFlipBoolBool

countLeadingZerosBool → CountOf Bool

countTrailingZerosBool → CountOf Bool

NFData Bool 
Instance details

Defined in Control.DeepSeq

Methods

rnfBool → () Source #

Eq Bool 
Instance details

Defined in GHC.Classes

Methods

(==)BoolBoolBool Source #

(/=)BoolBoolBool Source #

Ord Bool 
Instance details

Defined in GHC.Classes

Methods

compareBoolBoolOrdering Source #

(<)BoolBoolBool Source #

(<=)BoolBoolBool Source #

(>)BoolBoolBool Source #

(>=)BoolBoolBool Source #

maxBoolBoolBool Source #

minBoolBoolBool Source #

Hashable Bool 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntBoolInt Source #

hashBoolInt Source #

HasBlueprintDefinition Bool Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll Bool ∷ [Type] Source #

HasToBuiltin Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Bool Source #

Enum Bool Source # 
Instance details

Defined in PlutusTx.Enum

Eq Bool Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==)BoolBoolBool Source #

FromData Bool Source # 
Instance details

Defined in PlutusTx.IsData.Instances

ToData Bool Source # 
Instance details

Defined in PlutusTx.IsData.Instances

UnsafeFromData Bool Source # 
Instance details

Defined in PlutusTx.IsData.Instances

BoundedJoinSemiLattice Bool Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

bottomBool Source #

BoundedMeetSemiLattice Bool Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

topBool Source #

JoinSemiLattice Bool Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

(\/)BoolBoolBool Source #

MeetSemiLattice Bool Source # 
Instance details

Defined in PlutusTx.Lattice

Methods

(/\)BoolBoolBool Source #

AdditiveMonoid Bool Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

zeroBool Source #

AdditiveSemigroup Bool Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

(+)BoolBoolBool Source #

MultiplicativeMonoid Bool Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

oneBool Source #

MultiplicativeSemigroup Bool Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

(*)BoolBoolBool Source #

Ord Bool Source # 
Instance details

Defined in PlutusTx.Ord

Methods

compareBoolBoolOrdering Source #

(<)BoolBoolBool Source #

(<=)BoolBoolBool Source #

(>)BoolBoolBool Source #

(>=)BoolBoolBool Source #

maxBoolBoolBool Source #

minBoolBoolBool Source #

Show Bool Source # 
Instance details

Defined in PlutusTx.Show

Pretty Bool
>>> pretty True
True
Instance details

Defined in Prettyprinter.Internal

Methods

prettyBoolDoc ann Source #

prettyList ∷ [Bool] → Doc ann Source #

Uniform Bool 
Instance details

Defined in System.Random.Internal

Methods

uniformMStatefulGen g m ⇒ g → m Bool Source #

UniformRange Bool 
Instance details

Defined in System.Random.Internal

Methods

uniformRMStatefulGen g m ⇒ (Bool, Bool) → g → m Bool Source #

Serialise Bool

Since: serialise-0.2.0.0

Instance details

Defined in Codec.Serialise.Class

Unbox Bool 
Instance details

Defined in Data.Vector.Unboxed.Base

Pretty Bool 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Methods

prettyBool → 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

HasBlueprintSchema Bool referencedTypes Source # 
Instance details

Defined in PlutusTx.IsData.Instances

Methods

schemaSchema referencedTypes Source #

HasFromOpaque BuiltinBool Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

HasToOpaque Bool BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Lift DefaultUni Bool Source # 
Instance details

Defined in PlutusTx.Lift.Instances

DefaultPrettyBy config Bool 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy ∷ config → BoolDoc ann Source #

defaultPrettyListBy ∷ config → [Bool] → Doc ann Source #

NonDefaultPrettyBy ConstConfig Bool 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

PrettyDefaultBy config BoolPrettyBy config Bool
>>> prettyBy () True
True
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → BoolDoc ann Source #

prettyListBy ∷ config → [Bool] → Doc ann Source #

Lift Bool 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

liftQuote m ⇒ Bool → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ BoolCode m Bool Source #

Vector Vector Bool 
Instance details

Defined in Data.Vector.Unboxed.Base

MVector MVector Bool 
Instance details

Defined in Data.Vector.Unboxed.Base

KnownBuiltinTypeIn DefaultUni term BoolMakeKnownIn DefaultUni term Bool 
Instance details

Defined in PlutusCore.Default.Universe

KnownBuiltinTypeIn DefaultUni term BoolReadKnownIn 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

Typeable DefaultUni Bool Source # 
Instance details

Defined in PlutusTx.Lift.Instances

KnownBuiltinTypeAst tyname DefaultUni BoolKnownTypeAst tyname DefaultUni Bool 
Instance details

Defined in PlutusCore.Default.Universe

Associated Types

type IsBuiltin DefaultUni BoolBool Source #

type ToHoles DefaultUni hole Bool ∷ [Hole] Source #

type ToBinds DefaultUni acc Bool ∷ [Some TyNameRep] Source #

Methods

typeAstType 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) (U1TypeType) :+: C1 ('MetaCons "True" 'PrefixI 'False) (U1TypeType))
data Sing (a ∷ Bool) 
Instance details

Defined in GHC.Generics

data Sing (a ∷ Bool) where
type Unroll Bool Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll Bool = '[Bool]
type ToBuiltin Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

newtype Vector Bool 
Instance details

Defined in Data.Vector.Unboxed.Base

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 ToBinds DefaultUni acc Bool 
Instance details

Defined in PlutusCore.Default.Universe

type ToHoles DefaultUni hole Bool 
Instance details

Defined in PlutusCore.Default.Universe

(&&)BoolBoolBool infixr 3 Source #

Logical AND. Short-circuits if the first argument evaluates to False.

>>> True && False
False

(||)BoolBoolBool infixr 2 Source #

Logical OR. Short-circuits if the first argument evaluates to True.

>>> True || False
True

notBoolBool Source #

Logical negation

>>> not True
False

otherwiseBool Source #

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

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