type CostingPart uni ExtensionFun
Instance details Defined in PlutusCore.Examples.Builtins type CostingPart uni ExtensionFun = ()
data BuiltinSemanticsVariant ExtensionFun
Instance details Defined in PlutusCore.Examples.Builtins data BuiltinSemanticsVariant ExtensionFun = ExtensionFunSemanticsVariant0 \| ExtensionFunSemanticsVariant1 \| ExtensionFunSemanticsVariant2 \| ExtensionFunSemanticsVariant3 \| ExtensionFunSemanticsVariant4

Methods

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

Bounded (BuiltinSemanticsVariant ExtensionFun) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Methods

minBound :: BuiltinSemanticsVariant ExtensionFun Source #

maxBound :: BuiltinSemanticsVariant ExtensionFun Source #

Enum (BuiltinSemanticsVariant ExtensionFun) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Methods

succ :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun Source #

pred :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun Source #

toEnum :: Int -> BuiltinSemanticsVariant ExtensionFun Source #

fromEnum :: BuiltinSemanticsVariant ExtensionFun -> Int Source #

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

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

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

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

Show (BuiltinSemanticsVariant ExtensionFun) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Methods

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

show :: BuiltinSemanticsVariant ExtensionFun -> String Source #

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

Default (BuiltinSemanticsVariant ExtensionFun) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Methods

def :: BuiltinSemanticsVariant ExtensionFun #

Eq (BuiltinSemanticsVariant ExtensionFun) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Methods

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

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

