Safe Haskell | None |
---|---|
Language | Haskell2010 |
Module, containing functions to convert Michelson.Untyped.Type
to
Michelson.Typed.T.T
Michelson type representation (type stripped off all
annotations) and to Michelson.Typed.Annotation.Notes
value (which contains
field and type annotations for a given Michelson type).
I.e. Michelson.Untyped.Type
is split to value t :: T
and value of type
Notes t
for which t
is a type representation of value t
.