plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.Examples.Builtins

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

Enum ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Eq ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Ord ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Show ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Ix ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Generic ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Associated Types

type Rep ExtensionFun :: Type -> Type Source #

Hashable ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Pretty ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

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

Defined in PlutusCore.Examples.Builtins

Associated Types

type 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-0.1.0.0-75cTOscXcmAHq1cwUst1Y0" 'False) ((((C1 ('MetaCons "Factorial" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Const" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Id" '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

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

Orphan instances

UniOf term ~ DefaultUni => KnownTypeIn DefaultUni term Void Source # 
Instance details

Methods

makeKnown :: (MonadError (ErrorWithCause err cause) m, AsEvaluationFailure err) => (Text -> m ()) -> Maybe cause -> Void -> m term Source #

readKnown :: (AsUnliftingError err, AsEvaluationFailure err) => Maybe cause -> term -> Either (ErrorWithCause err cause) Void 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

(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 #