Lorentz.Txr1Call

Definitions for calling txr1 addresses

Documentation

data Txr1CallParam a

Call parameter for txr1 addresses. Default entrypoint doesn't exist, but here we simply represent it as having never parameter, thus uncallable.

Instances

Generic (Txr1CallParam a)

Defined in Lorentz.Txr1Call

Associated Types

type Rep (Txr1CallParam a) :: Type -> Type

Methods

from :: Txr1CallParam a -> Rep (Txr1CallParam a) x

to :: Rep (Txr1CallParam a) x -> Txr1CallParam a

HasAnnotation a => HasAnnotation (Txr1CallParam a)

Defined in Lorentz.Txr1Call

Methods

getAnnotation :: FollowEntrypointFlag -> Notes (ToT (Txr1CallParam a))

annOptions :: AnnOptions

(HasAnnotation a, NiceComparable a) => ParameterHasEntrypoints (Txr1CallParam a)

Defined in Lorentz.Txr1Call

Associated Types

type ParameterEntrypointsDerivation (Txr1CallParam a)

NiceComparable a => IsoValue (Txr1CallParam a)

Defined in Lorentz.Txr1Call

Associated Types

type ToT (Txr1CallParam a) :: T

Methods

toVal :: Txr1CallParam a -> Value (ToT (Txr1CallParam a))

fromVal :: Value (ToT (Txr1CallParam a)) -> Txr1CallParam a

type Rep (Txr1CallParam a)

Defined in Lorentz.Txr1Call

type Rep (Txr1CallParam a) = D1 ('MetaData "Txr1CallParam" "Lorentz.Txr1Call" "lorentz-0.14.1-inplace" 'False) (C1 ('MetaCons "Deposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Ticket a, TxRollupL2Address))) :+: C1 ('MetaCons "Default" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Never)))

type ParameterEntrypointsDerivation (Txr1CallParam a)

Defined in Lorentz.Txr1Call

type ParameterEntrypointsDerivation (Txr1CallParam a) = EpdPlain

type ToT (Txr1CallParam a)

Defined in Lorentz.Txr1Call

type ToT (Txr1CallParam a) = GValueType (Rep (Txr1CallParam a))

Orphan instances

(cp ~ Txr1CallParam a, vd ~ ()) => ToTAddress cp vd TxRollupAddress

Methods

toTAddress :: TxRollupAddress -> TAddress cp vd