Test.Cleveland.Internal.Actions.Transfer

Machinery for the variadic transfer function.

Documentation

type family FTransferResult emit :: Type where ...

Type family encoding the actual transfer result depending on TransferResult

Equations

FTransferResult 'TransferWithEmits = [ContractEvent]

FTransferResult 'TransferIgnoreResult = ()

data TransferResult

Simple flag to track whether we want to return list of emitted events.

Constructors

TransferIgnoreResult

TransferWithEmits

Instances

SingKind TransferResult

Defined in Test.Cleveland.Internal.Actions.Transfer

Associated Types

type Demote TransferResult = (r :: Type)

Methods

fromSing :: forall (a :: TransferResult). Sing a -> Demote TransferResult

toSing :: Demote TransferResult -> SomeSing TransferResult

SingI 'TransferIgnoreResult

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

sing :: Sing 'TransferIgnoreResult

SingI 'TransferWithEmits

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

sing :: Sing 'TransferWithEmits

type Demote TransferResult

Defined in Test.Cleveland.Internal.Actions.Transfer

type Demote TransferResult = TransferResult

type Sing

Defined in Test.Cleveland.Internal.Actions.Transfer

type Sing = STransferResult

data WithContractEvents

transfer flag to signal we want contract events emitted by EMIT returned. Passed in the variadic part of transfer, e.g.

transfer addr [tz|123u|] WithContractEvents $ calling (ep @"Entrypoint") ()

Constructors

WithContractEvents

Instances

(TransferFunc mode 'TransferWithEmits am r, NoDuplicateEmit emit, emit ~ 'TransferIgnoreResult) => TransferFunc mode emit am (WithContractEvents -> r)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData mode -> WithContractEvents -> r

class DoTransfer mode where

Typeclass abstracting making the actual transfer.

Methods

doTransfer :: (HasCallStack, MonadOpsInternal m) => GenericTransferData mode -> m [ContractEvent]

Instances

DoTransfer 'Unchecked

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

doTransfer :: (HasCallStack, MonadOpsInternal m) => GenericTransferData 'Unchecked -> m [ContractEvent]

