Test.Cleveland.Internal.Actions.TransferTicket

Machinery for transferring tickets from implicit accounts.

Documentation

type family ImplicitAddressParameterHelper addr cp arg :: Constraint where ...

Implicit address may only have the root entrypoint, so full parameter type is exactly the argument parameter type. This is used to improve type inference when using transferTicket with implicit addresses.

Equations

ImplicitAddressParameterHelper ImplicitAddress cp arg = cp ~ arg

ImplicitAddressParameterHelper ImplicitAddressWithAlias cp arg = cp ~ arg

ImplicitAddressParameterHelper _ _ _ = ()

transferTicket :: forall cp vd arg m addr ticketerAddr mname. (MonadOpsInternal m, NiceParameter arg, NiceComparable arg, ImplicitAddressParameterHelper addr cp (Ticket arg), ToL1TAddress cp vd addr, ToAddress ticketerAddr, HasEntrypointArg cp (EntrypointRef mname) (Ticket arg), HasCallStack) => addr -> EntrypointRef mname -> ticketerAddr -> arg -> Natural -> m [ContractEvent]

Transfer tickets.

unsafeTransferTicket :: forall arg m addr ticketerAddr. (MonadOpsInternal m, NiceParameter arg, NiceComparable arg, ToL1Address addr, ToAddress ticketerAddr, HasCallStack) => addr -> EpName -> ticketerAddr -> arg -> Natural -> m [ContractEvent]

Transfer tickets without checking the recipient can accept them.