Morley.Michelson.Parser.Type

Parsing of Michelson types.

Documentation

type_ :: Parser le Ty

This parses arbitrary type expressions.

Note that this includes parenthesized ones for efficiency, see t_operator. That is to say, int, (int), ((int)), etc will match with this parser and produce TInt.

field :: Parser le (FieldAnn, Ty)