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

PlutusCore.Examples.Builtins

Synopsis

Documentation

size :: forall a. (Bounded a, Enum a) => Int #

data ExtensionFun #

Constructors

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 

Instances

Instances details
Bounded ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

minBound :: ExtensionFun #

maxBound :: ExtensionFun #

Enum ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

succ :: ExtensionFun -> ExtensionFun #

pred :: ExtensionFun -> ExtensionFun #

toEnum :: Int -> ExtensionFun #

fromEnum :: ExtensionFun -> Int #

enumFrom :: ExtensionFun -> [ExtensionFun] #

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

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

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

Generic ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Associated Types

type Rep ExtensionFun :: Type -> Type #

Methods

from :: ExtensionFun -> Rep ExtensionFun x #

to :: Rep ExtensionFun x -> ExtensionFun #

Ix ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

range :: (ExtensionFun, ExtensionFun) -> [ExtensionFun] #

index :: (ExtensionFun, ExtensionFun) -> ExtensionFun -> Int #

unsafeIndex :: (ExtensionFun, ExtensionFun) -> ExtensionFun -> Int #

inRange :: (ExtensionFun, ExtensionFun) -> ExtensionFun -> Bool #

rangeSize :: (ExtensionFun, ExtensionFun) -> Int #

unsafeRangeSize :: (ExtensionFun, ExtensionFun) -> Int #

Show ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

showsPrec :: Int -> ExtensionFun -> ShowS #

show :: ExtensionFun -> String #

showList :: [ExtensionFun] -> ShowS #

Eq ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

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

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

Ord ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

compare :: ExtensionFun -> ExtensionFun -> Ordering #

(<) :: ExtensionFun -> ExtensionFun -> Bool #

(<=) :: ExtensionFun -> ExtensionFun -> Bool #

(>) :: ExtensionFun -> ExtensionFun -> Bool #

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

max :: ExtensionFun -> ExtensionFun -> ExtensionFun #

min :: ExtensionFun -> ExtensionFun -> ExtensionFun #

Hashable ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

hashWithSalt :: Int -> ExtensionFun -> Int #

hash :: ExtensionFun -> Int #

Pretty ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

pretty :: ExtensionFun -> Doc ann #

prettyList :: [ExtensionFun] -> Doc ann #

uni ~ DefaultUni => ToBuiltinMeaning uni ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

Associated Types

type CostingPart uni ExtensionFun #

data BuiltinSemanticsVariant ExtensionFun #

Methods

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

Bounded (BuiltinSemanticsVariant ExtensionFun) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

minBound :: BuiltinSemanticsVariant ExtensionFun #

maxBound :: BuiltinSemanticsVariant ExtensionFun #

Enum (BuiltinSemanticsVariant ExtensionFun) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

succ :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun #

pred :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun #

toEnum :: Int -> BuiltinSemanticsVariant ExtensionFun #

fromEnum :: BuiltinSemanticsVariant ExtensionFun -> Int #

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

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

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

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

Show (BuiltinSemanticsVariant ExtensionFun) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

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

show :: BuiltinSemanticsVariant ExtensionFun -> String #

showList :: [BuiltinSemanticsVariant ExtensionFun] -> ShowS #

Default (BuiltinSemanticsVariant ExtensionFun) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

def :: BuiltinSemanticsVariant ExtensionFun #

Eq (BuiltinSemanticsVariant ExtensionFun) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

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

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

Ord (BuiltinSemanticsVariant ExtensionFun) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

compare :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun -> Ordering #

(<) :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun -> Bool #

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

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

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

max :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun #

min :: BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun -> BuiltinSemanticsVariant ExtensionFun #

type Rep ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

type Rep ExtensionFun = D1 ('MetaData "ExtensionFun" "PlutusCore.Examples.Builtins" "plutus-core-1.60.0.0-inplace" '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 # 
Instance details

Defined in PlutusCore.Examples.Builtins

data BuiltinSemanticsVariant ExtensionFun
type CostingPart uni ExtensionFun # 
Instance details

Defined in PlutusCore.Examples.Builtins

type CostingPart uni ExtensionFun = ()

newtype MetaForall name a #

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 Some TyNameRep] #

Methods

typeAst :: Type0 tyname uni () #

type ToBinds uni acc (PlcListRep a :: Type) # 
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) # 
Instance details

Defined in PlutusCore.Examples.Builtins

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

Defined in PlutusCore.Examples.Builtins

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

data BuiltinErrorCall #

Constructors

BuiltinErrorCall 

Instances

Instances details
Exception BuiltinErrorCall # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

toException :: BuiltinErrorCall -> SomeException #

fromException :: SomeException -> Maybe BuiltinErrorCall #

displayException :: BuiltinErrorCall -> String #

Show BuiltinErrorCall # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

showsPrec :: Int -> BuiltinErrorCall -> ShowS #

show :: BuiltinErrorCall -> String #

showList :: [BuiltinErrorCall] -> ShowS #

Eq BuiltinErrorCall # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

(==) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool #

(/=) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool #

class Whatever a where #

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 #

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

Instances

Instances details
Whatever ExBudgetStream # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

whatever :: ExBudgetStream #

Whatever b => Whatever (a -> b) # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

whatever :: a -> b #

Orphan instances

UniOf term Some TyNameRep] #

Methods

typeAst :: Type tyname DefaultUni () #

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

Associated Types

type CostingPart uni (Either fun1 fun2) #

data BuiltinSemanticsVariant (Either fun1 fun2) #

Methods

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

(Default (BuiltinSemanticsVariant fun1), Default (BuiltinSemanticsVariant fun2)) => Default (BuiltinSemanticsVariant (Either fun1 fun2)) # 
Instance details

Methods

def :: BuiltinSemanticsVariant (Either fun1 fun2) #

(Bounded a, Bounded b) => Bounded (Either a b) # 
Instance details

Methods

minBound :: Either a b #

maxBound :: Either a b #

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

Methods

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

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

toEnum :: Int -> Either a b #

fromEnum :: Either a b -> Int #

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

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

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

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

(Bounded a, Bounded b, Ix a, Ix b) => Ix (Either a b) # 
Instance details

Methods

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

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

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

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

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

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