PlutusTx.Bool
data Bool Source #
Constructors
Defined in Data.Aeson.Types.FromJSON
Methods
parseJSON :: Value -> Parser Bool Source #
parseJSONList :: Value -> Parser [Bool] Source #
fromJSONKey :: FromJSONKeyFunction Bool Source #
fromJSONKeyList :: FromJSONKeyFunction [Bool] 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 #
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 #
Since: base-2.1
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 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 :: forall (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 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 #
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 #
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 PlutusCore.Evaluation.Machine.ExMemory
memoryUsage :: Bool -> ExMemory 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 Source #
prettyList :: [Bool] -> Doc b 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
sing :: Sing 'False
sing :: Sing 'True
Defined in PlutusTx.Builtins.Class
fromBuiltin :: BuiltinBool -> Bool Source #
toBuiltin :: 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 :: forall (m :: Type -> Type). Quote m => Bool -> Code m Bool Source #
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 #
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 #
Defined in PlutusCore.Default.Universe
makeKnown :: Bool -> MakeKnownM term Source #
readKnown :: term -> ReadKnownM Bool Source #
type IsBuiltin Bool :: 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 ()
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 = ...