plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Default.Builtins

Synopsis

Documentation

data DefaultFun Source #

Default built-in functions.

When updating these, make sure to add them to the protocol version listing! See Note [New builtins/language versions and protocol versions]

Constructors

AddInteger 
SubtractInteger 
MultiplyInteger 
DivideInteger 
QuotientInteger 
RemainderInteger 
ModInteger 
EqualsInteger 
LessThanInteger 
LessThanEqualsInteger 
AppendByteString 
ConsByteString 
SliceByteString 
LengthOfByteString 
IndexByteString 
EqualsByteString 
LessThanByteString 
LessThanEqualsByteString 
Sha2_256 
Sha3_256 
Blake2b_256 
VerifyEd25519Signature 
VerifyEcdsaSecp256k1Signature 
VerifySchnorrSecp256k1Signature 
AppendString 
EqualsString 
EncodeUtf8 
DecodeUtf8 
IfThenElse 
ChooseUnit 
Trace 
FstPair 
SndPair 
ChooseList 
MkCons 
HeadList 
TailList 
NullList 
ChooseData 
ConstrData 
MapData 
ListData 
IData 
BData 
UnConstrData 
UnMapData 
UnListData 
UnIData 
UnBData 
EqualsData 
SerialiseData 
MkPairData 
MkNilData 
MkNilPairData 
Bls12_381_G1_add 
Bls12_381_G1_neg 
Bls12_381_G1_scalarMul 
Bls12_381_G1_equal 
Bls12_381_G1_hashToGroup 
Bls12_381_G1_compress 
Bls12_381_G1_uncompress 
Bls12_381_G2_add 
Bls12_381_G2_neg 
Bls12_381_G2_scalarMul 
Bls12_381_G2_equal 
Bls12_381_G2_hashToGroup 
Bls12_381_G2_compress 
Bls12_381_G2_uncompress 
Bls12_381_millerLoop 
Bls12_381_mulMlResult 
Bls12_381_finalVerify 
Keccak_256 
Blake2b_224 
IntegerToByteString 
ByteStringToInteger 
AndByteString 
OrByteString 
XorByteString 
ComplementByteString 
ReadBit 
WriteBits 
ReplicateByte 
ShiftByteString 
RotateByteString 
CountSetBits 
FindFirstSetBit 
Ripemd_160 
ExpModInteger 

Instances

Instances details
Bounded DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

minBound :: DefaultFun Source #

maxBound :: DefaultFun Source #

Enum DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

succ :: DefaultFun -> DefaultFun Source #

pred :: DefaultFun -> DefaultFun Source #

toEnum :: Int -> DefaultFun Source #

fromEnum :: DefaultFun -> Int Source #

enumFrom :: DefaultFun -> [DefaultFun] Source #

enumFromThen :: DefaultFun -> DefaultFun -> [DefaultFun] Source #

enumFromTo :: DefaultFun -> DefaultFun -> [DefaultFun] Source #

enumFromThenTo :: DefaultFun -> DefaultFun -> DefaultFun -> [DefaultFun] Source #

Generic DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Associated Types

type Rep DefaultFun :: Type -> Type Source #

Methods

from :: DefaultFun -> Rep DefaultFun x Source #

to :: Rep DefaultFun x -> DefaultFun Source #

Ix DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

range :: (DefaultFun, DefaultFun) -> [DefaultFun] Source #

index :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source #

unsafeIndex :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source #

inRange :: (DefaultFun, DefaultFun) -> DefaultFun -> Bool Source #

rangeSize :: (DefaultFun, DefaultFun) -> Int Source #

unsafeRangeSize :: (DefaultFun, DefaultFun) -> Int Source #

Show DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

showsPrec :: Int -> DefaultFun -> ShowS Source #

show :: DefaultFun -> String Source #

showList :: [DefaultFun] -> ShowS Source #

NFData DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

rnf :: DefaultFun -> () Source #

Flat DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

encode :: DefaultFun -> Encoding

decode :: Get DefaultFun

size :: DefaultFun -> NumBits -> NumBits

Eq DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

(==) :: DefaultFun -> DefaultFun -> Bool Source #

(/=) :: DefaultFun -> DefaultFun -> Bool Source #

Ord DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

compare :: DefaultFun -> DefaultFun -> Ordering Source #

(<) :: DefaultFun -> DefaultFun -> Bool Source #

(<=) :: DefaultFun -> DefaultFun -> Bool Source #

(>) :: DefaultFun -> DefaultFun -> Bool Source #

(>=) :: DefaultFun -> DefaultFun -> Bool Source #