DoTransfer ('Checked param)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

doTransfer :: (HasCallStack, MonadOpsInternal m) => GenericTransferData ('Checked param) -> m [ContractEvent]

HasEntrypointArg param (EntrypointRef ('Nothing :: Maybe Symbol)) () => DoTransfer ('Incomplete ('Checked param))

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

doTransfer :: (HasCallStack, MonadOpsInternal m) => GenericTransferData ('Incomplete ('Checked param)) -> m [ContractEvent]

DoTransfer ('Incomplete 'Unchecked)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

doTransfer :: (HasCallStack, MonadOpsInternal m) => GenericTransferData ('Incomplete 'Unchecked) -> m [ContractEvent]

class (forall mod am emit a. (SingI emit, DoTransfer mod, a ~ FTransferResult emit) => TransferFunc mod emit am (m a)) => MonadTransfer m

A convenient synonym class to require the terminating instance for a given monad without leaking too much implementation detail.

Instances

(forall (mod :: TransferMode) (am :: HasAmount) (emit :: TransferResult) a. (SingI emit, DoTransfer mod, a ~ FTransferResult emit) => TransferFunc mod emit am (m a)) => MonadTransfer m

Defined in Test.Cleveland.Internal.Actions.Transfer

type family MatchModes from to :: Constraint where ...

Type family that defines possible mode conversions in TransferFunc. Basically, we don't allow unchecked calls to become checked, and we require that checked calls do not change the parameter type mid-way.

Equations

MatchModes ('Incomplete _) 'Unchecked = ()

MatchModes ('Incomplete ('Checked param1)) ('Checked param2) = param1 ~ param2

MatchModes ('Incomplete 'Unchecked) _ = TypeError ('Text "Can not use this type of call with an untyped address." :$$: 'Text "Try using 'unsafeCalling' instead.")

MatchModes _ _ = TypeError ('Text "Call is specified more than once.")

type family NoDuplicateEmit am :: Constraint where ...

Type family raising a type error on TransferWithEmits argument. Used to improve error reporting for TransferFunc instances with equality constraints.

Equations

NoDuplicateEmit 'TransferWithEmits = TypeError ('Text "WithContractEvents is specified more than once.")

NoDuplicateEmit 'TransferIgnoreResult = ()

type family NoDuplicateAmount am :: Constraint where ...

Type family raising a type error on HasAmount argument. Used to improve error reporting for TransferFunc instances with equality constraints.

Equations

NoDuplicateAmount 'HasAmount = TypeError ('Text "Amount is specified more than once.")

NoDuplicateAmount 'HasNoAmount = ()

class TransferFunc (mode :: TransferMode) (emit :: TransferResult) (hasAmount :: HasAmount) r where

The class implementing a guarded "printf trick" for the transfer function.

If you see GHC asking for this constraint, you most likely need to add MonadTransfer constraint on the return monad instead.

Methods

transfer'r :: HasCallStack => GenericTransferData mode -> r

Instances

(SingI emit, DoTransfer mode, a ~ FTransferResult emit) => TransferFunc mode emit am (ClevelandOpsBatch a)

The terminating case for batched transfer

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData mode -> ClevelandOpsBatch a

(TransferFunc mode 'TransferWithEmits am r, NoDuplicateEmit emit, emit ~ 'TransferIgnoreResult) => TransferFunc mode emit am (WithContractEvents -> r)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData mode -> WithContractEvents -> r

(TransferFunc mode emit 'HasAmount r, NoDuplicateAmount am, am ~ 'HasNoAmount) => TransferFunc mode emit am (Mutez -> r)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData mode -> Mutez -> r

(TypeError (('Text "Incorrect argument for the 'transfer' function: " :<>: 'ShowType x) :$$: 'Text "If in doubt, try adding a type annotation.") :: Constraint) => TransferFunc mode emit am (x -> r)

Catchall incoherent instance to report argument errors.

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData mode -> x -> r

(TransferFunc modeTo emit am r, MatchModes modeFrom modeTo) => TransferFunc modeFrom emit am (GenericCall modeTo -> r)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData modeFrom -> GenericCall modeTo -> r

(SingI emit, DoTransfer mode, HasClevelandCaps cap, base ~ ClevelandBaseMonad cap, a ~ FTransferResult emit) => TransferFunc mode emit am (ReaderT cap base a)

The terminating case for Cleveland monads

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData mode -> ReaderT cap base a

data HasAmount

Simple flag to track duplicate amount specification.

Constructors

HasAmount

HasNoAmount

type family InitialTransferMode addr :: TransferMode where ...

Choose the initial TransferMode based on the type of destination address.

Equations

InitialTransferMode ContractAddress = 'Unchecked

InitialTransferMode ImplicitAddress = 'Unchecked

InitialTransferMode L1Address = 'Unchecked

InitialTransferMode (L1TAddress param _) = 'Checked param

InitialTransferMode (ContractHandle param _ _) = 'Checked param

data GenericTransferData mode

Generic version of TransferData

Constructors

GenericTransferData

Fields

• gtdAddr :: L1Address
• gtdCall :: GenericCall mode
• gtdAmount :: Mutez

data GenericCall mode where

Data-kind for call specification.

Constructors

CheckedCall :: (NiceParameter epArg, HasEntrypointArg param epRef epArg) => epRef -> epArg -> GenericCall ('Checked param)

UncheckedCall :: NiceParameter epArg => EpName -> epArg -> GenericCall 'Unchecked

UnspecifiedCall :: GenericCall ('Incomplete param)

Instances

(TransferFunc modeTo emit am r, MatchModes modeFrom modeTo) => TransferFunc modeFrom emit am (GenericCall modeTo -> r)

Defined in Test.Cleveland.Internal.Actions.Transfer

Methods

transfer'r :: GenericTransferData modeFrom -> GenericCall modeTo -> r

data TransferMode

Data-kind for tracking what type of call we're making.

Constructors

Checked Type

Unchecked

Incomplete TransferMode

data STransferResult :: TransferResult -> Type where

Constructors

STransferIgnoreResult :: STransferResult ('TransferIgnoreResult :: TransferResult)

STransferWithEmits :: STransferResult ('TransferWithEmits :: TransferResult)

type family TransferWithEmitsSym0 :: TransferResult where ...

Equations

TransferWithEmitsSym0 = 'TransferWithEmits

type family TransferIgnoreResultSym0 :: TransferResult where ...

Equations

TransferIgnoreResultSym0 = 'TransferIgnoreResult

transfer :: forall addr r. (HasCallStack, TransferFunc ('Incomplete (InitialTransferMode addr)) 'TransferIgnoreResult 'HasNoAmount r, ToL1Address addr) => addr -> r

Base method for making a transfer.

You can specify additional arguments after the destination address to modify optional transfer arguments. Those can either be Mutez to specify transfer amount (0 by default), or a specially constructed call descriptor. The order is arbitrary, but it is usually more convenient to specify transfer amount first. For example:

transfer addr [tz|123u|] $ calling (ep @"Entrypoint") ()
transfer addr [tz|123u|]

If the call isn't specified, then the default entrypoint will be called with (), i.e.

transfer addr

is functionally the same as

transfer addr $ calling def ()

If the address in the first argument is untyped, the transfer is unchecked. Unchecked transfers must use unsafeCalling for the call specification. You can also use unsafeCalling with typed address to force an unchecked transfer.

See Test.Cleveland.Internal.Actions.Transfer for further explanation of the interface.

By default, the sender is the account associated with the moneybag alias. This can be overridden with the --cleveland-moneybag-alias command line option, the TASTY_CLEVELAND_MONEYBAG_ALIAS env var, or withSender.

initialData :: ToL1Address addr => addr -> GenericTransferData ('Incomplete (InitialTransferMode addr))

Construct initial GenericTransferData for a given address.

runTransfer :: (HasCallStack, MonadOpsInternal m) => TransferData -> m [ContractEvent]

Make the transfer given TransferData

calling :: forall mname. EntrypointRef mname -> forall epArg param. (NiceParameter epArg, HasEntrypointArg param (EntrypointRef mname) epArg) => epArg -> GenericCall ('Checked param)

Safely call an entrypoint specified by the first argument with the provided parameter.

The first character of the entrypoint name must be capitalized.

This is "safe" in the sense that the contract is checked if it indeed has the specified entrypoint and the entrypoint in question accepts the argument provided, a type error is raised otherwise.

transfer addr $ calling (ep @"Entrypoint") ()

Use CallDefault or def to call the default entrypoint.

transfer addr $ calling def ()

Notice that type variables for entrypoint argument and full parameter are specified after the entrypoint. This is done so more for readability. F. ex.:

transfer addr $ calling def @Integer 123

This does also marginally simplify type inference in the case of partial application.

unsafeCalling :: EpName -> forall epArg. NiceParameter epArg => epArg -> GenericCall 'Unchecked

Unsafely call an entrypoint specified by the first argument with the provided parameter.

This is "unsafe" in the sense that there is no check that the contract indeed has the specified entrypoint or that the entrypoint in question accepts the argument provided.

Also, no compile-time checks are performed on the entrypoint name, so it can be malformed.

transfer addr $ unsafeCalling (ep @"Entrypoint") ()

Overloaded labels are supported with unsafeCalling, so you can specify the entrypoint as an overloaded label:

transfer addr $ unsafeCalling #entrypoint ()

Use DefEpName or def to call the default entrypoint.

Notice that the type variable for the entrypoint argument is specified after the entrypoint. This is done so more for readability. F. ex.:

transfer addr $ calling def @Integer 123

This does also marginally simplify type inference in the case of partial application.