Parser

AnnotateCaseBuiltin DefaultUni Source #

Associated Types

type Everywhere DefaultUni constr
Instance details Defined in PlutusCore.Default.Universe type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr Value, Permits constr [], Permits constr Vector, Permits constr (,), Permits constr Data, Permits constr Element, Permits constr Element, Permits constr MlResult)

Methods

encodeUni :: DefaultUni a -> [Int] Source #

withDecodedUni :: (forall k (a :: k). Typeable k => DefaultUni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source #

bring :: Everywhere DefaultUni constr => proxy constr -> DefaultUni (Esc a) -> (constr a => r) -> r Source #

type family EverywhereAll (uni :: Type -> Type) (constrs :: [Type -> Constraint]) where ... Source #

Equations

EverywhereAll uni ('[] :: [Type -> Constraint]) = ()
EverywhereAll uni (constr ': constrs) = (Everywhere uni constr, EverywhereAll uni constrs)

knownUniOf :: forall {k} uni (a :: k) proxy. Contains uni a => proxy a -> uni (Esc a) Source #

Same as knownUni, but receives a proxy.

class GShow (t :: k -> Type) where #

Methods

gshowsPrec :: forall (a :: k). Int -> t a -> ShowS #

Instances

Instances details

GShow SNat
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a :: Nat). Int -> SNat a -> ShowS #
GShow SChar
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a :: Char). Int -> SChar a -> ShowS #
GShow SSymbol
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a :: Symbol). Int -> SSymbol a -> ShowS #
GShow DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gshowsPrec :: Int -> DefaultUni a -> ShowS #
GShow uni => GShow (Kinded uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gshowsPrec :: Int -> Kinded uni a -> ShowS #
(GShow uni, Closed uni, Everywhere uni Show) => GShow (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gshowsPrec :: Int -> ValueOf uni a -> ShowS #
GShow (TypeRep :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a :: k). Int -> TypeRep a -> ShowS #
GShow ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> (a :~: a0) -> ShowS #
GShow (GOrdering a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> GOrdering a a0 -> ShowS #
(GShow a, GShow b) => GShow (Product a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> Product a b a0 -> ShowS #
(GShow a, GShow b) => GShow (Sum a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> Sum a b a0 -> ShowS #
GShow ((:~~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> (a :~~: a0) -> ShowS #
(GShow a, GShow b) => GShow (a :*: b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> (a :*: b) a0 -> ShowS #
(GShow a, GShow b) => GShow (a :+: b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> (a :+: b) a0 -> ShowS #

show :: Show a => a -> String Source #

A specialised variant of showsPrec, using precedence context zero, and returning an ordinary String.

class GEq (f :: k -> Type) where #

Methods

geq :: forall (a :: k) (b :: k). f a -> f b -> Maybe (a :~: b) #

Instances

Instances details

GEq SNat
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b) #
GEq SChar
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a :: Char) (b :: Char). SChar a -> SChar b -> Maybe (a :~: b) #
GEq SSymbol
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (a :~: b) #
GEq DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods geq :: DefaultUni a -> DefaultUni b -> Maybe (a :~: b) #
(GEq uni, Closed uni, Everywhere uni Eq) => GEq (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods geq :: ValueOf uni a -> ValueOf uni b -> Maybe (a :~: b) #
GEq (TypeRep :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a :: k) (b :: k). TypeRep a -> TypeRep b -> Maybe (a :~: b) #
GEq ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) #
(GEq a, GEq b) => GEq (Product a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k) (b0 :: k). Product a b a0 -> Product a b b0 -> Maybe (a0 :~: b0) #
(GEq a, GEq b) => GEq (Sum a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k) (b0 :: k). Sum a b a0 -> Sum a b b0 -> Maybe (a0 :~: b0) #
GEq ((:~~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k) (b :: k). (a :~~: a0) -> (a :~~: b) -> Maybe (a0 :~: b) #
(GEq a, GEq b) => GEq (a :*: b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k) (b0 :: k). (a :: b) a0 -> (a :: b) b0 -> Maybe (a0 :~: b0) #
(GEq f, GEq g) => GEq (f :+: g :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a :: k) (b :: k). (f :+: g) a -> (f :+: g) b -> Maybe (a :~: b) #

class HasUniApply (uni :: Type -> Type) where Source #

A class for "uni has general type application".

Methods

uniApply :: forall k l (f :: k -> l) (a :: k). uni (Esc f) -> uni (Esc a) -> uni (Esc (f a)) Source #

Apply a type constructor to an argument.

matchUniApply Source #

Arguments

:: uni tb	The type.
-> r	What to return if the type is not an application.
-> (forall k l (f :: k -> l) (a :: k). tb ~ Esc (f a) => uni (Esc f) -> uni (Esc a) -> r)	The continuation taking a function and an argument.
-> r

Deconstruct a type application into the function and the argument and feed them to the continuation. If the type is not an application, then return the default value.

Instances

Instances details

HasUniApply DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods uniApply :: forall k l (f :: k -> l) (a :: k). DefaultUni (Esc f) -> DefaultUni (Esc a) -> DefaultUni (Esc (f a)) Source # matchUniApply :: DefaultUni tb -> r -> (forall k l (f :: k -> l) (a :: k). tb ~ Esc (f a) => DefaultUni (Esc f) -> DefaultUni (Esc a) -> r) -> r Source #

checkStar :: forall uni a (x :: a). Typeable a => uni (Esc x) -> Maybe (a :~: Type) Source #

Check if the kind of the given type from the universe is Type.

withApplicable :: forall a ab (f :: ab) (x :: a) uni m r. (Typeable ab, Typeable a, MonadPlus m) => uni (Esc f) -> uni (Esc x) -> (forall b. (Typeable b, ab ~ (a -> b)) => m r) -> m r Source #

Check if one type from the universe can be applied to another (i.e. check that the expected kind of the argument matches the actual one) and call the continuation in the refined context. Fail with mzero otherwise.

data (a :: k) :~: (b :: k) where infix 4 Source #

Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

Since: base-4.7.0.0

Constructors

Refl :: forall {k} (a :: k). a :~: a

Instances

Instances details

Category ((:~:) :: k -> k -> Type)	Since: base-4.7.0.0
Instance details Defined in Control.Category Methods id :: forall (a :: k). a :~: a Source # (.) :: forall (b :: k) (c :: k) (a :: k). (b :~: c) -> (a :~: b) -> a :~: c Source #
TestCoercion ((:~:) a :: k -> Type)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Coercion Methods testCoercion :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (Coercion a0 b) Source #
TestEquality ((:~:) a :: k -> Type)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods testEquality :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) Source #
EqP ((:~:) a :: k -> Type)
Instance details Defined in Data.EqP Methods eqp :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Bool
GNFData ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.DeepSeq Methods grnf :: forall (a0 :: k). (a :~: a0) -> ()
GCompare ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gcompare :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> GOrdering a0 b
GEq ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) #
GRead ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods greadsPrec :: Int -> GReadS ((:~:) a)
GShow ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k). Int -> (a :~: a0) -> ShowS #
OrdP ((:~:) a :: k -> Type)
Instance details Defined in Data.OrdP Methods comparep :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Ordering
NFData2 ((:~:) :: Type -> Type -> Type)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf2 :: (a -> ()) -> (b -> ()) -> (a :~: b) -> () Source #
NFData1 ((:~:) a)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf :: (a0 -> ()) -> (a :~: a0) -> () Source #
(a ~ b, Data a) => Data (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a :~: b) -> c (a :~: b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a :~: b) Source # toConstr :: (a :~: b) -> Constr Source # dataTypeOf :: (a :~: b) -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a :~: b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a :~: b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a :~: b) -> a :~: b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r Source # gmapQ :: (forall d. Data d => d -> u) -> (a :~: b) -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> (a :~: b) -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Source #
a ~ b => Bounded (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods minBound :: a :~: b Source # maxBound :: a :~: b Source #
a ~ b => Enum (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods succ :: (a :~: b) -> a :~: b Source # pred :: (a :~: b) -> a :~: b Source # toEnum :: Int -> a :~: b Source # fromEnum :: (a :~: b) -> Int Source # enumFrom :: (a :~: b) -> [a :~: b] Source # enumFromThen :: (a :~: b) -> (a :~: b) -> [a :~: b] Source # enumFromTo :: (a :~: b) -> (a :~: b) -> [a :~: b] Source # enumFromThenTo :: (a :~: b) -> (a :~: b) -> (a :~: b) -> [a :~: b] Source #
a ~ b => Read (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods readsPrec :: Int -> ReadS (a :~: b) Source # readList :: ReadS [a :~: b] Source # readPrec :: ReadPrec (a :~: b) Source # readListPrec :: ReadPrec [a :~: b] Source #
Show (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods showsPrec :: Int -> (a :~: b) -> ShowS Source # show :: (a :~: b) -> String Source # showList :: [a :~: b] -> ShowS Source #
NFData (a :~: b)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: (a :~: b) -> () Source #
Eq (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods (==) :: (a :~: b) -> (a :~: b) -> Bool Source # (/=) :: (a :~: b) -> (a :~: b) -> Bool Source #
Ord (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods compare :: (a :~: b) -> (a :~: b) -> Ordering Source # (<) :: (a :~: b) -> (a :~: b) -> Bool Source # (<=) :: (a :~: b) -> (a :~: b) -> Bool Source # (>) :: (a :~: b) -> (a :~: b) -> Bool Source # (>=) :: (a :~: b) -> (a :~: b) -> Bool Source # max :: (a :~: b) -> (a :~: b) -> a :~: b Source # min :: (a :~: b) -> (a :~: b) -> a :~: b Source #

type (<:) (uni1 :: Type -> Type) (uni2 :: Type -> Type) = Everywhere uni1 (Includes uni2 :: Type -> Constraint) Source #

A constraint for "uni1 is a subuniverse of uni2".

type HasTypeLevel (uni :: Type -> Type) (x :: a) = KnownTypeAst Void uni (ElaborateBuiltin uni x) Source #

Specifies that the given type is a built-in one and can be embedded into a Type.

type HasTermLevel (uni :: Type -> Type) = Includes uni :: a -> Constraint Source #

Specifies that the given type is a built-in one and its values can be embedded into a Term.

type HasTypeAndTermLevel (uni :: Type -> Type) (x :: a) = (HasTypeLevel uni x, HasTermLevel uni x) Source #

The product of HasTypeLevel and HasTermLevel.

data DefaultUni a where Source #

The universe used by default.

Constructors

DefaultUniInteger :: DefaultUni (Esc Integer)
DefaultUniByteString :: DefaultUni (Esc ByteString)
DefaultUniString :: DefaultUni (Esc Text)
DefaultUniUnit :: DefaultUni (Esc ())
DefaultUniBool :: DefaultUni (Esc Bool)
DefaultUniProtoArray :: DefaultUni (Esc Vector)
DefaultUniProtoList :: DefaultUni (Esc [])
DefaultUniProtoPair :: DefaultUni (Esc (,))
DefaultUniApply :: forall {k1} {k2} (f :: k1 -> k2) (a1 :: k1). !(DefaultUni (Esc f)) -> !(DefaultUni (Esc a1)) -> DefaultUni (Esc (f a1))
DefaultUniData :: DefaultUni (Esc Data)
DefaultUniBLS12_381_G1_Element :: DefaultUni (Esc Element)
DefaultUniBLS12_381_G2_Element :: DefaultUni (Esc Element)
DefaultUniBLS12_381_MlResult :: DefaultUni (Esc MlResult)
DefaultUniValue :: DefaultUni (Esc Value)

Instances

Instances details

Instance details

Methods

annotateCaseBuiltin :: UniOf term ~ DefaultUni => Type TyName DefaultUni ann -> [term] -> Either Text [(term, [Type TyName DefaultUni ann])] Source #

CaseBuiltin DefaultUni Source #

Instance details

Methods

caseBuiltin :: UniOf term ~ DefaultUni => Some (ValueOf DefaultUni) -> Vector term -> HeadSpine Text term (Some (ValueOf DefaultUni)) Source #

ToKind DefaultUni Source #

Instance details

TestTypesFromTheUniverseAreAllKnown DefaultUni Source #

Methods

toSingKind :: forall k (a :: k). DefaultUni (Esc a) -> SingKind k Source #

Instance details

Closed DefaultUni Source #

Instance details

Associated Types

type Everywhere DefaultUni constr
Instance details Defined in PlutusCore.Default.Universe type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr Value, Permits constr [], Permits constr Vector, Permits constr (,), Permits constr Data, Permits constr Element, Permits constr Element, Permits constr MlResult)

Methods

encodeUni :: DefaultUni a -> [Int] Source #

withDecodedUni :: (forall k (a :: k). Typeable k => DefaultUni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source #

bring :: Everywhere DefaultUni constr => proxy constr -> DefaultUni (Esc a) -> (constr a => r) -> r Source #

HasUniApply DefaultUni Source #

Instance details

Methods

uniApply :: forall k l (f :: k -> l) (a :: k). DefaultUni (Esc f) -> DefaultUni (Esc a) -> DefaultUni (Esc (f a)) Source #

matchUniApply :: DefaultUni tb -> r -> (forall k l (f :: k -> l) (a :: k). tb ~ Esc (f a) => DefaultUni (Esc f) -> DefaultUni (Esc a) -> r) -> r Source #

AllBuiltinArgs DefaultUni (GEqL DefaultUni) a => GEqL DefaultUni a Source #

Instance details

Methods

geqL :: DefaultUni (Esc a) -> DefaultUni (Esc b) -> EvaluationResult (a :~: b) Source #

GEq DefaultUni Source #

Instance details

Methods

geq :: DefaultUni a -> DefaultUni b -> Maybe (a :~: b) #

GShow DefaultUni Source #

Instance details

Methods

gshowsPrec :: Int -> DefaultUni a -> ShowS #

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

Instance details

Methods

makeKnown :: Void -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int16 Source #

Instance details

Methods

makeKnown :: Int16 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int32 Source #

Instance details

Methods

makeKnown :: Int32 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int64 Source #

Instance details

Methods

makeKnown :: Int64 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int8 Source #

Instance details

Methods

makeKnown :: Int8 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word16 Source #

Instance details

Methods

makeKnown :: Word16 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word32 Source #

Instance details

Methods

makeKnown :: Word32 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word64 Source #

Instance details

Methods

makeKnown :: Word64 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word8 Source #

Instance details

Methods

makeKnown :: Word8 -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term ByteString => MakeKnownIn DefaultUni term ByteString Source #

Instance details

Methods

makeKnown :: ByteString -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source #

Instance details

Methods

makeKnown :: Element -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source #

Instance details

Methods

makeKnown :: Element -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term MlResult => MakeKnownIn DefaultUni term MlResult Source #

Instance details

Methods

makeKnown :: MlResult -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Data => MakeKnownIn DefaultUni term Data Source #

Instance details

Methods

makeKnown :: Data -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term DataNodeCount Source #

Instance details

Methods

makeKnown :: DataNodeCount -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntegerCostedLiterally Source #

Instance details

Methods

makeKnown :: IntegerCostedLiterally -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term NumBytesCostedAsNumWords Source #

Instance details

Methods

makeKnown :: NumBytesCostedAsNumWords -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueMaxDepth Source #

Instance details

Methods

makeKnown :: ValueMaxDepth -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueTotalSize Source #

Instance details

Methods

makeKnown :: ValueTotalSize -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term Value Source #

Instance details

Methods

makeKnown :: Value -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term Text Source #

Instance details

Methods

makeKnown :: Text -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Integer Source #

Instance details

Methods

makeKnown :: Integer -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Natural Source #

Instance details

Methods

makeKnown :: Natural -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term () => MakeKnownIn DefaultUni term () Source #

Instance details

Methods

makeKnown :: () -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Bool => MakeKnownIn DefaultUni term Bool Source #

Instance details

Methods

makeKnown :: Bool -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int Source #

Instance details

Methods

makeKnown :: Int -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word Source #

Instance details

Methods

makeKnown :: Word -> BuiltinResult term Source #

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

Instance details

Methods

readKnown :: term -> ReadKnownM Void Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int16 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Int16 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int32 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Int32 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int64 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Int64 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int8 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Int8 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word16 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Word16 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word32 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Word32 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word64 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Word64 Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word8 Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Word8 Source #

KnownBuiltinTypeIn DefaultUni term ByteString => ReadKnownIn DefaultUni term ByteString Source #

Instance details

Methods

readKnown :: term -> ReadKnownM ByteString Source #

KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Element Source #

KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Element Source #

KnownBuiltinTypeIn DefaultUni term MlResult => ReadKnownIn DefaultUni term MlResult Source #

Instance details

Methods

readKnown :: term -> ReadKnownM MlResult Source #

KnownBuiltinTypeIn DefaultUni term Data => ReadKnownIn DefaultUni term Data Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Data Source #

KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term DataNodeCount Source #

Instance details

Methods

readKnown :: term -> ReadKnownM DataNodeCount Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntegerCostedLiterally Source #

Instance details

Methods

readKnown :: term -> ReadKnownM IntegerCostedLiterally Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term NumBytesCostedAsNumWords Source #

Instance details

Methods

readKnown :: term -> ReadKnownM NumBytesCostedAsNumWords Source #

KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueMaxDepth Source #

Instance details

Methods

readKnown :: term -> ReadKnownM ValueMaxDepth Source #

KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueTotalSize Source #

Instance details

Methods

readKnown :: term -> ReadKnownM ValueTotalSize Source #

KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term Value Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Value Source #

KnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term Text Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Text Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Integer Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Integer Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Natural Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Natural Source #

KnownBuiltinTypeIn DefaultUni term () => ReadKnownIn DefaultUni term () Source #

Instance details

Methods

readKnown :: term -> ReadKnownM () Source #

KnownBuiltinTypeIn DefaultUni term Bool => ReadKnownIn DefaultUni term Bool Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Bool Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Int Source #

KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word Source #

Instance details

Methods

readKnown :: term -> ReadKnownM Word Source #

Contains DefaultUni ByteString Source #

Instance details

Methods

knownUni :: DefaultUni (Esc ByteString) Source #

Contains DefaultUni Element Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Element) Source #

Contains DefaultUni Element Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Element) Source #

Contains DefaultUni MlResult Source #

Instance details

Methods

knownUni :: DefaultUni (Esc MlResult) Source #

Contains DefaultUni Data Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Data) Source #

Contains DefaultUni Value Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Value) Source #

Contains DefaultUni Text Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Text) Source #

Contains DefaultUni Integer Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Integer) Source #

Contains DefaultUni () Source #

Instance details

Methods

knownUni :: DefaultUni (Esc ()) Source #

Contains DefaultUni Bool Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Bool) 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 #

KnownTypeAst tyname DefaultUni Int16 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Int16
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int16
type ToHoles DefaultUni hole Int16
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int16
type ToBinds DefaultUni acc Int16
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int16

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Int32 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Int32
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int32
type ToHoles DefaultUni hole Int32
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int32
type ToBinds DefaultUni acc Int32
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int32

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Int64 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Int64
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int64
type ToHoles DefaultUni hole Int64
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int64
type ToBinds DefaultUni acc Int64
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int64

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Int8 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Int8
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int8
type ToHoles DefaultUni hole Int8
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int8
type ToBinds DefaultUni acc Int8
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int8

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Word16 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Word16
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word16
type ToHoles DefaultUni hole Word16
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word16
type ToBinds DefaultUni acc Word16
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word16

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Word32 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Word32
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word32
type ToHoles DefaultUni hole Word32
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word32
type ToBinds DefaultUni acc Word32
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word32

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Word64 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Word64
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word64
type ToHoles DefaultUni hole Word64
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word64
type ToBinds DefaultUni acc Word64
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word64

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Word8 Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Word8
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word8
type ToHoles DefaultUni hole Word8
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word8
type ToBinds DefaultUni acc Word8
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word8

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni ByteString => KnownTypeAst tyname DefaultUni ByteString Source #

Instance details

Associated Types

type IsBuiltin DefaultUni ByteString
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ByteString = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ByteString)
type ToHoles DefaultUni hole ByteString
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ByteString = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ByteString)
type ToBinds DefaultUni acc ByteString
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ByteString = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ByteString)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Element
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni hole Element
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc Element
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Element
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni hole Element
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc Element
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni MlResult => KnownTypeAst tyname DefaultUni MlResult Source #

Instance details

Associated Types

type IsBuiltin DefaultUni MlResult
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)
type ToHoles DefaultUni hole MlResult
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)
type ToBinds DefaultUni acc MlResult
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Data => KnownTypeAst tyname DefaultUni Data Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni hole Data
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)
type ToBinds DefaultUni acc Data
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni DataNodeCount Source #

