Michelson.Untyped.Instr

Michelson instructions in untyped model.

Documentation

data InstrAbstract op

Michelson instruction with abstract parameter op. This parameter is necessary, because at different stages of our pipeline it will be different. Initially it can contain macros and non-flattened instructions, but then it contains only vanilla Michelson instructions.

Constructors

EXT (ExtInstrAbstract op)

DROP

DUP VarAnn

SWAP

PUSH VarAnn Type (Value' op)

SOME TypeAnn VarAnn FieldAnn

NONE TypeAnn VarAnn FieldAnn Type

UNIT TypeAnn VarAnn

IF_NONE [op] [op]

PAIR TypeAnn VarAnn FieldAnn FieldAnn

CAR VarAnn FieldAnn

CDR VarAnn FieldAnn

LEFT TypeAnn VarAnn FieldAnn FieldAnn Type

RIGHT TypeAnn VarAnn FieldAnn FieldAnn Type

IF_LEFT [op] [op]

NIL TypeAnn VarAnn Type

CONS VarAnn

IF_CONS [op] [op]

SIZE VarAnn

EMPTY_SET TypeAnn VarAnn Comparable

EMPTY_MAP TypeAnn VarAnn Comparable Type

MAP VarAnn [op]

ITER [op]

MEM VarAnn

GET VarAnn

UPDATE

IF [op] [op]

LOOP [op]

LOOP_LEFT [op]

LAMBDA VarAnn Type Type [op]

EXEC VarAnn

DIP [op]

FAILWITH

CAST VarAnn Type

RENAME VarAnn

PACK VarAnn

UNPACK VarAnn Type

CONCAT VarAnn

SLICE VarAnn

ISNAT VarAnn

ADD VarAnn

SUB VarAnn

MUL VarAnn

EDIV VarAnn

ABS VarAnn

NEG

LSL VarAnn

LSR VarAnn

OR VarAnn

AND VarAnn

XOR VarAnn

NOT VarAnn

COMPARE VarAnn

EQ VarAnn

NEQ VarAnn

LT VarAnn

GT VarAnn

LE VarAnn

GE VarAnn

INT VarAnn

SELF VarAnn

CONTRACT VarAnn Type

TRANSFER_TOKENS VarAnn

SET_DELEGATE VarAnn

CREATE_ACCOUNT VarAnn VarAnn

CREATE_CONTRACT VarAnn VarAnn (Contract' op)

IMPLICIT_ACCOUNT VarAnn

NOW VarAnn

AMOUNT VarAnn

BALANCE VarAnn

CHECK_SIGNATURE VarAnn

SHA256 VarAnn

SHA512 VarAnn

BLAKE2B VarAnn

HASH_KEY VarAnn

STEPS_TO_QUOTA VarAnn

SOURCE VarAnn

SENDER VarAnn

ADDRESS VarAnn

Instances

Functor InstrAbstract

Defined in Michelson.Untyped.Instr

Methods

fmap :: (a -> b) -> InstrAbstract a -> InstrAbstract b

(<$) :: a -> InstrAbstract b -> InstrAbstract a

Eq op => Eq (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

(==) :: InstrAbstract op -> InstrAbstract op -> Bool

(/=) :: InstrAbstract op -> InstrAbstract op -> Bool

Data op => Data (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InstrAbstract op -> c (InstrAbstract op)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (InstrAbstract op)

toConstr :: InstrAbstract op -> Constr

dataTypeOf :: InstrAbstract op -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (InstrAbstract op))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (InstrAbstract op))

gmapT :: (forall b. Data b => b -> b) -> InstrAbstract op -> InstrAbstract op

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InstrAbstract op -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InstrAbstract op -> r

gmapQ :: (forall d. Data d => d -> u) -> InstrAbstract op -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> InstrAbstract op -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InstrAbstract op -> m (InstrAbstract op)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InstrAbstract op -> m (InstrAbstract op)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InstrAbstract op -> m (InstrAbstract op)

Show op => Show (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> InstrAbstract op -> ShowS

show :: InstrAbstract op -> String

showList :: [InstrAbstract op] -> ShowS

Generic (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Associated Types

type Rep (InstrAbstract op) :: Type -> Type

Methods

from :: InstrAbstract op -> Rep (InstrAbstract op) x

to :: Rep (InstrAbstract op) x -> InstrAbstract op

(Arbitrary op, Arbitrary (ExtInstrAbstract op)) => Arbitrary (InstrAbstract op)

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen (InstrAbstract op)

shrink :: InstrAbstract op -> [InstrAbstract op]

ToJSON op => ToJSON (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

toJSON :: InstrAbstract op -> Value

toEncoding :: InstrAbstract op -> Encoding

toJSONList :: [InstrAbstract op] -> Value

toEncodingList :: [InstrAbstract op] -> Encoding

FromJSON op => FromJSON (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser (InstrAbstract op)

parseJSONList :: Value -> Parser [InstrAbstract op]

(RenderDoc op, Buildable op) => Buildable (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

build :: InstrAbstract op -> Builder

(Arbitrary op, ToADTArbitrary op, Arbitrary (ExtInstrAbstract op)) => ToADTArbitrary (InstrAbstract op)

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy (InstrAbstract op) -> Gen (ADTArbitrarySingleton (InstrAbstract op))

toADTArbitrary :: Proxy (InstrAbstract op) -> Gen (ADTArbitrary (InstrAbstract op))

RenderDoc op => RenderDoc (InstrAbstract op)

Defined in Michelson.Untyped.Instr

Methods

renderDoc :: InstrAbstract op -> Doc

isRenderable :: InstrAbstract op -> Bool

type Rep (InstrAbstract op)

Defined in Michelson.Untyped.Instr

type Rep (InstrAbstract op) = D1 (MetaData "InstrAbstract" "Michelson.Untyped.Instr" "morley-0.3.0.1-Avb9bjjqJWNEobyGi9OGAh" False) ((((((C1 (MetaCons "EXT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ExtInstrAbstract op))) :+: C1 (MetaCons "DROP" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DUP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SWAP" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "PUSH" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value' op)))) :+: C1 (MetaCons "SOME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)))) :+: (C1 (MetaCons "NONE" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))) :+: (C1 (MetaCons "UNIT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "IF_NONE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])))))) :+: (((C1 (MetaCons "PAIR" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: C1 (MetaCons "CAR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn))) :+: (C1 (MetaCons "CDR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn)) :+: (C1 (MetaCons "LEFT" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: C1 (MetaCons "RIGHT" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FieldAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))))) :+: ((C1 (MetaCons "IF_LEFT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "NIL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "CONS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "IF_CONS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "SIZE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))))) :+: ((((C1 (MetaCons "EMPTY_SET" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable))) :+: C1 (MetaCons "EMPTY_MAP" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comparable) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)))) :+: (C1 (MetaCons "MAP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "ITER" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "MEM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "GET" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "UPDATE" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "IF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "LOOP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: C1 (MetaCons "LOOP_LEFT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])))))) :+: (((C1 (MetaCons "LAMBDA" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op]))) :+: C1 (MetaCons "EXEC" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "DIP" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [op])) :+: (C1 (MetaCons "FAILWITH" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CAST" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type))))) :+: ((C1 (MetaCons "RENAME" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "PACK" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "UNPACK" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: (C1 (MetaCons "CONCAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SLICE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))))) :+: (((((C1 (MetaCons "ISNAT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "ADD" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "SUB" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "MUL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "EDIV" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "ABS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "NEG" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "LSL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "LSR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "OR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))) :+: (((C1 (MetaCons "AND" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "XOR" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "NOT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "COMPARE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "EQ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "NEQ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "LT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "GT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "LE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "GE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))))) :+: ((((C1 (MetaCons "INT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SELF" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "CONTRACT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type)) :+: (C1 (MetaCons "TRANSFER_TOKENS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "SET_DELEGATE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "CREATE_ACCOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "CREATE_CONTRACT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Contract' op))))) :+: (C1 (MetaCons "IMPLICIT_ACCOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "NOW" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "AMOUNT" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))) :+: (((C1 (MetaCons "BALANCE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "CHECK_SIGNATURE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "SHA256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SHA512" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "BLAKE2B" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))))) :+: ((C1 (MetaCons "HASH_KEY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "STEPS_TO_QUOTA" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn))) :+: (C1 (MetaCons "SOURCE" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: (C1 (MetaCons "SENDER" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)) :+: C1 (MetaCons "ADDRESS" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 VarAnn)))))))))

newtype Op

Constructors

Op

Fields

• unOp :: Instr

Instances

Eq Op

Defined in Michelson.Untyped.Instr

Methods

(==) :: Op -> Op -> Bool

(/=) :: Op -> Op -> Bool

Show Op

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> Op -> ShowS

show :: Op -> String

showList :: [Op] -> ShowS

Generic Op

Defined in Michelson.Untyped.Instr

Associated Types

type Rep Op :: Type -> Type

Methods

from :: Op -> Rep Op x

to :: Rep Op x -> Op

ToJSON Op

Defined in Michelson.Untyped.Instr

Methods

toJSON :: Op -> Value

toEncoding :: Op -> Encoding

toJSONList :: [Op] -> Value

toEncodingList :: [Op] -> Encoding

FromJSON Op

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser Op

parseJSONList :: Value -> Parser [Op]

Buildable Op

Defined in Michelson.Untyped.Instr

Methods

build :: Op -> Builder

RenderDoc Op

Defined in Michelson.Untyped.Instr

Methods

renderDoc :: Op -> Doc

isRenderable :: Op -> Bool

type Rep Op

Defined in Michelson.Untyped.Instr

type Rep Op = D1 (MetaData "Op" "Michelson.Untyped.Instr" "morley-0.3.0.1-Avb9bjjqJWNEobyGi9OGAh" True) (C1 (MetaCons "Op" PrefixI True) (S1 (MetaSel (Just "unOp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instr)))

type Instr = InstrAbstract Op

data ExpandedOp

Constructors

PrimEx ExpandedInstr

SeqEx [ExpandedOp]

WithSrcEx InstrCallStack ExpandedOp

Instances

Eq ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

(==) :: ExpandedOp -> ExpandedOp -> Bool

(/=) :: ExpandedOp -> ExpandedOp -> Bool

Data ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExpandedOp -> c ExpandedOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExpandedOp

toConstr :: ExpandedOp -> Constr

dataTypeOf :: ExpandedOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExpandedOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExpandedOp)

gmapT :: (forall b. Data b => b -> b) -> ExpandedOp -> ExpandedOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExpandedOp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExpandedOp -> r

gmapQ :: (forall d. Data d => d -> u) -> ExpandedOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExpandedOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExpandedOp -> m ExpandedOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExpandedOp -> m ExpandedOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExpandedOp -> m ExpandedOp

Show ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> ExpandedOp -> ShowS

show :: ExpandedOp -> String

showList :: [ExpandedOp] -> ShowS

Generic ExpandedOp

Defined in Michelson.Untyped.Instr

Associated Types

type Rep ExpandedOp :: Type -> Type

Methods

from :: ExpandedOp -> Rep ExpandedOp x

to :: Rep ExpandedOp x -> ExpandedOp

Arbitrary ExpandedOp

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen ExpandedOp

shrink :: ExpandedOp -> [ExpandedOp]

Arbitrary ExpandedExtInstr

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen ExpandedExtInstr

shrink :: ExpandedExtInstr -> [ExpandedExtInstr]

ToJSON ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

toJSON :: ExpandedOp -> Value

toEncoding :: ExpandedOp -> Encoding

toJSONList :: [ExpandedOp] -> Value

toEncodingList :: [ExpandedOp] -> Encoding

FromJSON ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser ExpandedOp

parseJSONList :: Value -> Parser [ExpandedOp]

Buildable ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

build :: ExpandedOp -> Builder

ToADTArbitrary ExpandedOp

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy ExpandedOp -> Gen (ADTArbitrarySingleton ExpandedOp)

toADTArbitrary :: Proxy ExpandedOp -> Gen (ADTArbitrary ExpandedOp)

RenderDoc ExpandedOp

Defined in Michelson.Untyped.Instr

Methods

renderDoc :: ExpandedOp -> Doc

isRenderable :: ExpandedOp -> Bool

IsContract Contract

Defined in Lorentz.Discover

Methods

toUntypedContract :: Contract -> Contract

type Rep ExpandedOp

Defined in Michelson.Untyped.Instr

type Rep ExpandedOp = D1 (MetaData "ExpandedOp" "Michelson.Untyped.Instr" "morley-0.3.0.1-Avb9bjjqJWNEobyGi9OGAh" False) (C1 (MetaCons "PrimEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExpandedInstr)) :+: (C1 (MetaCons "SeqEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ExpandedOp])) :+: C1 (MetaCons "WithSrcEx" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InstrCallStack) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExpandedOp))))

