Safe Haskell	None
Language	Haskell2010

PlutusCore.Examples.Builtins

Contents

Orphan instances

Documentation

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

data ExtensionFun Source #

Constructors

Factorial
SumInteger
Const
Id
IdAssumeBool
IdAssumeCheckBool
IdSomeConstantBool
IdFInteger
IdList
IdRank2
FailingSucc
ExpensiveSucc
FailingPlus
ExpensivePlus
UnsafeCoerce
UnsafeCoerceEl
Undefined
Absurd
ErrorPrime
Comma
BiconstPair
Swap
SwapEls

Instances

Instances details

Bounded ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods minBound :: ExtensionFun Source # maxBound :: ExtensionFun Source #
Enum ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods succ :: ExtensionFun -> ExtensionFun Source # pred :: ExtensionFun -> ExtensionFun Source # toEnum :: Int -> ExtensionFun Source # fromEnum :: ExtensionFun -> Int Source # enumFrom :: ExtensionFun -> [ ExtensionFun ] Source # enumFromThen :: ExtensionFun -> ExtensionFun -> [ ExtensionFun ] Source # enumFromTo :: ExtensionFun -> ExtensionFun -> [ ExtensionFun ] Source # enumFromThenTo :: ExtensionFun -> ExtensionFun -> ExtensionFun -> [ ExtensionFun ] Source #
Eq ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods (==) :: ExtensionFun -> ExtensionFun -> Bool Source # (/=) :: ExtensionFun -> ExtensionFun -> Bool Source #
Ord ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods compare :: ExtensionFun -> ExtensionFun -> Ordering Source # (<) :: ExtensionFun -> ExtensionFun -> Bool Source # (<=) :: ExtensionFun -> ExtensionFun -> Bool Source # (>) :: ExtensionFun -> ExtensionFun -> Bool Source # (>=) :: ExtensionFun -> ExtensionFun -> Bool Source # max :: ExtensionFun -> ExtensionFun -> ExtensionFun Source # min :: ExtensionFun -> ExtensionFun -> ExtensionFun Source #
Show ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods showsPrec :: Int -> ExtensionFun -> ShowS Source # show :: ExtensionFun -> String Source # showList :: [ ExtensionFun ] -> ShowS Source #
Ix ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods range :: ( ExtensionFun , ExtensionFun ) -> [ ExtensionFun ] Source # index :: ( ExtensionFun , ExtensionFun ) -> ExtensionFun -> Int Source # unsafeIndex :: ( ExtensionFun , ExtensionFun ) -> ExtensionFun -> Int Source # inRange :: ( ExtensionFun , ExtensionFun ) -> ExtensionFun -> Bool Source # rangeSize :: ( ExtensionFun , ExtensionFun ) -> Int Source # unsafeRangeSize :: ( ExtensionFun , ExtensionFun ) -> Int Source #
Generic ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type Rep ExtensionFun :: Type -> Type Source # Methods from :: ExtensionFun -> Rep ExtensionFun x Source # to :: Rep ExtensionFun x -> ExtensionFun Source #
Hashable ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods hashWithSalt :: Int -> ExtensionFun -> Int Source # hash :: ExtensionFun -> Int Source #
Pretty ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods pretty :: ExtensionFun -> Doc ann Source # prettyList :: [ ExtensionFun ] -> Doc ann Source #
uni ~ DefaultUni => ToBuiltinMeaning uni ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type CostingPart uni ExtensionFun Source # Methods toBuiltinMeaning :: HasConstantIn uni val => ExtensionFun -> BuiltinMeaning val ( CostingPart uni ExtensionFun ) Source #
type Rep ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins type Rep ExtensionFun = D1 (' MetaData "ExtensionFun" "PlutusCore.Examples.Builtins" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) (((( C1 (' MetaCons "Factorial" ' 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 "IdFInteger" ' PrefixI ' False ) ( U1 :: Type -> Type ))) :+: ( C1 (' MetaCons "IdList" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: ( C1 (' MetaCons "IdRank2" ' 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 "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 ))))))
type CostingPart uni ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins type CostingPart uni ExtensionFun = ()

defBuiltinsRuntimeExt :: HasConstantIn DefaultUni term => BuiltinsRuntime ( Either DefaultFun ExtensionFun ) term Source #

data PlcListRep (a :: Type ) Source #

Instances

Instances details

KnownTypeAst uni a => KnownTypeAst uni ( PlcListRep a :: Type ) Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type ToHoles ( PlcListRep a) :: [ Hole ] Source # type ToBinds ( PlcListRep a) :: [ Some TyNameRep ] Source # Methods toTypeAst :: proxy ( PlcListRep a) -> Type0 TyName uni () Source #
type ToHoles ( PlcListRep a :: Type ) Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToHoles ( PlcListRep a :: Type ) = '[ RepHole a :: Hole ]
type ToBinds ( PlcListRep a :: Type ) Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToBinds ( PlcListRep a :: Type ) = ToBinds a

data BuiltinErrorCall Source #

Constructors

BuiltinErrorCall

Instances

Instances details

Eq BuiltinErrorCall Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods (==) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool Source # (/=) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool 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 #
Exception BuiltinErrorCall Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods toException :: BuiltinErrorCall -> SomeException Source # fromException :: SomeException -> Maybe BuiltinErrorCall Source # displayException :: BuiltinErrorCall -> String Source #

Orphan instances

UniOf term ~ DefaultUni => ReadKnownIn DefaultUni term Void Source #
Instance details Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Void Source #
UniOf term ~ DefaultUni => MakeKnownIn DefaultUni term Void Source #
Instance details Methods makeKnown :: Maybe cause -> Void -> MakeKnownM cause term Source #
( ToBuiltinMeaning uni fun1, ToBuiltinMeaning uni fun2) => ToBuiltinMeaning uni ( Either fun1 fun2) Source #
Instance details Associated Types type CostingPart uni ( Either fun1 fun2) Source # Methods toBuiltinMeaning :: HasConstantIn uni val => Either fun1 fun2 -> BuiltinMeaning val ( CostingPart uni ( Either fun1 fun2)) Source #
KnownTypeAst DefaultUni Void Source #
Instance details Associated Types type ToHoles Void :: [ Hole ] Source # type ToBinds Void :: [ Some TyNameRep ] Source # Methods toTypeAst :: proxy Void -> Type TyName DefaultUni () Source #
( 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 #