Ord (BuiltinSemanticsVariant ExtensionFun) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type Rep ExtensionFun Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type Rep ExtensionFun = D1 ('MetaData "ExtensionFun" "PlutusCore.Examples.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((((C1 ('MetaCons "Factorial" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ForallFortyTwo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SumInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Const" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Id" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IdAssumeBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdAssumeCheckBool" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "IdSomeConstantBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdIntegerAsBool" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IdFInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IdList" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IdRank2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScottToMetaUnit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FailingSucc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpensiveSucc" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "FailingPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExpensivePlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsConstant" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UnsafeCoerce" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnsafeCoerceEl" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Undefined" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Absurd" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "ErrorPrime" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Comma" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BiconstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Swap" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SwapEls" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtensionVersion" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TrackCosts" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IntNoIntegerNoWord" 'PrefixI 'False) (U1 :: Type -> Type))))))

data BuiltinSemanticsVariant ExtensionFun Source #

Instance details

Defined in PlutusCore.Examples.Builtins

data BuiltinSemanticsVariant ExtensionFun

= ExtensionFunSemanticsVariant0
| ExtensionFunSemanticsVariant1
| ExtensionFunSemanticsVariant2
| ExtensionFunSemanticsVariant3
| ExtensionFunSemanticsVariant4

type CostingPart uni ExtensionFun Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type CostingPart uni ExtensionFun = ()

newtype MetaForall (name :: k) a Source #

Normally forall in the type of a Haskell function gets detected and instantiated automatically, however there's no way of doing that for a forall that binds a never referenced type variable. Which is OK, because that would be a pretty weird builtin, however it's definable and for the purpose of testing we do introduce such a builtin, hence this definition allowing us to create an all that binds a never referenced type variable in Plutus while still using makeBuiltinMeaning.

Constructors

MetaForall a

Instances

Instances details

(name ~ ('TyNameRep text uniq :: TyNameRep kind), KnownSymbol text, KnownNat uniq, KnownKind kind, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (MetaForall name a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Associated Types

type IsBuiltin uni (MetaForall name a :: Type)
Instance details Defined in PlutusCore.Examples.Builtins type IsBuiltin uni (MetaForall name a :: Type) = 'False

Methods

typeAst :: Type tyname uni () Source #

MakeKnownIn DefaultUni term a => MakeKnownIn DefaultUni term (MetaForall name a) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Methods

makeKnown :: MetaForall name a -> BuiltinResult term Source #

type ToBinds uni acc (MetaForall name a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type ToBinds uni acc (MetaForall name a :: Type) = ToBinds uni (Insert ('Some name) acc) a

type ToHoles uni _1 (MetaForall name a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type ToHoles uni _1 (MetaForall name a :: Type) = '[TypeHole a :: Hole]

type IsBuiltin uni (MetaForall name a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type IsBuiltin uni (MetaForall name a :: Type) = 'False

data PlcListRep a Source #

Instances

Instances details

(tyname ~ TyName, KnownTypeAst tyname uni a) => KnownTypeAst tyname uni (PlcListRep a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

Associated Types

type IsBuiltin uni (PlcListRep a :: Type)
Instance details Defined in PlutusCore.Examples.Builtins type IsBuiltin uni (PlcListRep a :: Type) = 'False

Methods

typeAst :: Type tyname uni () Source #

type ToBinds uni acc (PlcListRep a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type ToBinds uni acc (PlcListRep a :: Type) = ToBinds uni acc a

type ToHoles uni _1 (PlcListRep a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type ToHoles uni _1 (PlcListRep a :: Type) = '[RepHole a :: Hole]

type IsBuiltin uni (PlcListRep a :: Type) Source #

Instance details

Defined in PlutusCore.Examples.Builtins

type IsBuiltin uni (PlcListRep a :: Type) = 'False

data BuiltinErrorCall Source #

Constructors

BuiltinErrorCall

Instances

Instances details

Exception BuiltinErrorCall Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods toException :: BuiltinErrorCall -> SomeException Source # fromException :: SomeException -> Maybe BuiltinErrorCall Source # displayException :: BuiltinErrorCall -> String Source #
Show BuiltinErrorCall Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods showsPrec :: Int -> BuiltinErrorCall -> ShowS Source # show :: BuiltinErrorCall -> String Source # showList :: [BuiltinErrorCall] -> ShowS Source #
Eq BuiltinErrorCall Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods (==) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool Source # (/=) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool Source #

class Whatever a where Source #

For the most part we don't care about costing functions of example builtins, hence this class for being explicit about not caring.

Methods

whatever :: a Source #

The costing function of a builtin whose costing function doesn't matter.

Instances

Instances details

Whatever ExBudgetStream Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods whatever :: ExBudgetStream Source #
Whatever b => Whatever (a -> b) Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods whatever :: a -> b Source #

Orphan instances

UniOf term ~ DefaultUni => MakeKnownIn DefaultUni term Void Source #

Instance details

Methods

makeKnown :: Void -> BuiltinResult term Source #

UniOf term ~ DefaultUni => ReadKnownIn DefaultUni term Void Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Void Source #

tyname ~ TyName => KnownTypeAst tyname DefaultUni Void Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Void
Instance details Defined in PlutusCore.Examples.Builtins type IsBuiltin DefaultUni Void = 'False
type ToHoles DefaultUni _1 Void
Instance details Defined in PlutusCore.Examples.Builtins type ToHoles DefaultUni _1 Void = '[] :: [Hole]
type ToBinds DefaultUni acc Void
Instance details Defined in PlutusCore.Examples.Builtins type ToBinds DefaultUni acc Void = acc

Methods

typeAst :: Type tyname DefaultUni () Source #

(ToBuiltinMeaning uni fun1, ToBuiltinMeaning uni fun2, Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => ToBuiltinMeaning uni (Either fun1 fun2) Source #

Instance details

Associated Types

type CostingPart uni (Either fun1 fun2)
Instance details Defined in PlutusCore.Examples.Builtins type CostingPart uni (Either fun1 fun2) = (CostingPart uni fun1, CostingPart uni fun2)
data BuiltinSemanticsVariant (Either fun1 fun2)
Instance details Defined in PlutusCore.Examples.Builtins data BuiltinSemanticsVariant (Either fun1 fun2) = PairV (BuiltinSemanticsVariant fun1) (BuiltinSemanticsVariant fun2)

Methods

toBuiltinMeaning :: HasMeaningIn uni val => BuiltinSemanticsVariant (Either fun1 fun2) -> Either fun1 fun2 -> BuiltinMeaning val (CostingPart uni (Either fun1 fun2)) Source #

(Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => Default (BuiltinSemanticsVariant (Either fun1 fun2)) Source #

Instance details

Methods

def :: BuiltinSemanticsVariant (Either fun1 fun2) #

(Bounded a, Bounded b) => Bounded (Either a b) Source #

Instance details

Methods

minBound :: Either a b Source #

maxBound :: Either a b Source #

(Eq a, Eq b, Bounded a, Bounded b, Enum a, Enum b) => Enum (Either a b) Source #

Instance details

Methods

succ :: Either a b -> Either a b Source #

pred :: Either a b -> Either a b Source #

toEnum :: Int -> Either a b Source #

fromEnum :: Either a b -> Int Source #

enumFrom :: Either a b -> [Either a b] Source #

enumFromThen :: Either a b -> Either a b -> [Either a b] Source #

enumFromTo :: Either a b -> Either a b -> [Either a b] Source #

enumFromThenTo :: Either a b -> Either a b -> Either a b -> [Either a b] Source #

(Bounded a, Bounded b, Ix a, Ix b) => Ix (Either a b) Source #

Instance details

Methods

range :: (Either a b, Either a b) -> [Either a b] Source #

index :: (Either a b, Either a b) -> Either a b -> Int Source #

unsafeIndex :: (Either a b, Either a b) -> Either a b -> Int Source #

inRange :: (Either a b, Either a b) -> Either a b -> Bool Source #

rangeSize :: (Either a b, Either a b) -> Int Source #

unsafeRangeSize :: (Either a b, Either a b) -> Int Source #

Factorial
ForallFortyTwo
SumInteger
Const
Id
IdAssumeBool
IdAssumeCheckBool
IdSomeConstantBool
IdIntegerAsBool
IdFInteger
IdList
IdRank2
ScottToMetaUnit
FailingSucc
ExpensiveSucc
FailingPlus
ExpensivePlus
IsConstant
UnsafeCoerce
UnsafeCoerceEl
Undefined
Absurd
ErrorPrime
Comma
BiconstPair
Swap
SwapEls
ExtensionVersion
TrackCosts
IntNoIntegerNoWord