Instance details

Associated Types

type IsBuiltin DefaultUni DataNodeCount
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni DataNodeCount = IsBuiltin DefaultUni Data
type ToHoles DefaultUni hole DataNodeCount
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole DataNodeCount = ToHoles DefaultUni hole Data
type ToBinds DefaultUni acc DataNodeCount
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc DataNodeCount = ToBinds DefaultUni acc Data

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni IntegerCostedLiterally Source #

Instance details

Associated Types

type IsBuiltin DefaultUni IntegerCostedLiterally
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni IntegerCostedLiterally = IsBuiltin DefaultUni Integer
type ToHoles DefaultUni hole IntegerCostedLiterally
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole IntegerCostedLiterally = ToHoles DefaultUni hole Integer
type ToBinds DefaultUni acc IntegerCostedLiterally
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc IntegerCostedLiterally = ToBinds DefaultUni acc Integer

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni NumBytesCostedAsNumWords Source #

Instance details

Associated Types

type IsBuiltin DefaultUni NumBytesCostedAsNumWords
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni NumBytesCostedAsNumWords = IsBuiltin DefaultUni Integer
type ToHoles DefaultUni hole NumBytesCostedAsNumWords
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole NumBytesCostedAsNumWords = ToHoles DefaultUni hole Integer
type ToBinds DefaultUni acc NumBytesCostedAsNumWords
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc NumBytesCostedAsNumWords = ToBinds DefaultUni acc Integer

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni ValueMaxDepth Source #

Instance details

Associated Types

type IsBuiltin DefaultUni ValueMaxDepth
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ValueMaxDepth = IsBuiltin DefaultUni Value
type ToHoles DefaultUni hole ValueMaxDepth
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ValueMaxDepth = ToHoles DefaultUni hole Value
type ToBinds DefaultUni acc ValueMaxDepth
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ValueMaxDepth = ToBinds DefaultUni acc Value

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni ValueTotalSize Source #

Instance details

Associated Types

type IsBuiltin DefaultUni ValueTotalSize
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ValueTotalSize = IsBuiltin DefaultUni Value
type ToHoles DefaultUni hole ValueTotalSize
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ValueTotalSize = ToHoles DefaultUni hole Value
type ToBinds DefaultUni acc ValueTotalSize
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ValueTotalSize = ToBinds DefaultUni acc Value

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Value => KnownTypeAst tyname DefaultUni Value Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Value
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Value = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Value)
type ToHoles DefaultUni hole Value
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Value = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Value)
type ToBinds DefaultUni acc Value
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Value = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Value)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Text => KnownTypeAst tyname DefaultUni Text Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Text
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Text = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Text)
type ToHoles DefaultUni hole Text
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Text = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Text)
type ToBinds DefaultUni acc Text
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Text = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Text)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Integer => KnownTypeAst tyname DefaultUni Integer Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Integer
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Integer = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Integer)
type ToHoles DefaultUni hole Integer
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Integer = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Integer)
type ToBinds DefaultUni acc Integer
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Integer = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Integer)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Natural Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Natural
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Natural
type ToHoles DefaultUni hole Natural
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Natural
type ToBinds DefaultUni acc Natural
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Natural

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni () => KnownTypeAst tyname DefaultUni () Source #

Instance details

Associated Types

type IsBuiltin DefaultUni ()
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni () = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ())
type ToHoles DefaultUni hole ()
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole () = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ())
type ToBinds DefaultUni acc ()
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc () = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ())

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni Bool => KnownTypeAst tyname DefaultUni Bool Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Bool
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Bool = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Bool)
type ToHoles DefaultUni hole Bool
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Bool = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Bool)
type ToBinds DefaultUni acc Bool
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Bool = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Bool)

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Int Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Int
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int
type ToHoles DefaultUni hole Int
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int
type ToBinds DefaultUni acc Int
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownTypeAst tyname DefaultUni Word Source #

Instance details

Associated Types

type IsBuiltin DefaultUni Word
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word
type ToHoles DefaultUni hole Word
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word
type ToBinds DefaultUni acc Word
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni (Vector a) => KnownTypeAst tyname DefaultUni (Vector a :: Type) Source #

Instance details

Associated Types

type IsBuiltin DefaultUni (Vector a :: Type)
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni (Vector a :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (Vector a))

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni [a] => KnownTypeAst tyname DefaultUni ([a] :: Type) Source #

Instance details

Associated Types

type IsBuiltin DefaultUni ([a] :: Type)
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ([a] :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni [a])

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeAst tyname DefaultUni (a, b) => KnownTypeAst tyname DefaultUni ((a, b) :: Type) Source #

Instance details

Associated Types

type IsBuiltin DefaultUni ((a, b) :: Type)
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ((a, b) :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (a, b))

Methods

typeAst :: Type tyname DefaultUni () Source #

KnownBuiltinTypeIn DefaultUni term (Vector a) => MakeKnownIn DefaultUni term (Vector a) Source #

Instance details

Methods

makeKnown :: Vector a -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term [a] => MakeKnownIn DefaultUni term [a] Source #

Instance details

Methods

makeKnown :: [a] -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term (Vector a) => ReadKnownIn DefaultUni term (Vector a) Source #

Instance details

Methods

readKnown :: term -> ReadKnownM (Vector a) Source #

KnownBuiltinTypeIn DefaultUni term [a] => ReadKnownIn DefaultUni term [a] Source #

Instance details

Methods

readKnown :: term -> ReadKnownM [a] Source #

(Contains DefaultUni f, Contains DefaultUni a) => Contains DefaultUni (f a :: k2) Source #

Instance details

Methods

knownUni :: DefaultUni (Esc (f a)) Source #

KnownBuiltinTypeIn DefaultUni term (a, b) => MakeKnownIn DefaultUni term (a, b) Source #

Instance details

Methods

makeKnown :: (a, b) -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term (a, b) => ReadKnownIn DefaultUni term (a, b) Source #

Instance details

Methods

readKnown :: term -> ReadKnownM (a, b) Source #

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

Instance details

Methods

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

PrettyBy RenderContext (DefaultUni a) Source #

Instance details

Methods

prettyBy :: RenderContext -> DefaultUni a -> Doc ann #

prettyListBy :: RenderContext -> [DefaultUni a] -> Doc ann #

PrettyBy RenderContext (SomeTypeIn DefaultUni) Source #

Instance details

Methods

prettyBy :: RenderContext -> SomeTypeIn DefaultUni -> Doc ann #

prettyListBy :: RenderContext -> [SomeTypeIn DefaultUni] -> Doc ann #

Show (DefaultUni a) Source #

Instance details

Methods

showsPrec :: Int -> DefaultUni a -> ShowS Source #

show :: DefaultUni a -> String Source #

showList :: [DefaultUni a] -> ShowS Source #

Pretty (DefaultUni a) Source #

This always pretty-prints parens around type applications (e.g. (list bool)) and doesn't pretty-print them otherwise (e.g. integer).

Instance details

Methods

pretty :: DefaultUni a -> Doc ann #

prettyList :: [DefaultUni a] -> Doc ann #

Pretty (SomeTypeIn DefaultUni) Source #

Instance details

Methods

pretty :: SomeTypeIn DefaultUni -> Doc ann #

prettyList :: [SomeTypeIn DefaultUni] -> Doc ann #

Contains DefaultUni (,) Source #

Instance details

Methods

knownUni :: DefaultUni (Esc (,)) Source #

Contains DefaultUni Vector Source #

Instance details

Methods

knownUni :: DefaultUni (Esc Vector) Source #

Contains DefaultUni [] Source #

Instance details

Methods

knownUni :: DefaultUni (Esc []) Source #

type Everywhere DefaultUni constr Source #

Instance details

type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr Value, Permits constr [], Permits constr Vector, Permits constr (,), Permits constr Data, Permits constr Element, Permits constr Element, Permits constr MlResult)

type IsBuiltin DefaultUni Void Source #

Instance details

type IsBuiltin DefaultUni Void = 'False

type IsBuiltin DefaultUni Int16 Source #

Instance details

type IsBuiltin DefaultUni Int16

type IsBuiltin DefaultUni Int32 Source #

Instance details

type IsBuiltin DefaultUni Int32

type IsBuiltin DefaultUni Int64 Source #

Instance details

type IsBuiltin DefaultUni Int64

type IsBuiltin DefaultUni Int8 Source #

Instance details

type IsBuiltin DefaultUni Int8

type IsBuiltin DefaultUni Word16 Source #

Instance details

type IsBuiltin DefaultUni Word16

type IsBuiltin DefaultUni Word32 Source #

Instance details

type IsBuiltin DefaultUni Word32

type IsBuiltin DefaultUni Word64 Source #

Instance details

type IsBuiltin DefaultUni Word64

type IsBuiltin DefaultUni Word8 Source #

Instance details

type IsBuiltin DefaultUni Word8

type IsBuiltin DefaultUni ByteString Source #

Instance details

type IsBuiltin DefaultUni ByteString = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ByteString)

type IsBuiltin DefaultUni Element Source #

Instance details

type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)

type IsBuiltin DefaultUni Element Source #

Instance details

type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)

type IsBuiltin DefaultUni MlResult Source #

Instance details

type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)

type IsBuiltin DefaultUni Data Source #

Instance details

type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)

type IsBuiltin DefaultUni DataNodeCount Source #

Instance details

type IsBuiltin DefaultUni DataNodeCount = IsBuiltin DefaultUni Data

type IsBuiltin DefaultUni IntegerCostedLiterally Source #

Instance details

type IsBuiltin DefaultUni IntegerCostedLiterally = IsBuiltin DefaultUni Integer

type IsBuiltin DefaultUni NumBytesCostedAsNumWords Source #

Instance details

type IsBuiltin DefaultUni NumBytesCostedAsNumWords = IsBuiltin DefaultUni Integer

type IsBuiltin DefaultUni ValueMaxDepth Source #

Instance details

type IsBuiltin DefaultUni ValueMaxDepth = IsBuiltin DefaultUni Value

type IsBuiltin DefaultUni ValueTotalSize Source #

Instance details

type IsBuiltin DefaultUni ValueTotalSize = IsBuiltin DefaultUni Value

type IsBuiltin DefaultUni Value Source #

Instance details

type IsBuiltin DefaultUni Value = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Value)

type IsBuiltin DefaultUni Text Source #

Instance details

type IsBuiltin DefaultUni Text = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Text)

type IsBuiltin DefaultUni Integer Source #

Instance details

type IsBuiltin DefaultUni Integer = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Integer)

type IsBuiltin DefaultUni Natural Source #

Instance details

type IsBuiltin DefaultUni Natural

type IsBuiltin DefaultUni () Source #

Instance details

type IsBuiltin DefaultUni () = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ())

type IsBuiltin DefaultUni Bool Source #

Instance details

type IsBuiltin DefaultUni Bool = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Bool)

type IsBuiltin DefaultUni Int Source #

Instance details

type IsBuiltin DefaultUni Int

type IsBuiltin DefaultUni Word Source #

Instance details

type IsBuiltin DefaultUni Word

type ElaborateBuiltin DefaultUni (x :: a) Source #

Instance details

type ElaborateBuiltin DefaultUni (x :: a)

type ToBinds DefaultUni acc Void Source #

Instance details

type ToBinds DefaultUni acc Void = acc

type ToBinds DefaultUni acc Int16 Source #

Instance details

type ToBinds DefaultUni acc Int16

type ToBinds DefaultUni acc Int32 Source #

Instance details

type ToBinds DefaultUni acc Int32

type ToBinds DefaultUni acc Int64 Source #

Instance details

type ToBinds DefaultUni acc Int64

type ToBinds DefaultUni acc Int8 Source #

