Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum

A Enum type that has constructors matching those of typed Instr.

Documentation

data InstrEnum

A enum type with the same constructors as Instr. Used to specify classifications a little more safely.

Constructors

WithLoc

Meta

FrameInstr

Seq

Nop

Ext

Nested

DocGroup

AnnCAR

AnnCDR

DROP

DROPN

AnnDUP

AnnDUPN

SWAP

DIG

DUG

AnnPUSH

AnnSOME

AnnNONE

AnnUNIT

IF_NONE

AnnPAIR

AnnUNPAIR

AnnPAIRN

UNPAIRN

AnnLEFT

AnnRIGHT

IF_LEFT

AnnNIL

AnnCONS

IF_CONS

AnnSIZE

AnnEMPTY_SET

AnnEMPTY_MAP

AnnEMPTY_BIG_MAP

AnnMAP

ITER

AnnMEM

AnnGET

AnnGETN

AnnUPDATE

AnnUPDATEN

AnnGET_AND_UPDATE

IF

LOOP

LOOP_LEFT

AnnLAMBDA

AnnLAMBDA_REC

AnnEXEC

AnnAPPLY

DIP

DIPN

FAILWITH

AnnCAST

AnnRENAME

AnnPACK

AnnUNPACK

AnnCONCAT

AnnCONCAT'

AnnSLICE

AnnISNAT

AnnADD

AnnSUB

AnnSUB_MUTEZ

AnnMUL

AnnEDIV

AnnABS

AnnNEG

AnnLSL

AnnLSR

AnnOR

AnnAND

AnnXOR

AnnNOT

AnnCOMPARE

AnnEQ

AnnNEQ

AnnLT

AnnGT

AnnLE

AnnGE

AnnINT

AnnVIEW

AnnSELF

AnnCONTRACT

AnnTRANSFER_TOKENS

AnnSET_DELEGATE

AnnCREATE_CONTRACT

AnnIMPLICIT_ACCOUNT

AnnNOW

AnnAMOUNT

AnnBALANCE

AnnVOTING_POWER

AnnTOTAL_VOTING_POWER

AnnCHECK_SIGNATURE

AnnSHA256

AnnSHA512

AnnBLAKE2B

AnnSHA3

AnnKECCAK

AnnHASH_KEY

AnnPAIRING_CHECK

AnnSOURCE

AnnSENDER

AnnADDRESS

AnnCHAIN_ID

AnnLEVEL

AnnSELF_ADDRESS

NEVER

AnnTICKET_DEPRECATED

AnnTICKET

AnnREAD_TICKET

AnnSPLIT_TICKET

AnnJOIN_TICKETS

AnnOPEN_CHEST

AnnSAPLING_EMPTY_STATE

AnnSAPLING_VERIFY_UPDATE

AnnMIN_BLOCK_TIME

AnnEMIT

Instances

Bounded InstrEnum

Defined in Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum

Methods

minBound :: InstrEnum

maxBound :: InstrEnum

Enum InstrEnum

Defined in Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum

Methods

succ :: InstrEnum -> InstrEnum

pred :: InstrEnum -> InstrEnum

toEnum :: Int -> InstrEnum

fromEnum :: InstrEnum -> Int

enumFrom :: InstrEnum -> [InstrEnum]

enumFromThen :: InstrEnum -> InstrEnum -> [InstrEnum]

enumFromTo :: InstrEnum -> InstrEnum -> [InstrEnum]

enumFromThenTo :: InstrEnum -> InstrEnum -> InstrEnum -> [InstrEnum]

Show InstrEnum

Defined in Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum

Methods

showsPrec :: Int -> InstrEnum -> ShowS

show :: InstrEnum -> String

showList :: [InstrEnum] -> ShowS

Eq InstrEnum

Defined in Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum

Methods

(==) :: InstrEnum -> InstrEnum -> Bool

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

Ord InstrEnum

Defined in Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum

Methods

compare :: InstrEnum -> InstrEnum -> Ordering

(<) :: InstrEnum -> InstrEnum -> Bool

(<=) :: InstrEnum -> InstrEnum -> Bool

(>) :: InstrEnum -> InstrEnum -> Bool

(>=) :: InstrEnum -> InstrEnum -> Bool

max :: InstrEnum -> InstrEnum -> InstrEnum

min :: InstrEnum -> InstrEnum -> InstrEnum

fromName :: Name -> InstrEnum

Turn a Name into its corresponding InstrEnum. NB: partial function!