PlutusTx.Bool
data Bool Source #
Constructors
Since: base-2.1
Defined in GHC.Enum
Methods
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.Classes
(==) :: Bool -> Bool -> Bool Source #
(/=) :: Bool -> Bool -> Bool Source #
Since: base-4.0.0.0
Defined in Data.Data
gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> Bool -> c Bool Source #
gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c Bool Source #
toConstr :: Bool -> Constr Source #
dataTypeOf :: Bool -> DataType Source #
dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c Bool ) Source #
dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c Bool ) Source #
gmapT :: ( forall b. Data b => b -> b) -> Bool -> Bool Source #
gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> Bool -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> Bool -> r Source #
gmapQ :: ( forall d. Data d => d -> u) -> Bool -> [u] Source #
gmapQi :: Int -> ( forall d. Data d => d -> u) -> Bool -> u Source #
gmapM :: Monad m => ( forall d. Data d => d -> m d) -> Bool -> m Bool Source #
gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> Bool -> m Bool Source #
gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> Bool -> m 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 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 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 #
Since: base-4.6.0.0
Defined in GHC.Generics
Associated Types
type Rep Bool :: Type -> Type Source #
from :: Bool -> Rep Bool x Source #
to :: Rep Bool x -> Bool Source #
Defined in Data.Hashable.Class
hashWithSalt :: Int -> Bool -> Int Source #
hash :: Bool -> Int Source #
Defined in Data.Aeson.Types.ToJSON
toJSON :: Bool -> Value Source #
toEncoding :: Bool -> Encoding Source #
toJSONList :: [ Bool ] -> Value Source #
toEncodingList :: [ Bool ] -> Encoding Source #
toJSONKey :: ToJSONKeyFunction Bool Source #
toJSONKeyList :: ToJSONKeyFunction [ Bool ] Source #
Defined in Data.Aeson.Types.FromJSON
parseJSON :: Value -> Parser Bool Source #
parseJSONList :: Value -> Parser [ Bool ] Source #
fromJSONKey :: FromJSONKeyFunction Bool Source #
fromJSONKeyList :: FromJSONKeyFunction [ Bool ] Source #
Defined in Foreign.Storable
sizeOf :: Bool -> Int Source #
alignment :: Bool -> Int Source #
peekElemOff :: Ptr Bool -> Int -> IO Bool Source #
pokeElemOff :: Ptr Bool -> Int -> Bool -> IO () Source #
peekByteOff :: Ptr b -> Int -> IO Bool Source #
pokeByteOff :: Ptr b -> Int -> Bool -> IO () Source #
peek :: Ptr Bool -> IO Bool Source #
poke :: Ptr Bool -> Bool -> IO () Source #
Defined in Basement.Bits
numberOfBits :: Bool -> CountOf Bool Source #
rotateL :: Bool -> CountOf Bool -> Bool Source #
rotateR :: Bool -> CountOf Bool -> Bool Source #
popCount :: Bool -> CountOf Bool Source #
bitFlip :: Bool -> Bool Source #
countLeadingZeros :: Bool -> CountOf Bool Source #
countTrailingZeros :: Bool -> CountOf Bool Source #
(.&.) :: Bool -> Bool -> Bool Source #
(.|.) :: Bool -> Bool -> Bool Source #
(.^.) :: Bool -> Bool -> Bool Source #
(.<<.) :: Bool -> CountOf Bool -> Bool Source #
(.>>.) :: Bool -> CountOf Bool -> Bool Source #
bit :: Offset Bool -> Bool Source #
isBitSet :: Bool -> Offset Bool -> Bool Source #
setBit :: Bool -> Offset Bool -> Bool Source #
clearBit :: Bool -> Offset Bool -> Bool Source #
Defined in Control.DeepSeq
rnf :: Bool -> () Source #
Defined in Data.Vector.Unboxed.Base
Defined in PlutusCore.Evaluation.Machine.ExMemory
memoryUsage :: Bool -> ExMemory 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 Text.PrettyPrint.Annotated.WL
pretty :: Bool -> Doc b Source #
prettyList :: [ Bool ] -> Doc b Source #
Since: base-4.9.0.0
type DemoteRep Bool
fromSing :: forall (a :: Bool ). Sing a -> DemoteRep Bool
Defined in PlutusTx.Eq
Defined in PlutusTx.Ord
Defined in PlutusTx.Numeric
one :: Bool Source #
(*) :: Bool -> Bool -> Bool Source #
zero :: Bool Source #
(+) :: Bool -> Bool -> Bool Source #
Defined in PlutusTx.Lattice
top :: Bool Source #
bottom :: Bool Source #
(/\) :: Bool -> Bool -> Bool Source #
(\/) :: Bool -> Bool -> Bool Source #
Defined in PlutusTx.IsData.Instances
unsafeFromBuiltinData :: BuiltinData -> Bool Source #
fromBuiltinData :: BuiltinData -> Maybe Bool Source #
toBuiltinData :: Bool -> BuiltinData Source #
Defined in PlutusTx.Enum
toEnum :: Integer -> Bool Source #
fromEnum :: Bool -> Integer Source #
Defined in Language.Haskell.TH.Syntax
lift :: Bool -> Q Exp Source #
liftTyped :: Bool -> Q ( TExp Bool ) Source #
Defined in Data.Array.Base
bounds :: Ix i => UArray i Bool -> (i, i) Source #
numElements :: Ix i => UArray i Bool -> Int
unsafeArray :: Ix i => (i, i) -> [( Int , Bool )] -> UArray i Bool
unsafeAt :: Ix i => UArray i Bool -> Int -> Bool
unsafeReplace :: Ix i => UArray i Bool -> [( Int , Bool )] -> UArray i Bool
unsafeAccum :: Ix i => ( Bool -> e' -> Bool ) -> UArray i Bool -> [( Int , e')] -> UArray i Bool
unsafeAccumArray :: Ix i => ( Bool -> e' -> Bool ) -> Bool -> (i, i) -> [( Int , e')] -> UArray i Bool
basicUnsafeFreeze :: PrimMonad m => Mutable Vector ( PrimState m) Bool -> m ( Vector Bool ) Source #
basicUnsafeThaw :: PrimMonad m => Vector Bool -> m ( Mutable Vector ( PrimState m) Bool ) Source #
basicLength :: Vector Bool -> Int Source #
basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool Source #
basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool Source #
basicUnsafeCopy :: PrimMonad m => Mutable Vector ( PrimState m) Bool -> Vector Bool -> m () Source #
elemseq :: Vector Bool -> Bool -> b -> b Source #
>>> prettyBy () True True
prettyBy () True
Defined in Text.PrettyBy.Internal
prettyBy :: config -> Bool -> Doc ann Source #
prettyListBy :: config -> [ Bool ] -> Doc ann Source #
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 #
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 :: PrimMonad m => Int -> m ( MVector ( PrimState m) Bool ) Source #
basicInitialize :: PrimMonad m => MVector ( PrimState m) Bool -> m () Source #
basicUnsafeReplicate :: PrimMonad m => Int -> Bool -> m ( MVector ( PrimState m) Bool ) Source #
basicUnsafeRead :: PrimMonad m => MVector ( PrimState m) Bool -> Int -> m Bool Source #
basicUnsafeWrite :: PrimMonad m => MVector ( PrimState m) Bool -> Int -> Bool -> m () Source #
basicClear :: PrimMonad m => MVector ( PrimState m) Bool -> m () Source #
basicSet :: PrimMonad m => MVector ( PrimState m) Bool -> Bool -> m () Source #
basicUnsafeCopy :: PrimMonad m => MVector ( PrimState m) Bool -> MVector ( PrimState m) Bool -> m () Source #
basicUnsafeMove :: PrimMonad m => MVector ( PrimState m) Bool -> MVector ( PrimState m) Bool -> m () Source #
basicUnsafeGrow :: PrimMonad m => MVector ( PrimState m) Bool -> Int -> m ( MVector ( PrimState m) Bool ) Source #
sing :: Sing ' False
sing :: Sing ' True
Defined in PlutusTx.Lift.Instances
lift :: Bool -> RTCompile DefaultUni fun ( Term TyName Name DefaultUni fun ()) Source #
Defined in PlutusTx.Builtins.Class
toBuiltin :: Bool -> BuiltinBool Source #
fromBuiltin :: BuiltinBool -> Bool Source #
Defined in PlutusCore.Default.Universe
makeKnown :: Maybe cause -> Bool -> MakeKnownM cause term Source #
readKnown :: Maybe cause -> term -> ReadKnownM cause Bool Source #
type ToHoles Bool :: [ Hole ] Source #
type ToBinds Bool :: [ Some TyNameRep ] Source #
toTypeAst :: proxy Bool -> Type TyName DefaultUni () Source #
knownUni :: DefaultUni ( Esc Bool ) Source #
typeRep :: Proxy Bool -> RTCompile DefaultUni fun ( Type TyName DefaultUni ()) Source #
getBounds :: Ix i => STUArray s i Bool -> ST s (i, i) Source #
getNumElements :: Ix i => STUArray s i Bool -> ST s Int
newArray :: Ix i => (i, i) -> Bool -> ST s ( STUArray s i Bool ) Source #
newArray_ :: Ix i => (i, i) -> ST s ( STUArray s i Bool ) Source #
unsafeNewArray_ :: Ix i => (i, i) -> ST s ( STUArray s i Bool )
unsafeRead :: Ix i => STUArray s i Bool -> Int -> ST s Bool
unsafeWrite :: Ix i => STUArray s i Bool -> Int -> Bool -> ST s ()
(&&) :: 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 = ...