Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Module, providing T
data type, representing Michelson
language types without annotations.
Synopsis
- data T
- = TKey
- | TUnit
- | TSignature
- | TChainId
- | TOption T
- | TList T
- | TSet T
- | TOperation
- | TContract T
- | TTicket T
- | TPair T T
- | TOr T T
- | TLambda T T
- | TMap T T
- | TBigMap T T
- | TInt
- | TNat
- | TString
- | TBytes
- | TMutez
- | TBool
- | TKeyHash
- | TBls12381Fr
- | TBls12381G1
- | TBls12381G2
- | TTimestamp
- | TAddress
- | TChest
- | TChestKey
- | TSaplingState Peano
- | TSaplingTransaction Peano
- | TNever
- toUType :: T -> Ty
- buildStack :: [T] -> Builder
Documentation
Michelson language type with annotations stripped off.
Instances
buildStack :: [T] -> Builder Source #
Format type stack in a pretty way.