max :: DefaultFun -> DefaultFun -> DefaultFun Source #

min :: DefaultFun -> DefaultFun -> DefaultFun Source #

Hashable DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

hashWithSalt :: Int -> DefaultFun -> Int

hash :: DefaultFun -> Int

ExMemoryUsage DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

memoryUsage :: DefaultFun -> CostRose Source #

Pretty DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

pretty :: DefaultFun -> Doc ann #

prettyList :: [DefaultFun] -> Doc ann #

uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Associated Types

type CostingPart uni DefaultFun Source #

data BuiltinSemanticsVariant DefaultFun Source #

Methods

toBuiltinMeaning :: HasMeaningIn uni val => BuiltinSemanticsVariant DefaultFun -> DefaultFun -> BuiltinMeaning val (CostingPart uni DefaultFun) Source #

PrettyBy PrettyConfigPlc DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann #

prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #

Bounded (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

minBound :: BuiltinSemanticsVariant DefaultFun Source #

maxBound :: BuiltinSemanticsVariant DefaultFun Source #

Enum (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

succ :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source #

pred :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source #

toEnum :: Int -> BuiltinSemanticsVariant DefaultFun Source #

fromEnum :: BuiltinSemanticsVariant DefaultFun -> Int Source #

enumFrom :: BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source #

enumFromThen :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source #

enumFromTo :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source #

enumFromThenTo :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source #

Generic (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Associated Types

type Rep (BuiltinSemanticsVariant DefaultFun) :: Type -> Type Source #

Methods

from :: BuiltinSemanticsVariant DefaultFun -> Rep (BuiltinSemanticsVariant DefaultFun) x Source #

to :: Rep (BuiltinSemanticsVariant DefaultFun) x -> BuiltinSemanticsVariant DefaultFun Source #

Show (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

showsPrec :: Int -> BuiltinSemanticsVariant DefaultFun -> ShowS Source #

show :: BuiltinSemanticsVariant DefaultFun -> String Source #

showList :: [BuiltinSemanticsVariant DefaultFun] -> ShowS Source #

Default (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

def :: BuiltinSemanticsVariant DefaultFun #

NFData (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

rnf :: BuiltinSemanticsVariant DefaultFun -> () Source #

Eq (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

(==) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #

(/=) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #

Ord (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

compare :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Ordering Source #

(<) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #

(<=) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #

(>) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #

(>=) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #

max :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source #

min :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source #

NoThunks (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

noThunks :: Context -> BuiltinSemanticsVariant DefaultFun -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> BuiltinSemanticsVariant DefaultFun -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (BuiltinSemanticsVariant DefaultFun) -> String

Pretty (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

pretty :: BuiltinSemanticsVariant DefaultFun -> Doc ann #

prettyList :: [BuiltinSemanticsVariant DefaultFun] -> Doc ann #

type Rep DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.36.0.0-7ehJj5tIPqoJIiiivXkX9N" 'False) ((((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BData" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SerialiseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_add" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bls12_381_G1_neg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bls12_381_G1_equal" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_compress" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_G1_uncompress" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_neg" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_equal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Bls12_381_G2_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_uncompress" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bls12_381_millerLoop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_mulMlResult" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_finalVerify" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Keccak_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blake2b_224" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntegerToByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ByteStringToInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AndByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OrByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "XorByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ComplementByteString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ReadBit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WriteBits" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReplicateByte" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ShiftByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RotateByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CountSetBits" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FindFirstSetBit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Ripemd_160" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpModInteger" 'PrefixI 'False) (U1 :: Type -> Type))))))))
data BuiltinSemanticsVariant DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

data BuiltinSemanticsVariant DefaultFun
type CostingPart uni DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

type CostingPart uni DefaultFun = BuiltinCostModel
type Rep (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.36.0.0-7ehJj5tIPqoJIiiivXkX9N" 'False) (C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) (U1 :: Type -> Type)))

nonZeroSecondArg :: (Integer -> Integer -> Integer) -> Integer -> Integer -> BuiltinResult Integer Source #

Turn a function into another function that fails when its second argument is 0 or calls the original function otherwise and wraps the result in pure. Useful for correctly handling div, mod, etc.

eitherToBuiltinResult :: Show e => Either e r -> BuiltinResult r Source #

Turn a function returning Either into another function that fails in the Left case and wraps the result in pure in the Right case.

builtinTagWidth :: NumBits Source #

Using 7 bits to encode builtin tags.

encodeBuiltin :: Word8 -> Encoding Source #

decodeBuiltin :: Get Word8 Source #