type ExpandedInstr = InstrAbstract ExpandedOp

type InstrExtU = ExtInstrAbstract Op

type ExpandedInstrExtU = ExtInstrAbstract ExpandedOp

flattenExpandedOp :: ExpandedOp -> [ExpandedInstr]

Flatten all SeqEx in ExpandedOp. This function is mostly for testing. It returns instructions with the same logic, but they are not strictly equivalent, because they are serialized differently (grouping instructions into sequences affects the way they are PACK'ed).

Note: it does not return a list of Instr because this type is not used anywhere and should probably be removed.

Contract's address

data OriginationOperation

Data necessary to originate a contract.

Constructors

OriginationOperation

Fields

• ooManager :: !KeyHash

  Manager of the contract.

• ooDelegate :: !(Maybe KeyHash)

  Optional delegate.

• ooSpendable :: !Bool

  Whether the contract is spendable.

• ooDelegatable :: !Bool

  Whether the contract is delegatable.

• ooBalance :: !Mutez

  Initial balance of the contract.

• ooStorage :: !(Value' ExpandedOp)

  Initial storage value of the contract.

• ooContract :: !(Contract' ExpandedOp)

  The contract itself.

Instances

Show OriginationOperation

Defined in Michelson.Untyped.Instr

Methods

showsPrec :: Int -> OriginationOperation -> ShowS

show :: OriginationOperation -> String

showList :: [OriginationOperation] -> ShowS

Generic OriginationOperation

Defined in Michelson.Untyped.Instr

Associated Types

type Rep OriginationOperation :: Type -> Type

Methods

from :: OriginationOperation -> Rep OriginationOperation x

to :: Rep OriginationOperation x -> OriginationOperation

ToJSON OriginationOperation

Defined in Michelson.Untyped.Instr

Methods

toJSON :: OriginationOperation -> Value

toEncoding :: OriginationOperation -> Encoding

toJSONList :: [OriginationOperation] -> Value

toEncodingList :: [OriginationOperation] -> Encoding

FromJSON OriginationOperation

Defined in Michelson.Untyped.Instr

Methods

parseJSON :: Value -> Parser OriginationOperation

parseJSONList :: Value -> Parser [OriginationOperation]

type Rep OriginationOperation

Defined in Michelson.Untyped.Instr

type Rep OriginationOperation = D1 (MetaData "OriginationOperation" "Michelson.Untyped.Instr" "morley-0.3.0.1-Avb9bjjqJWNEobyGi9OGAh" False) (C1 (MetaCons "OriginationOperation" PrefixI True) ((S1 (MetaSel (Just "ooManager") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 KeyHash) :*: (S1 (MetaSel (Just "ooDelegate") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Maybe KeyHash)) :*: S1 (MetaSel (Just "ooSpendable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool))) :*: ((S1 (MetaSel (Just "ooDelegatable") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool) :*: S1 (MetaSel (Just "ooBalance") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Mutez)) :*: (S1 (MetaSel (Just "ooStorage") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Value' ExpandedOp)) :*: S1 (MetaSel (Just "ooContract") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Contract' ExpandedOp))))))

mkContractAddress :: OriginationOperation -> Address

Compute address of a contract from its origination operation.

TODO [TM-62] It's certainly imprecise, real Tezos implementation doesn't use JSON, but we don't need precise format yet, so we just use some serialization format (JSON because we have necessary instances already).