Lorentz.EntryPoints.Impl

Common implementations of entrypoints.

Documentation

data EpdPlain

Implementation of ParameterHasEntryPoints which fits for case when your contract exposes multiple entrypoints via having sum type as its parameter.

In particular, each constructor would produce a homonymous entrypoint with argument type equal to type of constructor field (each constructor should have only one field). Constructor called Default will designate the default entrypoint.

Instances

PlainEntryPointsC EpdPlain cp => EntryPointsDerivation EpdPlain cp

Defined in Lorentz.EntryPoints.Impl

Associated Types

type EpdAllEntryPoints EpdPlain cp :: [(Symbol, Type)]

type EpdLookupEntryPoint EpdPlain cp :: Symbol -> Exp (Maybe Type)

Methods

epdNotes :: Notes (ToT cp)

epdCall :: (KnownSymbol name, ParameterScope (ToT cp)) => Label name -> EpConstructionRes (ToT cp) (Eval (EpdLookupEntryPoint EpdPlain cp name))

type EpdAllEntryPoints EpdPlain cp

Defined in Lorentz.EntryPoints.Impl

type EpdAllEntryPoints EpdPlain cp

type EpdLookupEntryPoint EpdPlain cp

Defined in Lorentz.EntryPoints.Impl

type EpdLookupEntryPoint EpdPlain cp

data EpdRecursive

Extension of EpdPlain on parameters being defined as several nested datatypes.

In particular, this will traverse sum types recursively, stopping at Michelson primitives (like Natural) and constructors with number of fields different from one.

It does not assign names to intermediate nodes of Or tree, only to the very leaves.

If some entrypoint arguments have custom IsoValue instance, this derivation way will not work. As a workaround, you can wrap your argument into some primitive (e.g. :!).

Instances

PlainEntryPointsC EpdRecursive cp => EntryPointsDerivation EpdRecursive cp

Defined in Lorentz.EntryPoints.Impl

Associated Types

type EpdAllEntryPoints EpdRecursive cp :: [(Symbol, Type)]

type EpdLookupEntryPoint EpdRecursive cp :: Symbol -> Exp (Maybe Type)

Methods

epdNotes :: Notes (ToT cp)

epdCall :: (KnownSymbol name, ParameterScope (ToT cp)) => Label name -> EpConstructionRes (ToT cp) (Eval (EpdLookupEntryPoint EpdRecursive cp name))

type EpdAllEntryPoints EpdRecursive cp

Defined in Lorentz.EntryPoints.Impl

type EpdAllEntryPoints EpdRecursive cp

type EpdLookupEntryPoint EpdRecursive cp

Defined in Lorentz.EntryPoints.Impl

type EpdLookupEntryPoint EpdRecursive cp

data EpdDelegate

Extension of EpdPlain on parameters being defined as several nested datatypes.

In particular, it will traverse the immediate sum type, and require another ParameterHasEntryPoints for the inner complex datatypes. Only those inner types are considered which are the only fields in their respective constructors. Inner types should not themselves declare default entrypoint, we enforce this for better modularity. Each top-level constructor will be treated as entrypoint even if it contains a complex datatype within, in such case that would be an entrypoint corresponding to intermediate node in or tree.

Comparing to EpdRecursive this gives you more control over where and how entrypoints will be derived.

Instances

PlainEntryPointsC EpdDelegate cp => EntryPointsDerivation EpdDelegate cp

Defined in Lorentz.EntryPoints.Impl

Associated Types

type EpdAllEntryPoints EpdDelegate cp :: [(Symbol, Type)]

type EpdLookupEntryPoint EpdDelegate cp :: Symbol -> Exp (Maybe Type)

Methods

epdNotes :: Notes (ToT cp)

epdCall :: (KnownSymbol name, ParameterScope (ToT cp)) => Label name -> EpConstructionRes (ToT cp) (Eval (EpdLookupEntryPoint EpdDelegate cp name))

type EpdAllEntryPoints EpdDelegate cp

Defined in Lorentz.EntryPoints.Impl

type EpdAllEntryPoints EpdDelegate cp

type EpdLookupEntryPoint EpdDelegate cp

Defined in Lorentz.EntryPoints.Impl

type EpdLookupEntryPoint EpdDelegate cp