Safe Haskell | None |
---|---|
Language | Haskell2010 |
Michelson types represented in untyped model.
Synopsis
- data Type = Type ~T TypeAnn
- data T
- = TKey
- | TUnit
- | TSignature
- | TChainId
- | TOption Type
- | TList Type
- | TSet Type
- | TOperation
- | TContract Type
- | TPair FieldAnn FieldAnn VarAnn VarAnn Type Type
- | TOr FieldAnn FieldAnn Type Type
- | TLambda Type Type
- | TMap Type Type
- | TBigMap Type Type
- | TInt
- | TNat
- | TString
- | TBytes
- | TMutez
- | TBool
- | TKeyHash
- | TBls12381Fr
- | TBls12381G1
- | TBls12381G2
- | TTimestamp
- | TAddress
- | TNever
- data ParameterType = ParameterType Type RootAnn
- toption :: Type -> T
- tpair :: Type -> Type -> T
- tor :: Type -> Type -> T
- tyint :: Type
- tynat :: Type
- tyunit :: Type
- tybool :: Type
- typair :: Type -> Type -> Type
- tyor :: Type -> Type -> Type
- tyImplicitAccountParam :: Type
- isAtomicType :: Type -> Bool
- isKey :: Type -> Bool
- isSignature :: Type -> Bool
- isComparable :: Type -> Bool
- isMutez :: Type -> Bool
- isKeyHash :: Type -> Bool
- isBool :: Type -> Bool
- isString :: Type -> Bool
- isInteger :: Type -> Bool
- isTimestamp :: Type -> Bool
- isNat :: Type -> Bool
- isInt :: Type -> Bool
- isBytes :: Type -> Bool
- renderType :: T -> Bool -> RenderContext -> AnnotationSet -> Doc
- unwrapT :: Type -> T
Documentation
Instances
Instances
data ParameterType Source #
Since Babylon parameter type can have special root annotation.
Instances
tyImplicitAccountParam :: Type Source #
For implicit account, which type its parameter seems to have from outside.
isAtomicType :: Type -> Bool Source #
isSignature :: Type -> Bool Source #
isComparable :: Type -> Bool Source #
isTimestamp :: Type -> Bool Source #
renderType :: T -> Bool -> RenderContext -> AnnotationSet -> Doc Source #