cooked-validators
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cooked.Skeleton.Redeemer

Documentation

data TxSkelRedeemer Source #

Constructors

TxSkelRedeemer 

Fields

Instances

Instances details
Monoid DoubleSatDelta Source # 
Instance details

Defined in Cooked.Attack.DoubleSat

Methods

mempty :: DoubleSatDelta #

mappend :: DoubleSatDelta -> DoubleSatDelta -> DoubleSatDelta #

mconcat :: [DoubleSatDelta] -> DoubleSatDelta #

Monoid TxSkelMints Source # 
Instance details

Defined in Cooked.Skeleton.Mint

Methods

mempty :: TxSkelMints #

mappend :: TxSkelMints -> TxSkelMints -> TxSkelMints #

mconcat :: [TxSkelMints] -> TxSkelMints #

Semigroup DoubleSatDelta Source # 
Instance details

Defined in Cooked.Attack.DoubleSat

Methods

(<>) :: DoubleSatDelta -> DoubleSatDelta -> DoubleSatDelta #

sconcat :: NonEmpty DoubleSatDelta -> DoubleSatDelta #

stimes :: Integral b => b -> DoubleSatDelta -> DoubleSatDelta #

Semigroup TxSkelMints Source #

Combining TxSkelMints in a sensible way. In particular, this means that

Map.fromList [(pol, (red, NEMap.fromList [(tName, 1)]))]

and

Map.fromList [(pol, (red', NEMap.fromList [(tName, -1)]))]

will combine to become the empty TxSkelMints (and similar examples, where the values add up to zero, see the comment at the definition of addToTxSkelMints).

In every case, if you add mints with a different redeemer for the same policy, the redeemer used in the right argument takes precedence.

Instance details

Defined in Cooked.Skeleton.Mint

Methods

(<>) :: TxSkelMints -> TxSkelMints -> TxSkelMints #

sconcat :: NonEmpty TxSkelMints -> TxSkelMints #

stimes :: Integral b => b -> TxSkelMints -> TxSkelMints #

Show TxSkelRedeemer Source # 
Instance details

Defined in Cooked.Skeleton.Redeemer

Methods

showsPrec :: Int -> TxSkelRedeemer -> ShowS #

show :: TxSkelRedeemer -> String #

showList :: [TxSkelRedeemer] -> ShowS #

Eq TxSkelRedeemer Source # 
Instance details

Defined in Cooked.Skeleton.Redeemer

Methods

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

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

data Redeemer where Source #

Constructors

EmptyRedeemer :: Redeemer 
SomeRedeemer :: RedeemerConstrs redeemer => redeemer -> Redeemer 

Instances

Instances details
Show Redeemer Source # 
Instance details

Defined in Cooked.Skeleton.Redeemer

Methods

showsPrec :: Int -> Redeemer -> ShowS #

show :: Redeemer -> String #

showList :: [Redeemer] -> ShowS #

Eq Redeemer Source # 
Instance details

Defined in Cooked.Skeleton.Redeemer

Methods

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

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

type RedeemerConstrs redeemer = (ToData redeemer, Show redeemer, PrettyCooked redeemer, Eq redeemer, Typeable redeemer) Source #

withReferenceInput :: TxSkelRedeemer -> TxOutRef -> TxSkelRedeemer Source #

someTxSkelRedeemer :: RedeemerConstrs redeemer => redeemer -> TxSkelRedeemer Source #

emptyTxSkelRedeemer :: TxSkelRedeemer Source #

toTypedRedeemer :: Typeable a => Redeemer -> Maybe a Source #