Instance details

type ToBinds DefaultUni acc Int8

type ToBinds DefaultUni acc Word16 Source #

Instance details

type ToBinds DefaultUni acc Word16

type ToBinds DefaultUni acc Word32 Source #

Instance details

type ToBinds DefaultUni acc Word32

type ToBinds DefaultUni acc Word64 Source #

Instance details

type ToBinds DefaultUni acc Word64

type ToBinds DefaultUni acc Word8 Source #

Instance details

type ToBinds DefaultUni acc Word8

type ToBinds DefaultUni acc ByteString Source #

Instance details

type ToBinds DefaultUni acc ByteString = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ByteString)

type ToBinds DefaultUni acc Element Source #

Instance details

type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)

type ToBinds DefaultUni acc Element Source #

Instance details

type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)

type ToBinds DefaultUni acc MlResult Source #

Instance details

type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)

type ToBinds DefaultUni acc Data Source #

Instance details

type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)

type ToBinds DefaultUni acc DataNodeCount Source #

Instance details

type ToBinds DefaultUni acc DataNodeCount = ToBinds DefaultUni acc Data

type ToBinds DefaultUni acc IntegerCostedLiterally Source #

Instance details

type ToBinds DefaultUni acc IntegerCostedLiterally = ToBinds DefaultUni acc Integer

type ToBinds DefaultUni acc NumBytesCostedAsNumWords Source #

Instance details

type ToBinds DefaultUni acc NumBytesCostedAsNumWords = ToBinds DefaultUni acc Integer

type ToBinds DefaultUni acc ValueMaxDepth Source #

Instance details

type ToBinds DefaultUni acc ValueMaxDepth = ToBinds DefaultUni acc Value

type ToBinds DefaultUni acc ValueTotalSize Source #

Instance details

type ToBinds DefaultUni acc ValueTotalSize = ToBinds DefaultUni acc Value

type ToBinds DefaultUni acc Value Source #

Instance details

type ToBinds DefaultUni acc Value = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Value)

type ToBinds DefaultUni acc Text Source #

Instance details

type ToBinds DefaultUni acc Text = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Text)

type ToBinds DefaultUni acc Integer Source #

Instance details

type ToBinds DefaultUni acc Integer = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Integer)

type ToBinds DefaultUni acc Natural Source #

Instance details

type ToBinds DefaultUni acc Natural

type ToBinds DefaultUni acc () Source #

Instance details

type ToBinds DefaultUni acc () = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ())

type ToBinds DefaultUni acc Bool Source #

Instance details

type ToBinds DefaultUni acc Bool = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Bool)

type ToBinds DefaultUni acc Int Source #

Instance details

type ToBinds DefaultUni acc Int

type ToBinds DefaultUni acc Word Source #

Instance details

type ToBinds DefaultUni acc Word

type ToHoles DefaultUni _1 Void Source #

Instance details

type ToHoles DefaultUni _1 Void = '[] :: [Hole]

type ToHoles DefaultUni hole Int16 Source #

Instance details

type ToHoles DefaultUni hole Int16

type ToHoles DefaultUni hole Int32 Source #

Instance details

type ToHoles DefaultUni hole Int32

type ToHoles DefaultUni hole Int64 Source #

Instance details

type ToHoles DefaultUni hole Int64

type ToHoles DefaultUni hole Int8 Source #

Instance details

type ToHoles DefaultUni hole Int8

type ToHoles DefaultUni hole Word16 Source #

Instance details

type ToHoles DefaultUni hole Word16

type ToHoles DefaultUni hole Word32 Source #

Instance details

type ToHoles DefaultUni hole Word32

type ToHoles DefaultUni hole Word64 Source #

Instance details

type ToHoles DefaultUni hole Word64

type ToHoles DefaultUni hole Word8 Source #

Instance details

type ToHoles DefaultUni hole Word8

type ToHoles DefaultUni hole ByteString Source #

Instance details

type ToHoles DefaultUni hole ByteString = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ByteString)

type ToHoles DefaultUni hole Element Source #

Instance details

type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)

type ToHoles DefaultUni hole Element Source #

Instance details

type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)

type ToHoles DefaultUni hole MlResult Source #

Instance details

type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)

type ToHoles DefaultUni hole Data Source #

Instance details

type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)

type ToHoles DefaultUni hole DataNodeCount Source #

Instance details

type ToHoles DefaultUni hole DataNodeCount = ToHoles DefaultUni hole Data

type ToHoles DefaultUni hole IntegerCostedLiterally Source #

Instance details

type ToHoles DefaultUni hole IntegerCostedLiterally = ToHoles DefaultUni hole Integer

type ToHoles DefaultUni hole NumBytesCostedAsNumWords Source #

Instance details

type ToHoles DefaultUni hole NumBytesCostedAsNumWords = ToHoles DefaultUni hole Integer

type ToHoles DefaultUni hole ValueMaxDepth Source #

Instance details

type ToHoles DefaultUni hole ValueMaxDepth = ToHoles DefaultUni hole Value

type ToHoles DefaultUni hole ValueTotalSize Source #

Instance details

type ToHoles DefaultUni hole ValueTotalSize = ToHoles DefaultUni hole Value

type ToHoles DefaultUni hole Value Source #

Instance details

type ToHoles DefaultUni hole Value = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Value)

type ToHoles DefaultUni hole Text Source #

Instance details

type ToHoles DefaultUni hole Text = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Text)

type ToHoles DefaultUni hole Integer Source #

Instance details

type ToHoles DefaultUni hole Integer = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Integer)

type ToHoles DefaultUni hole Natural Source #

Instance details

type ToHoles DefaultUni hole Natural

type ToHoles DefaultUni hole () Source #

Instance details

type ToHoles DefaultUni hole () = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ())

type ToHoles DefaultUni hole Bool Source #

Instance details

type ToHoles DefaultUni hole Bool = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Bool)

type ToHoles DefaultUni hole Int Source #

Instance details

type ToHoles DefaultUni hole Int

type ToHoles DefaultUni hole Word Source #

Instance details

type ToHoles DefaultUni hole Word

type ToBinds DefaultUni acc (Vector a :: Type) Source #

Instance details

type ToBinds DefaultUni acc (Vector a :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (Vector a))

type ToBinds DefaultUni acc ([a] :: Type) Source #

Instance details

type ToBinds DefaultUni acc ([a] :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni [a])

type ToHoles DefaultUni hole (Vector a :: Type) Source #

Instance details

type ToHoles DefaultUni hole (Vector a :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (Vector a))

type ToHoles DefaultUni hole ([a] :: Type) Source #

Instance details

type ToHoles DefaultUni hole ([a] :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni [a])

type ToBinds DefaultUni acc ((a, b) :: Type) Source #

Instance details

type ToBinds DefaultUni acc ((a, b) :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (a, b))

type ToHoles DefaultUni hole ((a, b) :: Type) Source #

Instance details

type ToHoles DefaultUni hole ((a, b) :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (a, b))

type IsBuiltin DefaultUni (Vector a :: Type) Source #

Instance details

type IsBuiltin DefaultUni (Vector a :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (Vector a))

type IsBuiltin DefaultUni ([a] :: Type) Source #

Instance details

type IsBuiltin DefaultUni ([a] :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni [a])

type IsBuiltin DefaultUni ((a, b) :: Type) Source #

Instance details

type IsBuiltin DefaultUni ((a, b) :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (a, b))

pattern DefaultUniList :: forall {a} {k1} {k2} {f :: k1 -> k2} {a1 :: k1}. () => forall. (a ~ Esc (f a1), Esc f ~ Esc []) => DefaultUni (Esc a1) -> DefaultUni a Source #

pattern DefaultUniPair :: forall {a} {k1} {k2} {f1 :: k1 -> k2} {a1 :: k1} {k3} {k4} {f2 :: k3 -> k4} {a2 :: k3}. () => forall. (a ~ Esc (f1 a1), Esc f1 ~ Esc (f2 a2), Esc f2 ~ Esc (,)) => DefaultUni (Esc a2) -> DefaultUni (Esc a1) -> DefaultUni a Source #

pattern DefaultUniArray :: forall {a} {k1} {k2} {f :: k1 -> k2} {a1 :: k1}. () => forall. (a ~ Esc (f a1), Esc f ~ Esc Vector) => DefaultUni (Esc a1) -> DefaultUni a Source #

data DefaultFun Source #

Default built-in functions.

When updating these, make sure to add them to the protocol version listing! See Note [New builtins/language versions and protocol versions]

Constructors

AddInteger
SubtractInteger
MultiplyInteger
DivideInteger
QuotientInteger
RemainderInteger
ModInteger
EqualsInteger
LessThanInteger
LessThanEqualsInteger
AppendByteString
ConsByteString
SliceByteString
LengthOfByteString
IndexByteString
EqualsByteString
LessThanByteString
LessThanEqualsByteString
Sha2_256
Sha3_256
Blake2b_256
VerifyEd25519Signature
VerifyEcdsaSecp256k1Signature
VerifySchnorrSecp256k1Signature
AppendString
EqualsString
EncodeUtf8
DecodeUtf8
IfThenElse
ChooseUnit
Trace
FstPair
SndPair
ChooseList
MkCons
HeadList
TailList
NullList
ChooseData
ConstrData
MapData
ListData
IData
BData
UnConstrData
UnMapData
UnListData
UnIData
UnBData
EqualsData
SerialiseData
MkPairData
MkNilData
MkNilPairData
Bls12_381_G1_add
Bls12_381_G1_neg
Bls12_381_G1_scalarMul
Bls12_381_G1_equal
Bls12_381_G1_hashToGroup
Bls12_381_G1_compress
Bls12_381_G1_uncompress
Bls12_381_G2_add
Bls12_381_G2_neg
Bls12_381_G2_scalarMul
Bls12_381_G2_equal
Bls12_381_G2_hashToGroup
Bls12_381_G2_compress
Bls12_381_G2_uncompress
Bls12_381_millerLoop
Bls12_381_mulMlResult
Bls12_381_finalVerify
Keccak_256
Blake2b_224
IntegerToByteString
ByteStringToInteger
AndByteString
OrByteString
XorByteString
ComplementByteString
ReadBit
WriteBits
ReplicateByte
ShiftByteString
RotateByteString
CountSetBits
FindFirstSetBit
Ripemd_160
ExpModInteger
DropList
LengthOfArray
ListToArray
IndexArray
Bls12_381_G1_multiScalarMul
Bls12_381_G2_multiScalarMul
InsertCoin
LookupCoin
UnionValue
ValueContains
ValueData
UnValueData
ScaleValue

Instances

Instances details

Bounded DefaultFun Source #

Instance details

Methods

minBound :: DefaultFun Source #

maxBound :: DefaultFun Source #

Enum DefaultFun Source #

Instance details

Methods

succ :: DefaultFun -> DefaultFun Source #

pred :: DefaultFun -> DefaultFun Source #

toEnum :: Int -> DefaultFun Source #

fromEnum :: DefaultFun -> Int Source #

enumFrom :: DefaultFun -> [DefaultFun] Source #

enumFromThen :: DefaultFun -> DefaultFun -> [DefaultFun] Source #

enumFromTo :: DefaultFun -> DefaultFun -> [DefaultFun] Source #

enumFromThenTo :: DefaultFun -> DefaultFun -> DefaultFun -> [DefaultFun] Source #

Generic DefaultFun Source #

Instance details

Associated Types

type Rep DefaultFun

Instance details

type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "SerialiseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_neg" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_G1_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_equal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G1_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_uncompress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_add" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bls12_381_G2_neg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_equal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_uncompress" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_millerLoop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_mulMlResult" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_finalVerify" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Keccak_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_224" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IntegerToByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ByteStringToInteger" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "AndByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OrByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XorByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ComplementByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ReadBit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WriteBits" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ReplicateByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ShiftByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RotateByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CountSetBits" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FindFirstSetBit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Ripemd_160" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpModInteger" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DropList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfArray" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ListToArray" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IndexArray" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_multiScalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_multiScalarMul" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InsertCoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LookupCoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnionValue" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ValueContains" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ValueData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnValueData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScaleValue" 'PrefixI 'False) (U1 :: Type -> Type))))))))

Methods

from :: DefaultFun -> Rep DefaultFun x Source #

to :: Rep DefaultFun x -> DefaultFun Source #

Ix DefaultFun Source #

Instance details

Methods

range :: (DefaultFun, DefaultFun) -> [DefaultFun] Source #

index :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source #

unsafeIndex :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source #

inRange :: (DefaultFun, DefaultFun) -> DefaultFun -> Bool Source #

rangeSize :: (DefaultFun, DefaultFun) -> Int Source #

unsafeRangeSize :: (DefaultFun, DefaultFun) -> Int Source #

Show DefaultFun Source #

Instance details

Methods

showsPrec :: Int -> DefaultFun -> ShowS Source #

show :: DefaultFun -> String Source #

showList :: [DefaultFun] -> ShowS Source #

NFData DefaultFun Source #

Instance details

Methods

rnf :: DefaultFun -> () Source #

Eq DefaultFun Source #

Instance details

Methods

(==) :: DefaultFun -> DefaultFun -> Bool Source #

(/=) :: DefaultFun -> DefaultFun -> Bool Source #

Ord DefaultFun Source #

Instance details

Methods

compare :: DefaultFun -> DefaultFun -> Ordering Source #

(<) :: DefaultFun -> DefaultFun -> Bool Source #

(<=) :: DefaultFun -> DefaultFun -> Bool Source #

(>) :: DefaultFun -> DefaultFun -> Bool Source #

(>=) :: DefaultFun -> DefaultFun -> Bool Source #

max :: DefaultFun -> DefaultFun -> DefaultFun Source #

min :: DefaultFun -> DefaultFun -> DefaultFun Source #

Hashable DefaultFun Source #

Instance details

Methods

hashWithSalt :: Int -> DefaultFun -> Int

hash :: DefaultFun -> Int

Flat DefaultFun Source #

Instance details

Methods

encode :: DefaultFun -> Encoding

decode :: Get DefaultFun

size :: DefaultFun -> NumBits -> NumBits

ExMemoryUsage DefaultFun Source #

Instance details

Methods

memoryUsage :: DefaultFun -> CostRose Source #

Pretty DefaultFun Source #

Instance details

Methods

pretty :: DefaultFun -> Doc ann #

prettyList :: [DefaultFun] -> Doc ann #

uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun Source #

Instance details

Associated Types

type CostingPart uni DefaultFun
Instance details Defined in PlutusCore.Default.Builtins type CostingPart uni DefaultFun = BuiltinCostModel
data BuiltinSemanticsVariant DefaultFun
Instance details Defined in PlutusCore.Default.Builtins data BuiltinSemanticsVariant DefaultFun = DefaultFunSemanticsVariantA \| DefaultFunSemanticsVariantB \| DefaultFunSemanticsVariantC \| DefaultFunSemanticsVariantD \| DefaultFunSemanticsVariantE

Methods

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

PrettyBy PrettyConfigPlc DefaultFun Source #

Instance details

Methods

prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann #

prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #

