Safe Haskell	None
Language	Haskell2010

PlutusCore.Examples.Builtins

Contents

Orphan instances

Documentation

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

data ExtensionFun Source #

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 hash :: ExtensionFun -> Int
Pretty ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods pretty :: ExtensionFun -> Doc ann # prettyList :: [ExtensionFun] -> Doc ann #
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-6wMiyL0yerXJu56t8zBoKx" '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 #

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