Michelson.TypeCheck.TypeCheck

Documentation

type TcInstrHandler = forall inp. Typeable inp => ExpandedInstr -> HST inp -> TypeCheckInstr (SomeInstr inp)

type TcOriginatedContracts = Map Address Type

type TcResult inp = Either TCError (SomeInstr inp)

data TypeCheckEnv

The typechecking state

Constructors

TypeCheckEnv

Fields

• tcExtFrames :: TcExtFrames
• tcContractParam :: Type
• tcContracts :: TcOriginatedContracts

type TypeCheck a = ExceptT TCError (State TypeCheckEnv) a

runTypeCheck :: Type -> TcOriginatedContracts -> TypeCheck a -> Either TCError a

type TypeCheckInstr a = ReaderT InstrCallStack (ExceptT TCError (State TypeCheckEnv)) a

runTypeCheckTest :: TypeCheck a -> Either TCError a

Run type checker as if it worked isolated from other world - no access to environment of the current contract is allowed.

Use this function for test purposes only.

tcContractParamL :: Lens' TypeCheckEnv Type

tcContractsL :: Lens' TypeCheckEnv TcOriginatedContracts

tcExtFramesL :: Lens' TypeCheckEnv TcExtFrames