Bounded (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

minBound :: BuiltinSemanticsVariant DefaultFun Source #

maxBound :: BuiltinSemanticsVariant DefaultFun Source #

Enum (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

succ :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source #

pred :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source #

toEnum :: Int -> BuiltinSemanticsVariant DefaultFun Source #

fromEnum :: BuiltinSemanticsVariant DefaultFun -> Int Source #

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

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

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

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

Generic (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Associated Types

type Rep (BuiltinSemanticsVariant DefaultFun)

Instance details

type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantE" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: BuiltinSemanticsVariant DefaultFun -> Rep (BuiltinSemanticsVariant DefaultFun) x Source #

to :: Rep (BuiltinSemanticsVariant DefaultFun) x -> BuiltinSemanticsVariant DefaultFun Source #

Show (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

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

show :: BuiltinSemanticsVariant DefaultFun -> String Source #

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

Default (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

def :: BuiltinSemanticsVariant DefaultFun #

NFData (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

rnf :: BuiltinSemanticsVariant DefaultFun -> () Source #

Eq (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

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

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

Ord (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

NoThunks (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

noThunks :: Context -> BuiltinSemanticsVariant DefaultFun -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> BuiltinSemanticsVariant DefaultFun -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy (BuiltinSemanticsVariant DefaultFun) -> String

Pretty (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

Methods

pretty :: BuiltinSemanticsVariant DefaultFun -> Doc ann #

prettyList :: [BuiltinSemanticsVariant DefaultFun] -> Doc ann #

type Rep DefaultFun Source #

Instance details

type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "SerialiseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_neg" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_G1_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_equal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G1_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_uncompress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_add" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bls12_381_G2_neg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_equal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_uncompress" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_millerLoop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_mulMlResult" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_finalVerify" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Keccak_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_224" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IntegerToByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ByteStringToInteger" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "AndByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OrByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XorByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ComplementByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ReadBit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WriteBits" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ReplicateByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ShiftByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RotateByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CountSetBits" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FindFirstSetBit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Ripemd_160" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpModInteger" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DropList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfArray" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ListToArray" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IndexArray" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_multiScalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_multiScalarMul" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InsertCoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LookupCoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnionValue" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ValueContains" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ValueData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnValueData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScaleValue" 'PrefixI 'False) (U1 :: Type -> Type))))))))

data BuiltinSemanticsVariant DefaultFun Source #

Instance details

data BuiltinSemanticsVariant DefaultFun

= DefaultFunSemanticsVariantA
| DefaultFunSemanticsVariantB
| DefaultFunSemanticsVariantC
| DefaultFunSemanticsVariantD
| DefaultFunSemanticsVariantE

type CostingPart uni DefaultFun Source #

Instance details

type CostingPart uni DefaultFun = BuiltinCostModel

type Rep (BuiltinSemanticsVariant DefaultFun) Source #

Instance details

type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantE" 'PrefixI 'False) (U1 :: Type -> Type))))

AST

data Term tyname name (uni :: Type -> Type) fun ann Source #

Constructors

Var ann name	a named variable
LamAbs ann name (Type tyname uni ann) (Term tyname name uni fun ann)	lambda abstraction
Apply ann (Term tyname name uni fun ann) (Term tyname name uni fun ann)	application
TyAbs ann tyname (Kind ann) (Term tyname name uni fun ann)	type abstraction
TyInst ann (Term tyname name uni fun ann) (Type tyname uni ann)	instantiation
IWrap ann (Type tyname uni ann) (Type tyname uni ann) (Term tyname name uni fun ann)	wrapping
Unwrap ann (Term tyname name uni fun ann)	unwrapping See Note [Constr tag type]
Constr ann (Type tyname uni ann) Word64 [Term tyname name uni fun ann]	constructor
Case ann (Type tyname uni ann) (Term tyname name uni fun ann) [Term tyname name uni fun ann]	case
Constant ann (Some (ValueOf uni))	constants
Builtin ann fun	builtin functions
Error ann (Type tyname uni ann)	fail with error

Instances

Instances details

name ~ Name => Reference Name (Term tyname name uni fun) Source #

Instance details

Methods

referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #

tyname ~ TyName => Reference TyName (Term tyname name uni fun) Source #

Instance details

Methods

referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #

DefaultPrettyPlcStrategy (Term tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigPlc -> Term tyname name uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [Term tyname name uni fun ann] -> Doc ann0 #

(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #

(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a) Source #

Instance details

Defined in PlutusCore.Core.Instance.Pretty.Readable

Methods

prettyBy :: PrettyConfigReadable configName -> Term tyname name uni fun a -> Doc ann #

prettyListBy :: PrettyConfigReadable configName -> [Term tyname name uni fun a] -> Doc ann #

Functor (Term tyname name uni fun) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

fmap :: (a -> b) -> Term tyname name uni fun a -> Term tyname name uni fun b Source #

(<$) :: a -> Term tyname name uni fun b -> Term tyname name uni fun a Source #

(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Term tyname name uni fun) Source #

Instance details

Methods

collectScopeInfo :: Term tyname name uni fun NameAnn -> ScopeErrorOrInfo Source #

(tyname ~ TyName, name ~ Name) => EstablishScoping (Term tyname name uni fun) Source #

Instance details

Methods

establishScoping :: Term tyname name uni fun ann -> Quote (Term tyname name uni fun NameAnn) Source #

TermLike (Term tyname name uni fun) tyname name uni fun Source #

Instance details

Defined in PlutusCore.MkPlc

Methods

var :: ann -> name -> Term tyname name uni fun ann Source #

tyAbs :: ann -> tyname -> Kind ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

lamAbs :: ann -> name -> Type tyname uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

apply :: ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

constant :: ann -> Some (ValueOf uni) -> Term tyname name uni fun ann Source #

builtin :: ann -> fun -> Term tyname name uni fun ann Source #

tyInst :: ann -> Term tyname name uni fun ann -> Type tyname uni ann -> Term tyname name uni fun ann Source #

unwrap :: ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

iWrap :: ann -> Type tyname uni ann -> Type tyname uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

error :: ann -> Type tyname uni ann -> Term tyname name uni fun ann Source #

constr :: ann -> Type tyname uni ann -> Word64 -> [Term tyname name uni fun ann] -> Term tyname name uni fun ann Source #

kase :: ann -> Type tyname uni ann -> Term tyname name uni fun ann -> [Term tyname name uni fun ann] -> Term tyname name uni fun ann Source #

termLet :: ann -> TermDef (Term tyname name uni fun) tyname name uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

typeLet :: ann -> TypeDef tyname uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #

Generic (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Term tyname name uni fun ann)

Instance details

Defined in PlutusCore.Core.Type

Methods

from :: Term tyname name uni fun ann -> Rep (Term tyname name uni fun ann) x Source #

to :: Rep (Term tyname name uni fun ann) x -> Term tyname name uni fun ann Source #

(Show tyname, Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

showsPrec :: Int -> Term tyname name uni fun ann -> ShowS Source #

show :: Term tyname name uni fun ann -> String Source #

showList :: [Term tyname name uni fun ann] -> ShowS Source #

(NFData tyname, NFData name, NFData fun, NFData ann, Everywhere uni NFData, Closed uni) => NFData (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

rnf :: Term tyname name uni fun ann -> () Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #

(/=) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #

(/=) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann) Source #

Instance details

Methods

(==) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #

(/=) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #

(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (Term tyname name uni fun ann)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Term tyname name uni fun ann -> Encoding

decode :: Get (Term tyname name uni fun ann)

size :: Term tyname name uni fun ann -> NumBits -> NumBits

HasConstant (Term TyName Name uni fun ()) Source #

Instance details

Defined in PlutusCore.Builtin.HasConstant

Methods

asConstant :: Term TyName Name uni fun () -> Either BuiltinError (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source #

fromConstant :: Some (ValueOf (UniOf (Term TyName Name uni fun ()))) -> Term TyName Name uni fun () Source #

ExMemoryUsage (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

memoryUsage :: Term tyname name uni fun ann -> CostRose Source #

HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Rename

Methods

rename :: MonadQuote m => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source #

Instance details

Methods

pretty :: Term tyname name uni fun ann -> Doc ann0 #

prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #

type Rep (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type HasUniques (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)

type UniOf (Term tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type UniOf (Term tyname name uni fun ann) = uni

termSubterms :: forall tyname name (uni :: Type -> Type) fun ann f. Applicative f => (Term tyname name uni fun ann -> f (Term tyname name uni fun ann)) -> Term tyname name uni fun ann -> f (Term tyname name uni fun ann) Source #

Get all the direct child Terms of the given Term.

termSubtypes :: forall tyname name (uni :: Type -> Type) fun ann f. Applicative f => (Type tyname uni ann -> f (Type tyname uni ann)) -> Term tyname name uni fun ann -> f (Term tyname name uni fun ann) Source #

Get all the direct child Types of the given Term.

termMapNames :: forall tyname tyname' name name' (uni :: Type -> Type) fun ann. (tyname -> tyname') -> (name -> name') -> Term tyname name uni fun ann -> Term tyname' name' uni fun ann Source #

programMapNames :: forall tyname tyname' name name' (uni :: Type -> Type) fun ann. (tyname -> tyname') -> (name -> name') -> Program tyname name uni fun ann -> Program tyname' name' uni fun ann Source #

type family UniOf a :: Type -> Type Source #

Extract the universe from a type.

Instances

Instances details

type UniOf (Opaque val rep) Source #
Instance details Defined in PlutusCore.Builtin.Polymorphism type UniOf (Opaque val rep) = UniOf val
type UniOf (SomeConstant uni rep) Source #
Instance details Defined in PlutusCore.Builtin.Polymorphism type UniOf (SomeConstant uni rep) = uni
type UniOf (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck type UniOf (CkValue uni fun) = uni
type UniOf (CekValue uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal type UniOf (CekValue uni fun ann) = uni
type UniOf (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type UniOf (Term name uni fun ann) = uni
type UniOf (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type UniOf (Term tyname name uni fun ann) = uni

data Type tyname (uni :: Type -> Type) ann Source #

A Type assigned to expressions.

Constructors

TyVar ann tyname	Type variable
TyFun ann (Type tyname uni ann) (Type tyname uni ann)	Function type
TyIFix ann (Type tyname uni ann) (Type tyname uni ann)	Fix-point type, for constructing self-recursive types
TyForall ann tyname (Kind ann) (Type tyname uni ann)	Polymorphic type
TyBuiltin ann (SomeTypeIn uni)	Builtin type
TyLam ann tyname (Kind ann) (Type tyname uni ann)	Type lambda
TyApp ann (Type tyname uni ann) (Type tyname uni ann)	Type application
TySOP ann [[Type tyname uni ann]]	Sum-of-products type

Instances

Instances details

tyname ~ TyName => Reference TyName (Type tyname uni) Source #

Instance details

Methods

referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> TyName -> Type tyname uni NameAnn -> Type tyname uni NameAnn Source #

DefaultPrettyPlcStrategy (Type tyname uni ann) => PrettyBy PrettyConfigPlc (Type tyname uni ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigPlc -> Type tyname uni ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [Type tyname uni ann] -> Doc ann0 #

(PrettyClassicBy configName tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigClassic configName -> Type tyname uni ann -> Doc ann0 #

prettyListBy :: PrettyConfigClassic configName -> [Type tyname uni ann] -> Doc ann0 #

(PrettyReadableBy configName tyname, PrettyParens (SomeTypeIn uni)) => PrettyBy (PrettyConfigReadable configName) (Type tyname uni a) Source #

Instance details

Defined in PlutusCore.Core.Instance.Pretty.Readable

Methods

prettyBy :: PrettyConfigReadable configName -> Type tyname uni a -> Doc ann #

prettyListBy :: PrettyConfigReadable configName -> [Type tyname uni a] -> Doc ann #

Functor (Type tyname uni) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

fmap :: (a -> b) -> Type tyname uni a -> Type tyname uni b Source #

(<$) :: a -> Type tyname uni b -> Type tyname uni a Source #

tyname ~ TyName => CollectScopeInfo (Type tyname uni) Source #

Instance details

Methods

collectScopeInfo :: Type tyname uni NameAnn -> ScopeErrorOrInfo Source #

tyname ~ TyName => EstablishScoping (Type tyname uni) Source #

Instance details

Methods

establishScoping :: Type tyname uni ann -> Quote (Type tyname uni NameAnn) Source #

Generic (Type tyname uni ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Type tyname uni ann)

Instance details

Defined in PlutusCore.Core.Type

Methods

from :: Type tyname uni ann -> Rep (Type tyname uni ann) x Source #

to :: Rep (Type tyname uni ann) x -> Type tyname uni ann Source #

(GShow uni, Show tyname, Show ann) => Show (Type tyname uni ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

showsPrec :: Int -> Type tyname uni ann -> ShowS Source #

show :: Type tyname uni ann -> String Source #

showList :: [Type tyname uni ann] -> ShowS Source #

(NFData ann, NFData tyname, Closed uni) => NFData (Type tyname uni ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

rnf :: Type tyname uni ann -> () Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type NamedTyDeBruijn uni ann) Source #

Instance details

Methods

(==) :: Type NamedTyDeBruijn uni ann -> Type NamedTyDeBruijn uni ann -> Bool Source #

(/=) :: Type NamedTyDeBruijn uni ann -> Type NamedTyDeBruijn uni ann -> Bool Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type TyDeBruijn uni ann) Source #

Instance details

Methods

(==) :: Type TyDeBruijn uni ann -> Type TyDeBruijn uni ann -> Bool Source #

(/=) :: Type TyDeBruijn uni ann -> Type TyDeBruijn uni ann -> Bool Source #

(GEq uni, Eq ann) => Eq (Type TyName uni ann) Source #

Instance details

Methods

(==) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source #

(/=) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source #

(Closed uni, Flat ann, Flat tyname) => Flat (Type tyname uni ann)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Type tyname uni ann -> Encoding

decode :: Get (Type tyname uni ann)

size :: Type tyname uni ann -> NumBits -> NumBits

HasUniques (Type tyname uni ann) => Rename (Type tyname uni ann) Source #

Instance details

Defined in PlutusCore.Rename

Methods

rename :: MonadQuote m => Type tyname uni ann -> m (Type tyname uni ann) Source #

(PrettyClassic tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => Pretty (Type tyname uni ann) Source #

Instance details

Methods

pretty :: Type tyname uni ann -> Doc ann0 #

prettyList :: [Type tyname uni ann] -> Doc ann0 #

type Rep (Type tyname uni ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type HasUniques (Type tyname uni ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type HasUniques (Type tyname uni ann) = HasUnique tyname TypeUnique

typeSubtypes :: forall tyname (uni :: Type -> Type) ann f. Applicative f => (Type tyname uni ann -> f (Type tyname uni ann)) -> Type tyname uni ann -> f (Type tyname uni ann) Source #

Get all the direct child Types of the given Type.

typeMapNames :: forall tyname tyname' (uni :: Type -> Type) ann. (tyname -> tyname') -> Type tyname uni ann -> Type tyname' uni ann Source #

data Kind ann Source #

Constructors

Type ann
KindArrow ann (Kind ann) (Kind ann)

Instances

Instances details

Functor Kind Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

fmap :: (a -> b) -> Kind a -> Kind b Source #

(<$) :: a -> Kind b -> Kind a Source #

CollectScopeInfo Kind Source #

Instance details

Methods

collectScopeInfo :: Kind NameAnn -> ScopeErrorOrInfo Source #

EstablishScoping Kind Source #

Instance details

Methods

establishScoping :: Kind ann -> Quote (Kind NameAnn) Source #

DefaultPrettyPlcStrategy (Kind ann) => PrettyBy PrettyConfigPlc (Kind ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigPlc -> Kind ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [Kind ann] -> Doc ann0 #

Lift ann => Lift (Kind ann :: Type) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

lift :: Quote m => Kind ann -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => Kind ann -> Code m (Kind ann) Source #

Generic (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Kind ann)

Instance details

Defined in PlutusCore.Core.Type

type Rep (Kind ann) = D1 ('MetaData "Kind" "PlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)) :+: C1 ('MetaCons "KindArrow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))

Methods

from :: Kind ann -> Rep (Kind ann) x Source #

to :: Rep (Kind ann) x -> Kind ann Source #

Show ann => Show (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

showsPrec :: Int -> Kind ann -> ShowS Source #

show :: Kind ann -> String Source #

showList :: [Kind ann] -> ShowS Source #

NFData ann => NFData (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

rnf :: Kind ann -> () Source #

Eq ann => Eq (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

(==) :: Kind ann -> Kind ann -> Bool Source #

(/=) :: Kind ann -> Kind ann -> Bool Source #

Hashable ann => Hashable (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

hashWithSalt :: Int -> Kind ann -> Int

hash :: Kind ann -> Int

Flat ann => Flat (Kind ann)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Kind ann -> Encoding

decode :: Get (Kind ann)

size :: Kind ann -> NumBits -> NumBits

Pretty ann => Pretty (Kind ann) Source #

Instance details

Methods

pretty :: Kind ann -> Doc ann0 #

prettyList :: [Kind ann] -> Doc ann0 #

Pretty ann => PrettyBy (PrettyConfigClassic configName) (Kind ann) Source #

Instance details

ShowErrorComponent ParserError Source #

Methods

prettyBy :: PrettyConfigClassic configName -> Kind ann -> Doc ann0 #

prettyListBy :: PrettyConfigClassic configName -> [Kind ann] -> Doc ann0 #

PrettyBy (PrettyConfigReadable configName) (Kind a) Source #

Instance details

Defined in PlutusCore.Core.Instance.Pretty.Readable

Methods

prettyBy :: PrettyConfigReadable configName -> Kind a -> Doc ann #

prettyListBy :: PrettyConfigReadable configName -> [Kind a] -> Doc ann #

type Rep (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type Rep (Kind ann) = D1 ('MetaData "Kind" "PlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)) :+: C1 ('MetaCons "KindArrow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))

type HasUniques (Kind ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type HasUniques (Kind ann) = ()

toPatFuncKind :: Kind () -> Kind () Source #

The kind of a pattern functor (the first Type argument of TyIFix) at a given kind (of the second Type argument of TyIFix):

toPatFuncKind k = (k -> *) -> k -> *

fromPatFuncKind :: Kind () -> Maybe (Kind ()) Source #

argsFunKind :: Kind ann -> [Kind ann] Source #

Extract all a_i from a_0 -> a_1 -> ... -> r.

data ParserError Source #

An error encountered during parsing.

Constructors

BuiltinTypeNotAStar !Text !SourcePos
UnknownBuiltinFunction !Text !SourcePos ![Text]
InvalidBuiltinConstant !Text !Text !SourcePos

Instances

Instances details

Generic ParserError Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep ParserError

Instance details

Defined in PlutusCore.Error

Methods

from :: ParserError -> Rep ParserError x Source #

to :: Rep ParserError x -> ParserError Source #

Show ParserError Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> ParserError -> ShowS Source #

show :: ParserError -> String Source #

showList :: [ParserError] -> ShowS Source #

NFData ParserError Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: ParserError -> () Source #

Eq ParserError Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: ParserError -> ParserError -> Bool Source #

(/=) :: ParserError -> ParserError -> Bool Source #

Ord ParserError Source #

Instance details

Defined in PlutusCore.Error

Methods

compare :: ParserError -> ParserError -> Ordering Source #

(<) :: ParserError -> ParserError -> Bool Source #

(<=) :: ParserError -> ParserError -> Bool Source #

(>) :: ParserError -> ParserError -> Bool Source #

(>=) :: ParserError -> ParserError -> Bool Source #

max :: ParserError -> ParserError -> ParserError Source #

min :: ParserError -> ParserError -> ParserError Source #

Instance details

Defined in PlutusCore.Error

Methods

showErrorComponent :: ParserError -> String #

errorComponentLen :: ParserError -> Int #

Pretty ParserError Source #

Instance details

Defined in PlutusCore.Error

Methods

pretty :: ParserError -> Doc ann #

prettyList :: [ParserError] -> Doc ann #

type Rep ParserError Source #

Instance details

Defined in PlutusCore.Error

data Version Source #

The version of Plutus Core used by this program.

The intention is to convey different levels of backwards compatibility for existing scripts: - Major version changes are backwards-incompatible - Minor version changes are backwards-compatible - Patch version changes should be entirely invisible (and we will likely not use this level)

The version used should be changed only when the language itself changes. For example, adding a new kind of term to the language would require a minor version bump; removing a kind of term would require a major version bump.

Similarly, changing the semantics of the language will require a version bump, typically a major one. This is the main reason why the version is actually tracked in the AST: we can have two language versions with identical ASTs but different semantics, so we need to track the version explicitly.

Compatibility is about compatibility for specific scripts, not about e.g. tools which consume scripts. Adding a new kind of term does not change how existing scripts behave, but does change what tools would need to do to process scripts.

Constructors

Version
Fields _versionMajor :: Natural _versionMinor :: Natural _versionPatch :: Natural

Instances

Instances details

Generic Version Source #

Instance details

Defined in PlutusCore.Version

Associated Types

type Rep Version

Instance details

Defined in PlutusCore.Version

type Rep Version = D1 ('MetaData "Version" "PlutusCore.Version" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "_versionMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_versionMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_versionPatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))))

Methods

from :: Version -> Rep Version x Source #

to :: Rep Version x -> Version Source #

Show Version Source #

Instance details

Defined in PlutusCore.Version

Methods

showsPrec :: Int -> Version -> ShowS Source #

show :: Version -> String Source #

showList :: [Version] -> ShowS Source #

NFData Version Source #

Instance details

Defined in PlutusCore.Version

Methods

rnf :: Version -> () Source #

Eq Version Source #

Instance details

Defined in PlutusCore.Version

Methods

(==) :: Version -> Version -> Bool Source #

(/=) :: Version -> Version -> Bool Source #

Ord Version Source #

Instance details

Defined in PlutusCore.Version

Methods

compare :: Version -> Version -> Ordering Source #

(<) :: Version -> Version -> Bool Source #

(<=) :: Version -> Version -> Bool Source #

(>) :: Version -> Version -> Bool Source #

(>=) :: Version -> Version -> Bool Source #

max :: Version -> Version -> Version Source #

min :: Version -> Version -> Version Source #

Hashable Version Source #

Instance details

Defined in PlutusCore.Version

Methods

hashWithSalt :: Int -> Version -> Int

hash :: Version -> Int

Flat Version

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Version -> Encoding

decode :: Get Version

size :: Version -> NumBits -> NumBits

Pretty Version Source #

Instance details

Defined in PlutusCore.Version

Methods

pretty :: Version -> Doc ann #

prettyList :: [Version] -> Doc ann #

type Rep Version Source #

Instance details

Defined in PlutusCore.Version

type Rep Version = D1 ('MetaData "Version" "PlutusCore.Version" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "_versionMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_versionMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_versionPatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))))

data Program tyname name (uni :: Type -> Type) fun ann Source #

A Program is simply a Term coupled with a Version of the core language.

Constructors

Program
Fields _progAnn :: ann _progVer :: Version _progTerm :: Term tyname name uni fun ann

Instances

Instances details

DefaultPrettyPlcStrategy (Program tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigPlc -> Program tyname name uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [Program tyname name uni fun ann] -> Doc ann0 #

(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #

Instance details

Methods

prettyBy :: PrettyConfigClassic configName -> Program tyname name uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigClassic configName -> [Program tyname name uni fun ann] -> Doc ann0 #

PrettyReadableBy configName (Term tyname name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a) Source #

Instance details

Defined in PlutusCore.Core.Instance.Pretty.Readable

Methods

prettyBy :: PrettyConfigReadable configName -> Program tyname name uni fun a -> Doc ann #

prettyListBy :: PrettyConfigReadable configName -> [Program tyname name uni fun a] -> Doc ann #

Functor (Program tyname name uni fun) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

fmap :: (a -> b) -> Program tyname name uni fun a -> Program tyname name uni fun b Source #

(<$) :: a -> Program tyname name uni fun b -> Program tyname name uni fun a Source #

(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Program tyname name uni fun) Source #

Instance details

Methods

collectScopeInfo :: Program tyname name uni fun NameAnn -> ScopeErrorOrInfo Source #

(tyname ~ TyName, name ~ Name) => EstablishScoping (Program tyname name uni fun) Source #

Instance details

Methods

establishScoping :: Program tyname name uni fun ann -> Quote (Program tyname name uni fun NameAnn) Source #

Generic (Program tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Program tyname name uni fun ann)

Instance details

Defined in PlutusCore.Core.Type

type Rep (Program tyname name uni fun ann) = D1 ('MetaData "Program" "PlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Program" 'PrefixI 'True) (S1 ('MetaSel ('Just "_progAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Just "_progVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version) :*: S1 ('MetaSel ('Just "_progTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))))

Methods

from :: Program tyname name uni fun ann -> Rep (Program tyname name uni fun ann) x Source #

to :: Rep (Program tyname name uni fun ann) x -> Program tyname name uni fun ann Source #

(Show tyname, Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Program tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

showsPrec :: Int -> Program tyname name uni fun ann -> ShowS Source #

show :: Program tyname name uni fun ann -> String Source #

showList :: [Program tyname name uni fun ann] -> ShowS Source #

(NFData tyname, NFData name, Everywhere uni NFData, NFData fun, NFData ann, Closed uni) => NFData (Program tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

rnf :: Program tyname name uni fun ann -> () Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann, Eq (Term tyname name uni fun ann)) => Eq (Program tyname name uni fun ann) Source #

Instance details

Methods

(==) :: Program tyname name uni fun ann -> Program tyname name uni fun ann -> Bool Source #

(/=) :: Program tyname name uni fun ann -> Program tyname name uni fun ann -> Bool Source #

(Flat ann, Flat (Term tyname name uni fun ann)) => Flat (Program tyname name uni fun ann)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Program tyname name uni fun ann -> Encoding

decode :: Get (Program tyname name uni fun ann)

size :: Program tyname name uni fun ann -> NumBits -> NumBits

HasUniques (Program tyname name uni fun ann) => Rename (Program tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Rename

Methods

rename :: MonadQuote m => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source #

Instance details

Methods

pretty :: Program tyname name uni fun ann -> Doc ann0 #

prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #

type Rep (Program tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type Rep (Program tyname name uni fun ann) = D1 ('MetaData "Program" "PlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Program" 'PrefixI 'True) (S1 ('MetaSel ('Just "_progAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Just "_progVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version) :*: S1 ('MetaSel ('Just "_progTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))))

type HasUniques (Program tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Core.Type

type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)

data Name Source #

A Name represents variables/names in Plutus Core.

Constructors

Name
Fields _nameText :: Text The identifier name, for use in error messages. _nameUnique :: Unique A `Unique` assigned to the name, allowing for cheap comparisons in the compiler.

Instances

Instances details

Generic Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Associated Types

type Rep Name

Instance details

Defined in PlutusCore.Name.Unique

type Rep Name = D1 ('MetaData "Name" "PlutusCore.Name.Unique" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "_nameText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_nameUnique") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique)))

Methods

from :: Name -> Rep Name x Source #

to :: Rep Name x -> Name Source #

Show Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

showsPrec :: Int -> Name -> ShowS Source #

show :: Name -> String Source #

showList :: [Name] -> ShowS Source #

NFData Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

rnf :: Name -> () Source #

Eq Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

(==) :: Name -> Name -> Bool Source #

(/=) :: Name -> Name -> Bool Source #

Ord Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

compare :: Name -> Name -> Ordering Source #

(<) :: Name -> Name -> Bool Source #

(<=) :: Name -> Name -> Bool Source #

(>) :: Name -> Name -> Bool Source #

(>=) :: Name -> Name -> Bool Source #

max :: Name -> Name -> Name Source #

min :: Name -> Name -> Name Source #

Hashable Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSalt :: Int -> Name -> Int

hash :: Name -> Int

Flat Name

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Name -> Encoding

decode :: Get Name

size :: Name -> NumBits -> NumBits

ToScopedName Name Source #

Instance details

Defined in PlutusCore.Check.Scoping

Methods

toScopedName :: Name -> ScopedName Source #

HasText Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

theText :: Lens' Name Text Source #

Pretty Name Source #

Instance details

Methods

pretty :: Name -> Doc ann #

prettyList :: [Name] -> Doc ann #

HasUnique Name TermUnique Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

unique :: Lens' Name TermUnique Source #

HasPrettyConfigName config => PrettyBy config Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

prettyBy :: config -> Name -> Doc ann #

prettyListBy :: config -> [Name] -> Doc ann #

Lift Name Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

lift :: Quote m => Name -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => Name -> Code m Name Source #

name ~ Name => Reference Name (Term name uni fun) Source #

Instance details

Defined in UntypedPlutusCore.Core.Instance.Scoping

Methods

referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term name uni fun NameAnn -> Term name uni fun NameAnn Source #

name ~ Name => Reference Name (Term tyname name uni fun) Source #

Instance details

Methods

referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #

Flat (Binder Name)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Binder Name -> Encoding

decode :: Get (Binder Name)

size :: Binder Name -> NumBits -> NumBits

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term Name uni fun ann) Source #

Instance details

Methods

(==) :: Term Name uni fun ann -> Term Name uni fun ann -> Bool Source #

(/=) :: Term Name uni fun ann -> Term Name uni fun ann -> Bool Source #

HashableTermConstraints uni fun ann => Hashable (Term Name uni fun ann) Source #

Instance details

Methods

hashWithSalt :: Int -> Term Name uni fun ann -> Int

hash :: Term Name uni fun ann -> Int

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann) Source #

Instance details

Methods

(==) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #

(/=) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #

HasConstant (Term TyName Name uni fun ()) Source #

Instance details

Defined in PlutusCore.Builtin.HasConstant

Methods

asConstant :: Term TyName Name uni fun () -> Either BuiltinError (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source #

fromConstant :: Some (ValueOf (UniOf (Term TyName Name uni fun ()))) -> Term TyName Name uni fun () Source #

type Rep Name Source #

Instance details

Defined in PlutusCore.Name.Unique

type Rep Name = D1 ('MetaData "Name" "PlutusCore.Name.Unique" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "_nameText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "_nameUnique") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique)))

newtype TyName Source #

We use a newtype to enforce separation between names used for types and those used for terms.

Constructors

TyName
Fields unTyName :: Name

Instances

Instances details

Generic TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Associated Types

type Rep TyName
Instance details Defined in PlutusCore.Name.Unique type Rep TyName = D1 ('MetaData "TyName" "PlutusCore.Name.Unique" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "TyName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))

Methods

from :: TyName -> Rep TyName x Source #

to :: Rep TyName x -> TyName Source #

Show TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

showsPrec :: Int -> TyName -> ShowS Source #

show :: TyName -> String Source #

showList :: [TyName] -> ShowS Source #

NFData TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

rnf :: TyName -> () Source #

Eq TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

(==) :: TyName -> TyName -> Bool Source #

(/=) :: TyName -> TyName -> Bool Source #

Ord TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

compare :: TyName -> TyName -> Ordering Source #

(<) :: TyName -> TyName -> Bool Source #

(<=) :: TyName -> TyName -> Bool Source #

(>) :: TyName -> TyName -> Bool Source #

(>=) :: TyName -> TyName -> Bool Source #

max :: TyName -> TyName -> TyName Source #

min :: TyName -> TyName -> TyName Source #

Hashable TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSalt :: Int -> TyName -> Int

hash :: TyName -> Int

Wrapped TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Associated Types

type Unwrapped TyName
Instance details Defined in PlutusCore.Name.Unique type Unwrapped TyName = GUnwrapped (Rep TyName)

Methods

_Wrapped' :: Iso' TyName (Unwrapped TyName)

Flat TyName

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: TyName -> Encoding

decode :: Get TyName

size :: TyName -> NumBits -> NumBits

ToScopedName TyName Source #

Instance details

Defined in PlutusCore.Check.Scoping

Methods

toScopedName :: TyName -> ScopedName Source #

HasText TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

theText :: Lens' TyName Text Source #

Pretty TyName Source #

Instance details

Methods

pretty :: TyName -> Doc ann #

prettyList :: [TyName] -> Doc ann #

HasUnique TyName TypeUnique Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

unique :: Lens' TyName TypeUnique Source #

HasPrettyConfigName config => PrettyBy config TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

prettyBy :: config -> TyName -> Doc ann #

prettyListBy :: config -> [TyName] -> Doc ann #

Lift TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

Methods

lift :: Quote m => TyName -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => TyName -> Code m TyName Source #

tyname ~ TyName => Reference TyName (Type tyname uni) Source #

Instance details

Methods

referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> TyName -> Type tyname uni NameAnn -> Type tyname uni NameAnn Source #

tyname ~ TyName => Reference TyName (Term tyname name uni fun) Source #

Instance details

Methods

referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #

Flat (Binder TyName)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Binder TyName -> Encoding

decode :: Get (Binder TyName)

size :: Binder TyName -> NumBits -> NumBits

(GEq uni, Eq ann) => Eq (Type TyName uni ann) Source #

Instance details

Methods

(==) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source #

(/=) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source #

TermLike (Term name uni fun) TyName name uni fun Source #

Instance details

Defined in UntypedPlutusCore.Core.Type

Methods

var :: ann -> name -> Term name uni fun ann Source #

tyAbs :: ann -> TyName -> Kind ann -> Term name uni fun ann -> Term name uni fun ann Source #

lamAbs :: ann -> name -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source #

apply :: ann -> Term name uni fun ann -> Term name uni fun ann -> Term name uni fun ann Source #

constant :: ann -> Some (ValueOf uni) -> Term name uni fun ann Source #

builtin :: ann -> fun -> Term name uni fun ann Source #

tyInst :: ann -> Term name uni fun ann -> Type TyName uni ann -> Term name uni fun ann Source #

unwrap :: ann -> Term name uni fun ann -> Term name uni fun ann Source #

iWrap :: ann -> Type TyName uni ann -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source #

error :: ann -> Type TyName uni ann -> Term name uni fun ann Source #

constr :: ann -> Type TyName uni ann -> Word64 -> [Term name uni fun ann] -> Term name uni fun ann Source #

kase :: ann -> Type TyName uni ann -> Term name uni fun ann -> [Term name uni fun ann] -> Term name uni fun ann Source #

termLet :: ann -> TermDef (Term name uni fun) TyName name uni ann -> Term name uni fun ann -> Term name uni fun ann Source #

typeLet :: ann -> TypeDef TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann) Source #

Instance details

Methods

(==) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #

(/=) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #

HasConstant (Term TyName Name uni fun ()) Source #

Instance details

Defined in PlutusCore.Builtin.HasConstant

Methods

asConstant :: Term TyName Name uni fun () -> Either BuiltinError (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source #

fromConstant :: Some (ValueOf (UniOf (Term TyName Name uni fun ()))) -> Term TyName Name uni fun () Source #

type Rep TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

type Rep TyName = D1 ('MetaData "TyName" "PlutusCore.Name.Unique" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "TyName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))

type Unwrapped TyName Source #

Instance details

Defined in PlutusCore.Name.Unique

type Unwrapped TyName = GUnwrapped (Rep TyName)

newtype Unique Source #

A unique identifier This is normally a positive integral number, except in topUnique where we make use of a negative unique to signify top-level.

Constructors

Unique
Fields unUnique :: Int

Instances

Instances details

Enum Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods succ :: Unique -> Unique Source # pred :: Unique -> Unique Source # toEnum :: Int -> Unique Source # fromEnum :: Unique -> Int Source # enumFrom :: Unique -> [Unique] Source # enumFromThen :: Unique -> Unique -> [Unique] Source # enumFromTo :: Unique -> Unique -> [Unique] Source # enumFromThenTo :: Unique -> Unique -> Unique -> [Unique] Source #
Show Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods showsPrec :: Int -> Unique -> ShowS Source # show :: Unique -> String Source # showList :: [Unique] -> ShowS Source #
NFData Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods rnf :: Unique -> () Source #
Eq Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods (==) :: Unique -> Unique -> Bool Source # (/=) :: Unique -> Unique -> Bool Source #
Ord Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods compare :: Unique -> Unique -> Ordering Source # (<) :: Unique -> Unique -> Bool Source # (<=) :: Unique -> Unique -> Bool Source # (>) :: Unique -> Unique -> Bool Source # (>=) :: Unique -> Unique -> Bool Source # max :: Unique -> Unique -> Unique Source # min :: Unique -> Unique -> Unique Source #
Hashable Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt :: Int -> Unique -> Int hash :: Unique -> Int
Flat Unique
Instance details Defined in PlutusCore.FlatInstances Methods encode :: Unique -> Encoding decode :: Get Unique size :: Unique -> NumBits -> NumBits
Pretty Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods pretty :: Unique -> Doc ann # prettyList :: [Unique] -> Doc ann #
HasUnique Unique Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods unique :: Lens' Unique Unique Source #
Lift Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods lift :: Quote m => Unique -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => Unique -> Code m Unique Source #

newtype UniqueMap unique a Source #

A mapping from Uniques to arbitrary values of type a. Since Unique is equivalent to Int (see PlutusCore.Name.Unique), we can use an IntMap representation for this type.

Constructors

UniqueMap
Fields unUniqueMap :: IntMap a

Instances

Instances details

Foldable (UniqueMap unique) Source #
Instance details Defined in PlutusCore.Name.UniqueMap Methods fold :: Monoid m => UniqueMap unique m -> m Source # foldMap :: Monoid m => (a -> m) -> UniqueMap unique a -> m Source # foldMap' :: Monoid m => (a -> m) -> UniqueMap unique a -> m Source # foldr :: (a -> b -> b) -> b -> UniqueMap unique a -> b Source # foldr' :: (a -> b -> b) -> b -> UniqueMap unique a -> b Source # foldl :: (b -> a -> b) -> b -> UniqueMap unique a -> b Source # foldl' :: (b -> a -> b) -> b -> UniqueMap unique a -> b Source # foldr1 :: (a -> a -> a) -> UniqueMap unique a -> a Source # foldl1 :: (a -> a -> a) -> UniqueMap unique a -> a Source # toList :: UniqueMap unique a -> [a] Source # null :: UniqueMap unique a -> Bool Source # length :: UniqueMap unique a -> Int Source # elem :: Eq a => a -> UniqueMap unique a -> Bool Source # maximum :: Ord a => UniqueMap unique a -> a Source # minimum :: Ord a => UniqueMap unique a -> a Source # sum :: Num a => UniqueMap unique a -> a Source # product :: Num a => UniqueMap unique a -> a Source #
Functor (UniqueMap unique) Source #
Instance details Defined in PlutusCore.Name.UniqueMap Methods fmap :: (a -> b) -> UniqueMap unique a -> UniqueMap unique b Source # (<$) :: a -> UniqueMap unique b -> UniqueMap unique a Source #
Monoid (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name.UniqueMap Methods mempty :: UniqueMap unique a Source # mappend :: UniqueMap unique a -> UniqueMap unique a -> UniqueMap unique a Source # mconcat :: [UniqueMap unique a] -> UniqueMap unique a Source #
Semigroup (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name.UniqueMap Methods (<>) :: UniqueMap unique a -> UniqueMap unique a -> UniqueMap unique a Source # sconcat :: NonEmpty (UniqueMap unique a) -> UniqueMap unique a Source # stimes :: Integral b => b -> UniqueMap unique a -> UniqueMap unique a Source #
Show a => Show (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name.UniqueMap Methods showsPrec :: Int -> UniqueMap unique a -> ShowS Source # show :: UniqueMap unique a -> String Source # showList :: [UniqueMap unique a] -> ShowS Source #
Eq a => Eq (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name.UniqueMap Methods (==) :: UniqueMap unique a -> UniqueMap unique a -> Bool Source # (/=) :: UniqueMap unique a -> UniqueMap unique a -> Bool Source #

newtype UniqueSet unique Source #

A set containing Uniques. Since Unique is equivalent to Int (see PlutusCore.Name.Unique), we can use an IntSet representation for this type.

Constructors

UniqueSet
Fields unUniqueSet :: IntSet

Instances

Instances details

Monoid (UniqueSet unique) Source #
Instance details Defined in PlutusCore.Name.UniqueSet Methods mempty :: UniqueSet unique Source # mappend :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique Source # mconcat :: [UniqueSet unique] -> UniqueSet unique Source #
Semigroup (UniqueSet unique) Source #
Instance details Defined in PlutusCore.Name.UniqueSet Methods (<>) :: UniqueSet unique -> UniqueSet unique -> UniqueSet unique Source # sconcat :: NonEmpty (UniqueSet unique) -> UniqueSet unique Source # stimes :: Integral b => b -> UniqueSet unique -> UniqueSet unique Source #
Show (UniqueSet unique) Source #
Instance details Defined in PlutusCore.Name.UniqueSet Methods showsPrec :: Int -> UniqueSet unique -> ShowS Source # show :: UniqueSet unique -> String Source # showList :: [UniqueSet unique] -> ShowS Source #
Eq (UniqueSet unique) Source #
Instance details Defined in PlutusCore.Name.UniqueSet Methods (==) :: UniqueSet unique -> UniqueSet unique -> Bool Source # (/=) :: UniqueSet unique -> UniqueSet unique -> Bool Source #

newtype Normalized a Source #

Constructors

Normalized
Fields unNormalized :: a

Instances

Instances details

Foldable Normalized Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

fold :: Monoid m => Normalized m -> m Source #

foldMap :: Monoid m => (a -> m) -> Normalized a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Normalized a -> m Source #

foldr :: (a -> b -> b) -> b -> Normalized a -> b Source #

foldr' :: (a -> b -> b) -> b -> Normalized a -> b Source #

foldl :: (b -> a -> b) -> b -> Normalized a -> b Source #

foldl' :: (b -> a -> b) -> b -> Normalized a -> b Source #

foldr1 :: (a -> a -> a) -> Normalized a -> a Source #

foldl1 :: (a -> a -> a) -> Normalized a -> a Source #

toList :: Normalized a -> [a] Source #

null :: Normalized a -> Bool Source #

length :: Normalized a -> Int Source #

elem :: Eq a => a -> Normalized a -> Bool Source #

maximum :: Ord a => Normalized a -> a Source #

minimum :: Ord a => Normalized a -> a Source #

sum :: Num a => Normalized a -> a Source #

product :: Num a => Normalized a -> a Source #

Traversable Normalized Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

traverse :: Applicative f => (a -> f b) -> Normalized a -> f (Normalized b) Source #

sequenceA :: Applicative f => Normalized (f a) -> f (Normalized a) Source #

mapM :: Monad m => (a -> m b) -> Normalized a -> m (Normalized b) Source #

sequence :: Monad m => Normalized (m a) -> m (Normalized a) Source #

Applicative Normalized Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

pure :: a -> Normalized a Source #

(<*>) :: Normalized (a -> b) -> Normalized a -> Normalized b Source #

liftA2 :: (a -> b -> c) -> Normalized a -> Normalized b -> Normalized c Source #

(*>) :: Normalized a -> Normalized b -> Normalized b Source #

(<*) :: Normalized a -> Normalized b -> Normalized a Source #

Functor Normalized Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

fmap :: (a -> b) -> Normalized a -> Normalized b Source #

(<$) :: a -> Normalized b -> Normalized a Source #

PrettyBy config a => PrettyBy config (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

prettyBy :: config -> Normalized a -> Doc ann #

prettyListBy :: config -> [Normalized a] -> Doc ann #

Generic (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Normalized a)
Instance details Defined in PlutusCore.Core.Type type Rep (Normalized a) = D1 ('MetaData "Normalized" "PlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Normalized" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNormalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Normalized a -> Rep (Normalized a) x Source #

to :: Rep (Normalized a) x -> Normalized a Source #

Show a => Show (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

showsPrec :: Int -> Normalized a -> ShowS Source #

show :: Normalized a -> String Source #

showList :: [Normalized a] -> ShowS Source #

NFData a => NFData (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

rnf :: Normalized a -> () Source #

Eq a => Eq (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

(==) :: Normalized a -> Normalized a -> Bool Source #

(/=) :: Normalized a -> Normalized a -> Bool Source #

Flat a => Flat (Normalized a)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Normalized a -> Encoding

decode :: Get (Normalized a)

size :: Normalized a -> NumBits -> NumBits

Rename a => Rename (Normalized a) Source #

Instance details

Defined in PlutusCore.Rename

Methods

rename :: MonadQuote m => Normalized a -> m (Normalized a) Source #

Pretty a => Pretty (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

Methods

pretty :: Normalized a -> Doc ann #

prettyList :: [Normalized a] -> Doc ann #

type Rep (Normalized a) Source #

Instance details

Defined in PlutusCore.Core.Type

type Rep (Normalized a) = D1 ('MetaData "Normalized" "PlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "Normalized" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNormalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

latestVersion :: Version Source #

The latest version of Plutus Core supported by this library.

termAnn :: forall tyname name (uni :: Type -> Type) fun ann. Term tyname name uni fun ann -> ann Source #

typeAnn :: forall tyname (uni :: Type -> Type) ann. Type tyname uni ann -> ann Source #

tyVarDeclAnn :: forall tyname ann f. Functor f => (ann -> f ann) -> TyVarDecl tyname ann -> f (TyVarDecl tyname ann) Source #

tyVarDeclName :: forall tyname1 ann tyname2 f. Functor f => (tyname1 -> f tyname2) -> TyVarDecl tyname1 ann -> f (TyVarDecl tyname2 ann) Source #

tyVarDeclKind :: forall tyname ann f. Functor f => (Kind ann -> f (Kind ann)) -> TyVarDecl tyname ann -> f (TyVarDecl tyname ann) Source #

varDeclAnn :: forall tyname name (uni :: Type -> Type) ann f. Functor f => (ann -> f ann) -> VarDecl tyname name uni ann -> f (VarDecl tyname name uni ann) Source #

varDeclName :: forall tyname name1 (uni :: Type -> Type) ann name2 f. Functor f => (name1 -> f name2) -> VarDecl tyname name1 uni ann -> f (VarDecl tyname name2 uni ann) Source #

varDeclType :: forall tyname1 name (uni1 :: Type -> Type) ann tyname2 (uni2 :: Type -> Type) f. Functor f => (Type tyname1 uni1 ann -> f (Type tyname2 uni2 ann)) -> VarDecl tyname1 name uni1 ann -> f (VarDecl tyname2 name uni2 ann) Source #

tyDeclAnn :: forall tyname (uni :: Type -> Type) ann f. Functor f => (ann -> f ann) -> TyDecl tyname uni ann -> f (TyDecl tyname uni ann) Source #

tyDeclType :: forall tyname1 (uni1 :: Type -> Type) ann tyname2 (uni2 :: Type -> Type) f. Functor f => (Type tyname1 uni1 ann -> f (Type tyname2 uni2 ann)) -> TyDecl tyname1 uni1 ann -> f (TyDecl tyname2 uni2 ann) Source #

tyDeclKind :: forall tyname (uni :: Type -> Type) ann f. Functor f => (Kind ann -> f (Kind ann)) -> TyDecl tyname uni ann -> f (TyDecl tyname uni ann) Source #

progAnn :: forall tyname name (uni :: Type -> Type) fun ann f. Functor f => (ann -> f ann) -> Program tyname name uni fun ann -> f (Program tyname name uni fun ann) Source #

progVer :: forall tyname name (uni :: Type -> Type) fun ann f. Functor f => (Version -> f Version) -> Program tyname name uni fun ann -> f (Program tyname name uni fun ann) Source #

progTerm :: forall tyname1 name1 (uni1 :: Type -> Type) fun1 ann tyname2 name2 (uni2 :: Type -> Type) fun2 f. Functor f => (Term tyname1 name1 uni1 fun1 ann -> f (Term tyname2 name2 uni2 fun2 ann)) -> Program tyname1 name1 uni1 fun1 ann -> f (Program tyname2 name2 uni2 fun2 ann) Source #

mapFun :: forall fun fun' tyname name (uni :: Type -> Type) ann. (fun -> fun') -> Term tyname name uni fun ann -> Term tyname name uni fun' ann Source #

Map a function over the set of built-in functions.

DeBruijn representation

newtype DeBruijn Source #

A term name as a de Bruijn index, without the name string.

Constructors

DeBruijn
Fields dbnIndex :: Index

Instances

Instances details

Generic DeBruijn Source #

Instance details

Associated Types

type Rep DeBruijn
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep DeBruijn = D1 ('MetaData "DeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "DeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "dbnIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Index)))

Methods

from :: DeBruijn -> Rep DeBruijn x Source #

to :: Rep DeBruijn x -> DeBruijn Source #

Show DeBruijn Source #

Instance details

Methods

showsPrec :: Int -> DeBruijn -> ShowS Source #

show :: DeBruijn -> String Source #

showList :: [DeBruijn] -> ShowS Source #

NFData DeBruijn Source #

Instance details

Methods

rnf :: DeBruijn -> () Source #

Eq DeBruijn Source #

Instance details

Methods

(==) :: DeBruijn -> DeBruijn -> Bool Source #

(/=) :: DeBruijn -> DeBruijn -> Bool Source #

Hashable DeBruijn Source #

Instance details

Methods

hashWithSalt :: Int -> DeBruijn -> Int

hash :: DeBruijn -> Int

Flat DeBruijn

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: DeBruijn -> Encoding

decode :: Get DeBruijn

size :: DeBruijn -> NumBits -> NumBits

HasIndex DeBruijn Source #

Instance details

Methods

index :: Lens' DeBruijn Index Source #

HasPrettyConfigName config => PrettyBy config DeBruijn Source #

Instance details

Methods

prettyBy :: config -> DeBruijn -> Doc ann #

prettyListBy :: config -> [DeBruijn] -> Doc ann #

Flat (Binder DeBruijn)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Binder DeBruijn -> Encoding

decode :: Get (Binder DeBruijn)

size :: Binder DeBruijn -> NumBits -> NumBits

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term DeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term DeBruijn uni fun ann -> Term DeBruijn uni fun ann -> Bool Source #

(/=) :: Term DeBruijn uni fun ann -> Term DeBruijn uni fun ann -> Bool Source #

HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann) Source #

Instance details

Methods

hashWithSalt :: Int -> Term DeBruijn uni fun ann -> Int

hash :: Term DeBruijn uni fun ann -> Int

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #

(/=) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #

type Rep DeBruijn Source #

Instance details

type Rep DeBruijn = D1 ('MetaData "DeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "DeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "dbnIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Index)))

newtype TyDeBruijn Source #

A type name as a de Bruijn index, without the name string.

Constructors

TyDeBruijn DeBruijn

Instances

Instances details

Generic TyDeBruijn Source #

Instance details

Associated Types

type Rep TyDeBruijn
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep TyDeBruijn = D1 ('MetaData "TyDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "TyDeBruijn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeBruijn)))

Methods

from :: TyDeBruijn -> Rep TyDeBruijn x Source #

to :: Rep TyDeBruijn x -> TyDeBruijn Source #

Show TyDeBruijn Source #

Instance details

Methods

showsPrec :: Int -> TyDeBruijn -> ShowS Source #

show :: TyDeBruijn -> String Source #

showList :: [TyDeBruijn] -> ShowS Source #

NFData TyDeBruijn Source #

Instance details

Methods

rnf :: TyDeBruijn -> () Source #

Eq TyDeBruijn Source #

Instance details

Methods

(==) :: TyDeBruijn -> TyDeBruijn -> Bool Source #

(/=) :: TyDeBruijn -> TyDeBruijn -> Bool Source #

Wrapped TyDeBruijn Source #

Instance details

Associated Types

type Unwrapped TyDeBruijn
Instance details Defined in PlutusCore.DeBruijn.Internal type Unwrapped TyDeBruijn = GUnwrapped (Rep TyDeBruijn)

Methods

_Wrapped' :: Iso' TyDeBruijn (Unwrapped TyDeBruijn)

Flat TyDeBruijn

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: TyDeBruijn -> Encoding

decode :: Get TyDeBruijn

size :: TyDeBruijn -> NumBits -> NumBits

HasIndex TyDeBruijn Source #

Instance details

Methods

index :: Lens' TyDeBruijn Index Source #

HasPrettyConfigName config => PrettyBy config TyDeBruijn Source #

Instance details

Methods

prettyBy :: config -> TyDeBruijn -> Doc ann #

prettyListBy :: config -> [TyDeBruijn] -> Doc ann #

(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type TyDeBruijn uni ann) Source #

Instance details

Methods

(==) :: Type TyDeBruijn uni ann -> Type TyDeBruijn uni ann -> Bool Source #

(/=) :: Type TyDeBruijn uni ann -> Type TyDeBruijn uni ann -> Bool Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #

(/=) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #

type Rep TyDeBruijn Source #

Instance details

type Rep TyDeBruijn = D1 ('MetaData "TyDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "TyDeBruijn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DeBruijn)))

type Unwrapped TyDeBruijn Source #

Instance details

type Unwrapped TyDeBruijn = GUnwrapped (Rep TyDeBruijn)

data NamedDeBruijn Source #

A term name as a de Bruijn index.

Constructors

NamedDeBruijn
Fields ndbnString :: !Text ndbnIndex :: !Index

Instances

Instances details

Generic NamedDeBruijn Source #

Instance details

Associated Types

type Rep NamedDeBruijn

Instance details

type Rep NamedDeBruijn = D1 ('MetaData "NamedDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "NamedDeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "ndbnString") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "ndbnIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

Methods

from :: NamedDeBruijn -> Rep NamedDeBruijn x Source #

to :: Rep NamedDeBruijn x -> NamedDeBruijn Source #

Read NamedDeBruijn Source #

Instance details

Methods

readsPrec :: Int -> ReadS NamedDeBruijn Source #

readList :: ReadS [NamedDeBruijn] Source #

readPrec :: ReadPrec NamedDeBruijn Source #

readListPrec :: ReadPrec [NamedDeBruijn] Source #

Show NamedDeBruijn Source #

Instance details

Methods

showsPrec :: Int -> NamedDeBruijn -> ShowS Source #

show :: NamedDeBruijn -> String Source #

showList :: [NamedDeBruijn] -> ShowS Source #

NFData NamedDeBruijn Source #

Instance details

Methods

rnf :: NamedDeBruijn -> () Source #

Eq NamedDeBruijn Source #

Instance details

Methods

(==) :: NamedDeBruijn -> NamedDeBruijn -> Bool Source #

(/=) :: NamedDeBruijn -> NamedDeBruijn -> Bool Source #

Hashable NamedDeBruijn Source #

Instance details

Methods

hashWithSalt :: Int -> NamedDeBruijn -> Int

hash :: NamedDeBruijn -> Int

Flat NamedDeBruijn

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: NamedDeBruijn -> Encoding

decode :: Get NamedDeBruijn

size :: NamedDeBruijn -> NumBits -> NumBits

HasIndex NamedDeBruijn Source #

Instance details

Methods

index :: Lens' NamedDeBruijn Index Source #

HasPrettyConfigName config => PrettyBy config NamedDeBruijn Source #

Instance details

Methods

prettyBy :: config -> NamedDeBruijn -> Doc ann #

prettyListBy :: config -> [NamedDeBruijn] -> Doc ann #

Flat (Binder NamedDeBruijn)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Binder NamedDeBruijn -> Encoding

decode :: Get (Binder NamedDeBruijn)

size :: Binder NamedDeBruijn -> NumBits -> NumBits

ThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s) Source #

Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a Source #

catchError :: CekM uni fun s a -> (CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedDeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source #

(/=) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source #

HashableTermConstraints uni fun ann => Hashable (Term NamedDeBruijn uni fun ann) Source #

Instance details

Methods

hashWithSalt :: Int -> Term NamedDeBruijn uni fun ann -> Int

hash :: Term NamedDeBruijn uni fun ann -> Int

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #

(/=) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #

type Rep NamedDeBruijn Source #

Instance details

NamedTyDeBruijn NamedDeBruijn

type Rep NamedDeBruijn = D1 ('MetaData "NamedDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "NamedDeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "ndbnString") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "ndbnIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

newtype NamedTyDeBruijn Source #

A type name as a de Bruijn index.

Constructors

Instances

Instances details

Generic NamedTyDeBruijn Source #

Instance details

Associated Types

type Rep NamedTyDeBruijn
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep NamedTyDeBruijn = D1 ('MetaData "NamedTyDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "NamedTyDeBruijn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedDeBruijn)))

Methods

from :: NamedTyDeBruijn -> Rep NamedTyDeBruijn x Source #

to :: Rep NamedTyDeBruijn x -> NamedTyDeBruijn Source #

Show NamedTyDeBruijn Source #

Instance details

Methods

showsPrec :: Int -> NamedTyDeBruijn -> ShowS Source #

show :: NamedTyDeBruijn -> String Source #

showList :: [NamedTyDeBruijn] -> ShowS Source #

NFData NamedTyDeBruijn Source #

Instance details

Methods

rnf :: NamedTyDeBruijn -> () Source #

Eq NamedTyDeBruijn Source #

Instance details

Methods

(==) :: NamedTyDeBruijn -> NamedTyDeBruijn -> Bool Source #

(/=) :: NamedTyDeBruijn -> NamedTyDeBruijn -> Bool Source #

Wrapped NamedTyDeBruijn Source #

Instance details

Associated Types

type Unwrapped NamedTyDeBruijn
Instance details Defined in PlutusCore.DeBruijn.Internal type Unwrapped NamedTyDeBruijn = GUnwrapped (Rep NamedTyDeBruijn)

Methods

_Wrapped' :: Iso' NamedTyDeBruijn (Unwrapped NamedTyDeBruijn)

Flat NamedTyDeBruijn

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: NamedTyDeBruijn -> Encoding

decode :: Get NamedTyDeBruijn

size :: NamedTyDeBruijn -> NumBits -> NumBits

HasIndex NamedTyDeBruijn Source #

Instance details

Methods

index :: Lens' NamedTyDeBruijn Index Source #

HasPrettyConfigName config => PrettyBy config NamedTyDeBruijn Source #

Instance details

Methods

prettyBy :: config -> NamedTyDeBruijn -> Doc ann #

prettyListBy :: config -> [NamedTyDeBruijn] -> Doc ann #

Flat (Binder NamedTyDeBruijn)

Instance details

Defined in PlutusCore.FlatInstances

Methods

encode :: Binder NamedTyDeBruijn -> Encoding

decode :: Get (Binder NamedTyDeBruijn)

size :: Binder NamedTyDeBruijn -> NumBits -> NumBits

(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type NamedTyDeBruijn uni ann) Source #

Instance details

Methods

(==) :: Type NamedTyDeBruijn uni ann -> Type NamedTyDeBruijn uni ann -> Bool Source #

(/=) :: Type NamedTyDeBruijn uni ann -> Type NamedTyDeBruijn uni ann -> Bool Source #

(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #

Instance details

Methods

(==) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #

(/=) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #

type Rep NamedTyDeBruijn Source #

Instance details

type Rep NamedTyDeBruijn = D1 ('MetaData "NamedTyDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "NamedTyDeBruijn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamedDeBruijn)))

type Unwrapped NamedTyDeBruijn Source #

Instance details

type Unwrapped NamedTyDeBruijn = GUnwrapped (Rep NamedTyDeBruijn)

deBruijnTerm :: forall m (uni :: Type -> Type) fun ann. MonadError FreeVariableError m => Term TyName Name uni fun ann -> m (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #

Convert a Term with TyNames and Names into a Term with NamedTyDeBruijns and NamedDeBruijns. Will throw an error if a free variable is encountered.

unDeBruijnTerm :: forall m (uni :: Type -> Type) fun ann. (MonadQuote m, MonadError FreeVariableError m) => Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> m (Term TyName Name uni fun ann) Source #

Convert a Term with NamedTyDeBruijns and NamedDeBruijns into a Term with TyNames and Names. Will throw an error if a free variable is encountered.

Processing

type family HasUniques a Source #

All kinds of uniques an entity contains.

Instances

Instances details

type HasUniques (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Kind ann) = ()
type HasUniques (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Type tyname uni ann) = HasUnique tyname TypeUnique
type HasUniques (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type HasUniques (Program name uni fun ann) = HasUniques (Term name uni fun ann)
type HasUniques (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type HasUniques (Term name uni fun ann) = HasUnique name TermUnique
type HasUniques (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)
type HasUniques (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)

class Rename a where Source #

The class of things that can be renamed. I.e. things that are capable of satisfying the global uniqueness condition.

Methods

rename :: MonadQuote m => a -> m a Source #

Rename Uniques so that they're globally unique. In case there are any free variables, they must be left untouched and bound variables must not get renamed to free ones. Must always assign new names to bound variables, so that rename can be used for alpha-renaming as well.

Instances

Instances details

Rename a => Rename (Normalized a) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Normalized a -> m (Normalized a) Source #
HasUniques (Type tyname uni ann) => Rename (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Type tyname uni ann -> m (Type tyname uni ann) Source #
HasUniques (Program name uni fun ann) => Rename (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Rename Methods rename :: MonadQuote m => Program name uni fun ann -> m (Program name uni fun ann) Source #
HasUniques (Term name uni fun ann) => Rename (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Rename Methods rename :: MonadQuote m => Term name uni fun ann -> m (Term name uni fun ann) Source #
HasUniques (Program tyname name uni fun ann) => Rename (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #
HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #

Type checking

module PlutusCore.TypeCheck

normalizeTypesIn :: forall tyname name (uni :: Type -> Type) m fun ann. (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m) => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #

Normalize every Type in a Term.

normalizeTypesInProgram :: forall tyname name (uni :: Type -> Type) m fun ann. (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadNormalizeType uni m) => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #

Normalize every Type in a Program.

data TypeError term (uni :: Type -> Type) fun ann Source #

Instances

Instances details

(Pretty term, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: PrettyConfigPlc -> TypeError term uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [TypeError term uni fun ann] -> Doc ann0 #

Functor (TypeError term uni fun) Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> TypeError term uni fun a -> TypeError term uni fun b Source #

(<$) :: a -> TypeError term uni fun b -> TypeError term uni fun a Source #

Generic (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (TypeError term uni fun ann)

Instance details

Defined in PlutusCore.Error

Methods

from :: TypeError term uni fun ann -> Rep (TypeError term uni fun ann) x Source #

to :: Rep (TypeError term uni fun ann) x -> TypeError term uni fun ann Source #

(GShow uni, Show term, Show fun, Show ann) => Show (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> TypeError term uni fun ann -> ShowS Source #

show :: TypeError term uni fun ann -> String Source #

showList :: [TypeError term uni fun ann] -> ShowS Source #

(Closed uni, NFData ann, NFData term, NFData fun) => NFData (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: TypeError term uni fun ann -> () Source #

(GEq uni, Eq term, Eq fun, Eq ann) => Eq (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: TypeError term uni fun ann -> TypeError term uni fun ann -> Bool Source #

(/=) :: TypeError term uni fun ann -> TypeError term uni fun ann -> Bool Source #

type Rep (TypeError term uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Errors

data Error (uni :: Type -> Type) fun ann Source #

Constructors

ParseErrorE !ParserErrorBundle
UniqueCoherencyErrorE !(UniqueError ann)
TypeErrorE !(TypeError (Term TyName Name uni fun ()) uni fun ann)
NormCheckErrorE !(NormCheckError TyName Name uni fun ann)
FreeVariableErrorE !FreeVariableError

Instances

Instances details

(PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 #

prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #

Functor (Error uni fun) Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> Error uni fun a -> Error uni fun b Source #

(<$) :: a -> Error uni fun b -> Error uni fun a Source #

Generic (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (Error uni fun ann)

Instance details

Defined in PlutusCore.Error

type Rep (Error uni fun ann) = D1 ('MetaData "Error" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "ParseErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ParserErrorBundle)) :+: C1 ('MetaCons "UniqueCoherencyErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons "TypeErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons "NormCheckErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons "FreeVariableErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FreeVariableError)))))

Methods

from :: Error uni fun ann -> Rep (Error uni fun ann) x Source #

to :: Rep (Error uni fun ann) x -> Error uni fun ann Source #

(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni, Show ParserError) => Show (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> Error uni fun ann -> ShowS Source #

show :: Error uni fun ann -> String Source #

showList :: [Error uni fun ann] -> ShowS Source #

(NFData fun, NFData ann, Closed uni, Everywhere uni NFData, NFData ParserError) => NFData (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: Error uni fun ann -> () Source #

(Eq fun, Eq ann, Closed uni, Everywhere uni Eq, GEq uni, Eq ParserError) => Eq (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: Error uni fun ann -> Error uni fun ann -> Bool Source #

(/=) :: Error uni fun ann -> Error uni fun ann -> Bool Source #

type Rep (Error uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

type Rep (Error uni fun ann) = D1 ('MetaData "Error" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "ParseErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ParserErrorBundle)) :+: C1 ('MetaCons "UniqueCoherencyErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons "TypeErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons "NormCheckErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons "FreeVariableErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FreeVariableError)))))

data NormCheckError tyname name (uni :: Type -> Type) fun ann Source #

Constructors

BadType !ann !(Type tyname uni ann) !Text
BadTerm !ann !(Term tyname name uni fun ann) !Text

Instances

Instances details

(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

prettyBy :: config -> NormCheckError tyname name uni fun ann -> Doc ann0 #

prettyListBy :: config -> [NormCheckError tyname name uni fun ann] -> Doc ann0 #

Functor (NormCheckError tyname name uni fun) Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> NormCheckError tyname name uni fun a -> NormCheckError tyname name uni fun b Source #

(<$) :: a -> NormCheckError tyname name uni fun b -> NormCheckError tyname name uni fun a Source #

Generic (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (NormCheckError tyname name uni fun ann)

Instance details

Defined in PlutusCore.Error

type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))

Methods

from :: NormCheckError tyname name uni fun ann -> Rep (NormCheckError tyname name uni fun ann) x Source #

to :: Rep (NormCheckError tyname name uni fun ann) x -> NormCheckError tyname name uni fun ann Source #

(Show tyname, Show name, Closed uni, Everywhere uni Show, Show fun, Show ann, GShow uni) => Show (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> NormCheckError tyname name uni fun ann -> ShowS Source #

show :: NormCheckError tyname name uni fun ann -> String Source #

showList :: [NormCheckError tyname name uni fun ann] -> ShowS Source #

(NFData tyname, NFData name, Closed uni, Everywhere uni NFData, NFData fun, NFData ann) => NFData (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: NormCheckError tyname name uni fun ann -> () Source #

(Eq (Term tyname name uni fun ann), Eq (Type tyname uni ann), GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: NormCheckError tyname name uni fun ann -> NormCheckError tyname name uni fun ann -> Bool Source #

(/=) :: NormCheckError tyname name uni fun ann -> NormCheckError tyname name uni fun ann -> Bool Source #

type Rep (NormCheckError tyname name uni fun ann) Source #

Instance details

Defined in PlutusCore.Error

type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))

data UniqueError ann Source #

Constructors

MultiplyDefined !Unique !ann !ann
IncoherentUsage !Unique !ann !ann
FreeVariable !Unique !ann

Instances

Instances details

Functor UniqueError Source #

Instance details

Defined in PlutusCore.Error

Methods

fmap :: (a -> b) -> UniqueError a -> UniqueError b Source #

(<$) :: a -> UniqueError b -> UniqueError a Source #

Exception (UniqueError SrcSpan) Source #

Instance details

Defined in PlutusCore.Error

Methods

toException :: UniqueError SrcSpan -> SomeException Source #

fromException :: SomeException -> Maybe (UniqueError SrcSpan) Source #

displayException :: UniqueError SrcSpan -> String Source #

Generic (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (UniqueError ann)

Instance details

Defined in PlutusCore.Error

Methods

from :: UniqueError ann -> Rep (UniqueError ann) x Source #

to :: Rep (UniqueError ann) x -> UniqueError ann Source #

Show ann => Show (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

showsPrec :: Int -> UniqueError ann -> ShowS Source #

show :: UniqueError ann -> String Source #

showList :: [UniqueError ann] -> ShowS Source #

NFData ann => NFData (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

rnf :: UniqueError ann -> () Source #

Eq ann => Eq (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

(==) :: UniqueError ann -> UniqueError ann -> Bool Source #

(/=) :: UniqueError ann -> UniqueError ann -> Bool Source #

Pretty ann => Pretty (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

Methods

pretty :: UniqueError ann -> Doc ann0 #

prettyList :: [UniqueError ann] -> Doc ann0 #

type Rep (UniqueError ann) Source #

Instance details

Defined in PlutusCore.Error

data FreeVariableError Source #

We cannot do a correct translation to or from de Bruijn indices if the program is not well-scoped. So we throw an error in such a case.

Constructors

FreeUnique !Unique
FreeIndex !Index

Instances

Instances details

Exception FreeVariableError Source #

Instance details

Methods

toException :: FreeVariableError -> SomeException Source #

fromException :: SomeException -> Maybe FreeVariableError Source #

displayException :: FreeVariableError -> String Source #

Generic FreeVariableError Source #

Instance details

Associated Types

type Rep FreeVariableError

Instance details

type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

Methods

from :: FreeVariableError -> Rep FreeVariableError x Source #

to :: Rep FreeVariableError x -> FreeVariableError Source #

Show FreeVariableError Source #

Instance details

Methods

showsPrec :: Int -> FreeVariableError -> ShowS Source #

show :: FreeVariableError -> String Source #

showList :: [FreeVariableError] -> ShowS Source #

NFData FreeVariableError Source #

Instance details

Methods

rnf :: FreeVariableError -> () Source #

Eq FreeVariableError Source #

Instance details

Methods

(==) :: FreeVariableError -> FreeVariableError -> Bool Source #

(/=) :: FreeVariableError -> FreeVariableError -> Bool Source #

Ord FreeVariableError Source #

Instance details

Methods

compare :: FreeVariableError -> FreeVariableError -> Ordering Source #

(<) :: FreeVariableError -> FreeVariableError -> Bool Source #

(<=) :: FreeVariableError -> FreeVariableError -> Bool Source #

(>) :: FreeVariableError -> FreeVariableError -> Bool Source #

(>=) :: FreeVariableError -> FreeVariableError -> Bool Source #

max :: FreeVariableError -> FreeVariableError -> FreeVariableError Source #

min :: FreeVariableError -> FreeVariableError -> FreeVariableError Source #

Pretty FreeVariableError Source #

Instance details

Methods

pretty :: FreeVariableError -> Doc ann #

prettyList :: [FreeVariableError] -> Doc ann #

type Rep FreeVariableError Source #

Instance details

type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

Quotation and term construction

type Quote = QuoteT Identity Source #

A non-transformer version of QuoteT.

runQuote :: Quote a -> a Source #

See runQuoteT.

data QuoteT (m :: Type -> Type) a Source #

The "quotation" monad transformer. Within this monad you can do safe construction of PLC terms using quasiquotation, fresh-name generation, and parsing.

Instances

Instances details

MonadTrans QuoteT Source #
Instance details Defined in PlutusCore.Quote Methods lift :: Monad m => m a -> QuoteT m a Source #
MFunctor QuoteT Source #
Instance details Defined in PlutusCore.Quote Methods hoist :: Monad m => (forall a. m a -> n a) -> QuoteT m b -> QuoteT n b
MonadError e m => MonadError e (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods throwError :: e -> QuoteT m a Source # catchError :: QuoteT m a -> (e -> QuoteT m a) -> QuoteT m a Source #
MonadReader r m => MonadReader r (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods ask :: QuoteT m r Source # local :: (r -> r) -> QuoteT m a -> QuoteT m a Source # reader :: (r -> a) -> QuoteT m a Source #
MonadState s m => MonadState s (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods get :: QuoteT m s Source # put :: s -> QuoteT m () Source # state :: (s -> (a, s)) -> QuoteT m a Source #
MonadWriter w m => MonadWriter w (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods writer :: (a, w) -> QuoteT m a Source # tell :: w -> QuoteT m () Source # listen :: QuoteT m a -> QuoteT m (a, w) Source # pass :: QuoteT m (a, w -> w) -> QuoteT m a Source #
MonadFix m => MonadFix (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods mfix :: (a -> QuoteT m a) -> QuoteT m a Source #
MonadIO m => MonadIO (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftIO :: IO a -> QuoteT m a Source #
Monad m => Applicative (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods pure :: a -> QuoteT m a Source # (<>) :: QuoteT m (a -> b) -> QuoteT m a -> QuoteT m b Source # liftA2 :: (a -> b -> c) -> QuoteT m a -> QuoteT m b -> QuoteT m c Source # (>) :: QuoteT m a -> QuoteT m b -> QuoteT m b Source # (<*) :: QuoteT m a -> QuoteT m b -> QuoteT m a Source #
Functor m => Functor (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods fmap :: (a -> b) -> QuoteT m a -> QuoteT m b Source # (<$) :: a -> QuoteT m b -> QuoteT m a Source #
Monad m => Monad (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods (>>=) :: QuoteT m a -> (a -> QuoteT m b) -> QuoteT m b Source # (>>) :: QuoteT m a -> QuoteT m b -> QuoteT m b Source # return :: a -> QuoteT m a Source #
Monad m => MonadQuote (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> QuoteT m a Source #

runQuoteT :: Monad m => QuoteT m a -> m a Source #

Run a quote from an empty identifier state. Note that the resulting term cannot necessarily be safely combined with other terms - that should happen inside QuoteT.

class Monad m => MonadQuote (m :: Type -> Type) Source #

A monad that allows lifting of quoted expressions.

Instances

Instances details

MonadQuote m => MonadQuote (GenT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> GenT m a Source #
MonadQuote m => MonadQuote (PropertyT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> PropertyT m a Source #
Monad m => MonadQuote (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> QuoteT m a Source #
MonadQuote m => MonadQuote (MaybeT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> MaybeT m a Source #
MonadQuote m => MonadQuote (RenameT ren m) Source #
Instance details Defined in PlutusCore.Rename.Monad Methods liftQuote :: Quote a -> RenameT ren m a Source #
MonadQuote m => MonadQuote (ExceptT e m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> ExceptT e m a Source #
MonadQuote m => MonadQuote (ReaderT r m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> ReaderT r m a Source #
MonadQuote m => MonadQuote (StateT s m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> StateT s m a Source #
(Stream s, MonadQuote m) => MonadQuote (ParsecT e s m) Source #
Instance details Defined in PlutusCore.Parser.ParserCommon Methods liftQuote :: Quote a -> ParsecT e s m a Source #
MonadQuote m => MonadQuote (NormalizeTypeT m tyname uni ann) Source #
Instance details Defined in PlutusCore.Normalize.Internal Methods liftQuote :: Quote a -> NormalizeTypeT m tyname uni ann a Source #
MonadQuote m => MonadQuote (SimplifierT name uni fun ann m) Source #
Instance details Defined in UntypedPlutusCore.Transform.Simplifier Methods liftQuote :: Quote a -> SimplifierT name uni fun ann m a Source #

liftQuote :: MonadQuote m => Quote a -> m a Source #

Name generation

freshUnique :: MonadQuote m => m Unique Source #

Get a fresh Unique.

freshName :: MonadQuote m => Text -> m Name Source #

Get a fresh Name, given the annotation and the Text name.

freshTyName :: MonadQuote m => Text -> m TyName Source #

Get a fresh TyName, given the annotation and the Text name.

Evaluation

data EvaluationResult a Source #

The parameterized type of results various evaluation engines return.

Constructors

EvaluationSuccess !a
EvaluationFailure

Instances

Instances details

MonadFail EvaluationResult Source #

Instance details

Methods

fail :: String -> EvaluationResult a Source #

Foldable EvaluationResult Source #

Instance details

Methods

fold :: Monoid m => EvaluationResult m -> m Source #

foldMap :: Monoid m => (a -> m) -> EvaluationResult a -> m Source #

foldMap' :: Monoid m => (a -> m) -> EvaluationResult a -> m Source #

foldr :: (a -> b -> b) -> b -> EvaluationResult a -> b Source #

foldr' :: (a -> b -> b) -> b -> EvaluationResult a -> b Source #

foldl :: (b -> a -> b) -> b -> EvaluationResult a -> b Source #

foldl' :: (b -> a -> b) -> b -> EvaluationResult a -> b Source #

foldr1 :: (a -> a -> a) -> EvaluationResult a -> a Source #

foldl1 :: (a -> a -> a) -> EvaluationResult a -> a Source #

toList :: EvaluationResult a -> [a] Source #

null :: EvaluationResult a -> Bool Source #

length :: EvaluationResult a -> Int Source #

elem :: Eq a => a -> EvaluationResult a -> Bool Source #

maximum :: Ord a => EvaluationResult a -> a Source #

minimum :: Ord a => EvaluationResult a -> a Source #

sum :: Num a => EvaluationResult a -> a Source #

product :: Num a => EvaluationResult a -> a Source #

Traversable EvaluationResult Source #

Instance details

Methods

traverse :: Applicative f => (a -> f b) -> EvaluationResult a -> f (EvaluationResult b) Source #

sequenceA :: Applicative f => EvaluationResult (f a) -> f (EvaluationResult a) Source #

mapM :: Monad m => (a -> m b) -> EvaluationResult a -> m (EvaluationResult b) Source #

sequence :: Monad m => EvaluationResult (m a) -> m (EvaluationResult a) Source #

Alternative EvaluationResult Source #

Instance details

Methods

empty :: EvaluationResult a Source #

(<|>) :: EvaluationResult a -> EvaluationResult a -> EvaluationResult a Source #

some :: EvaluationResult a -> EvaluationResult [a] Source #

many :: EvaluationResult a -> EvaluationResult [a] Source #

Applicative EvaluationResult Source #

Instance details

Methods

pure :: a -> EvaluationResult a Source #

(<*>) :: EvaluationResult (a -> b) -> EvaluationResult a -> EvaluationResult b Source #

liftA2 :: (a -> b -> c) -> EvaluationResult a -> EvaluationResult b -> EvaluationResult c Source #

(*>) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult b Source #

(<*) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult a Source #

Functor EvaluationResult Source #

Instance details

Methods

fmap :: (a -> b) -> EvaluationResult a -> EvaluationResult b Source #

(<$) :: a -> EvaluationResult b -> EvaluationResult a Source #

Monad EvaluationResult Source #

Instance details

Methods

(>>=) :: EvaluationResult a -> (a -> EvaluationResult b) -> EvaluationResult b Source #

(>>) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult b Source #

return :: a -> EvaluationResult a Source #

MonadError () EvaluationResult Source #

Instance details

Methods

throwError :: () -> EvaluationResult a Source #

catchError :: EvaluationResult a -> (() -> EvaluationResult a) -> EvaluationResult a Source #

KnownTypeAst tyname uni a => KnownTypeAst tyname uni (EvaluationResult a :: Type) Source #

Instance details

Associated Types

type IsBuiltin uni (EvaluationResult a :: Type)
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type IsBuiltin uni (EvaluationResult a :: Type) = 'False

Methods

typeAst :: Type tyname uni () Source #

(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217") :: Constraint, uni ~ UniOf val) => MakeKnownIn uni val (EvaluationResult a) Source #

Instance details

Defined in PlutusCore.Builtin.KnownType

Methods

makeKnown :: EvaluationResult a -> BuiltinResult val Source #

(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217") :: Constraint, uni ~ UniOf val) => ReadKnownIn uni val (EvaluationResult a) Source #

Instance details

Defined in PlutusCore.Builtin.KnownType

Methods

readKnown :: val -> ReadKnownM (EvaluationResult a) Source #

PrettyBy config a => PrettyBy config (EvaluationResult a) Source #

Instance details

Methods

prettyBy :: config -> EvaluationResult a -> Doc ann #

prettyListBy :: config -> [EvaluationResult a] -> Doc ann #

Generic (EvaluationResult a) Source #

Instance details

Associated Types

type Rep (EvaluationResult a)

Instance details

type Rep (EvaluationResult a) = D1 ('MetaData "EvaluationResult" "PlutusCore.Evaluation.Result" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "EvaluationSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "EvaluationFailure" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: EvaluationResult a -> Rep (EvaluationResult a) x Source #

to :: Rep (EvaluationResult a) x -> EvaluationResult a Source #

Show a => Show (EvaluationResult a) Source #

Instance details

Methods

showsPrec :: Int -> EvaluationResult a -> ShowS Source #

show :: EvaluationResult a -> String Source #

showList :: [EvaluationResult a] -> ShowS Source #

NFData a => NFData (EvaluationResult a) Source #

Instance details

Methods

rnf :: EvaluationResult a -> () Source #

Eq a => Eq (EvaluationResult a) Source #

Instance details

Methods

(==) :: EvaluationResult a -> EvaluationResult a -> Bool Source #

(/=) :: EvaluationResult a -> EvaluationResult a -> Bool Source #

PrettyClassic a => Pretty (EvaluationResult a) Source #

Instance details

Methods

pretty :: EvaluationResult a -> Doc ann #

prettyList :: [EvaluationResult a] -> Doc ann #

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

Instance details

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

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

Instance details

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

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

Instance details

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

type Rep (EvaluationResult a) Source #

Instance details