Michelson.Parser

Main parser type

type Parser = ReaderT LetEnv (Parsec CustomParserException Text)

Parsers

program :: Parsec CustomParserException Text (Contract' ParsedOp)

Michelson contract with let definitions

value :: Parser ParsedValue

Errors

data CustomParserException

Constructors

UnknownTypeException

StringLiteralException StringLiteralParserException

OddNumberBytesException

WrongTagArgs Natural Positive

WrongAccessArgs Natural Positive

WrongSetArgs Natural Positive

ExcessFieldAnnotation

MultiRootAnnotationException

Instances

Eq CustomParserException

Defined in Michelson.Parser.Error

Methods

(==) :: CustomParserException -> CustomParserException -> Bool

(/=) :: CustomParserException -> CustomParserException -> Bool

Data CustomParserException

Defined in Michelson.Parser.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CustomParserException -> c CustomParserException

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CustomParserException

toConstr :: CustomParserException -> Constr

dataTypeOf :: CustomParserException -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CustomParserException)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CustomParserException)

gmapT :: (forall b. Data b => b -> b) -> CustomParserException -> CustomParserException

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CustomParserException -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CustomParserException -> r

gmapQ :: (forall d. Data d => d -> u) -> CustomParserException -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CustomParserException -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CustomParserException -> m CustomParserException

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CustomParserException -> m CustomParserException

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CustomParserException -> m CustomParserException

Ord CustomParserException

Defined in Michelson.Parser.Error

Methods

compare :: CustomParserException -> CustomParserException -> Ordering

(<) :: CustomParserException -> CustomParserException -> Bool

(<=) :: CustomParserException -> CustomParserException -> Bool

(>) :: CustomParserException -> CustomParserException -> Bool

(>=) :: CustomParserException -> CustomParserException -> Bool

max :: CustomParserException -> CustomParserException -> CustomParserException

min :: CustomParserException -> CustomParserException -> CustomParserException

Show CustomParserException

Defined in Michelson.Parser.Error

Methods

showsPrec :: Int -> CustomParserException -> ShowS

show :: CustomParserException -> String

showList :: [CustomParserException] -> ShowS

Generic CustomParserException

Defined in Michelson.Parser.Error

Associated Types

type Rep CustomParserException :: Type -> Type

Methods

from :: CustomParserException -> Rep CustomParserException x

to :: Rep CustomParserException x -> CustomParserException

NFData CustomParserException

Defined in Michelson.Parser.Error

Methods

rnf :: CustomParserException -> ()

ShowErrorComponent CustomParserException

Defined in Michelson.Parser.Error

Methods

showErrorComponent :: CustomParserException -> String

errorComponentLen :: CustomParserException -> Int

Default a => Default (Parser a)

Defined in Michelson.Parser.Types

Methods

def :: Parser a

type Rep CustomParserException

Defined in Michelson.Parser.Error

type Rep CustomParserException = D1 ('MetaData "CustomParserException" "Michelson.Parser.Error" "morley-1.12.0-inplace" 'False) (((C1 ('MetaCons "UnknownTypeException" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StringLiteralException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StringLiteralParserException))) :+: (C1 ('MetaCons "OddNumberBytesException" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WrongTagArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Positive)))) :+: ((C1 ('MetaCons "WrongAccessArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Positive)) :+: C1 ('MetaCons "WrongSetArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Positive))) :+: (C1 ('MetaCons "ExcessFieldAnnotation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiRootAnnotationException" 'PrefixI 'False) (U1 :: Type -> Type))))

data ParseErrorBundle s e

A non-empty collection of ParseErrors equipped with PosState that allows to pretty-print the errors efficiently and correctly.

Since: megaparsec-7.0.0

Instances

(Eq s, Eq (Token s), Eq e) => Eq (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

(==) :: ParseErrorBundle s e -> ParseErrorBundle s e -> Bool

(/=) :: ParseErrorBundle s e -> ParseErrorBundle s e -> Bool

(Data s, Data (Token s), Ord (Token s), Data e, Ord e) => Data (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParseErrorBundle s e -> c (ParseErrorBundle s e)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ParseErrorBundle s e)

toConstr :: ParseErrorBundle s e -> Constr

dataTypeOf :: ParseErrorBundle s e -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ParseErrorBundle s e))

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (ParseErrorBundle s e))

gmapT :: (forall b. Data b => b -> b) -> ParseErrorBundle s e -> ParseErrorBundle s e

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParseErrorBundle s e -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParseErrorBundle s e -> r

gmapQ :: (forall d. Data d => d -> u) -> ParseErrorBundle s e -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ParseErrorBundle s e -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e)

(Show s, Show (Token s), Show e) => Show (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

showsPrec :: Int -> ParseErrorBundle s e -> ShowS

show :: ParseErrorBundle s e -> String

showList :: [ParseErrorBundle s e] -> ShowS

Generic (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ParseErrorBundle s e) :: Type -> Type

Methods

from :: ParseErrorBundle s e -> Rep (ParseErrorBundle s e) x

to :: Rep (ParseErrorBundle s e) x -> ParseErrorBundle s e

(Show s, Show (Token s), Show e, ShowErrorComponent e, Stream s, Typeable s, Typeable e) => Exception (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

toException :: ParseErrorBundle s e -> SomeException

fromException :: SomeException -> Maybe (ParseErrorBundle s e)

displayException :: ParseErrorBundle s e -> String

(NFData s, NFData (Token s), NFData e) => NFData (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

Methods

rnf :: ParseErrorBundle s e -> ()

type Rep (ParseErrorBundle s e)

Defined in Text.Megaparsec.Error

type Rep (ParseErrorBundle s e) = D1 ('MetaData "ParseErrorBundle" "Text.Megaparsec.Error" "megaparsec-8.0.0-6da166c09423521acac7d5c49ea2bf325ebb674ecacb8fd91e433313db5bf2ff" 'False) (C1 ('MetaCons "ParseErrorBundle" 'PrefixI 'True) (S1 ('MetaSel ('Just "bundleErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (ParseError s e))) :*: S1 ('MetaSel ('Just "bundlePosState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PosState s))))

data ParserException

Constructors

ParserException (ParseErrorBundle Text CustomParserException)

Instances

Eq ParserException

Defined in Michelson.Parser.Error

Methods

(==) :: ParserException -> ParserException -> Bool

(/=) :: ParserException -> ParserException -> Bool

Show ParserException

Defined in Michelson.Parser.Error

Methods

showsPrec :: Int -> ParserException -> ShowS

show :: ParserException -> String

showList :: [ParserException] -> ShowS

Exception ParserException

Defined in Michelson.Parser.Error

Methods

toException :: ParserException -> SomeException

fromException :: SomeException -> Maybe ParserException

displayException :: ParserException -> String

Buildable ParserException

Defined in Michelson.Parser.Error

Methods

build :: ParserException -> Builder

data StringLiteralParserException

Constructors

InvalidEscapeSequence Char

InvalidChar Char

Instances

Eq StringLiteralParserException

Defined in Michelson.Parser.Error

Methods

(==) :: StringLiteralParserException -> StringLiteralParserException -> Bool

(/=) :: StringLiteralParserException -> StringLiteralParserException -> Bool

Data StringLiteralParserException

Defined in Michelson.Parser.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StringLiteralParserException -> c StringLiteralParserException

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StringLiteralParserException

toConstr :: StringLiteralParserException -> Constr

dataTypeOf :: StringLiteralParserException -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StringLiteralParserException)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StringLiteralParserException)

gmapT :: (forall b. Data b => b -> b) -> StringLiteralParserException -> StringLiteralParserException

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StringLiteralParserException -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StringLiteralParserException -> r

gmapQ :: (forall d. Data d => d -> u) -> StringLiteralParserException -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StringLiteralParserException -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StringLiteralParserException -> m StringLiteralParserException

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLiteralParserException -> m StringLiteralParserException

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StringLiteralParserException -> m StringLiteralParserException

Ord StringLiteralParserException

Defined in Michelson.Parser.Error

Methods

compare :: StringLiteralParserException -> StringLiteralParserException -> Ordering

(<) :: StringLiteralParserException -> StringLiteralParserException -> Bool

(<=) :: StringLiteralParserException -> StringLiteralParserException -> Bool

(>) :: StringLiteralParserException -> StringLiteralParserException -> Bool

(>=) :: StringLiteralParserException -> StringLiteralParserException -> Bool

max :: StringLiteralParserException -> StringLiteralParserException -> StringLiteralParserException

min :: StringLiteralParserException -> StringLiteralParserException -> StringLiteralParserException

Show StringLiteralParserException

Defined in Michelson.Parser.Error

Methods

showsPrec :: Int -> StringLiteralParserException -> ShowS

show :: StringLiteralParserException -> String

showList :: [StringLiteralParserException] -> ShowS

Generic StringLiteralParserException

Defined in Michelson.Parser.Error

Associated Types

type Rep StringLiteralParserException :: Type -> Type

Methods

from :: StringLiteralParserException -> Rep StringLiteralParserException x

to :: Rep StringLiteralParserException x -> StringLiteralParserException

NFData StringLiteralParserException

Defined in Michelson.Parser.Error

Methods

rnf :: StringLiteralParserException -> ()

ShowErrorComponent StringLiteralParserException

Defined in Michelson.Parser.Error

Methods

showErrorComponent :: StringLiteralParserException -> String

errorComponentLen :: StringLiteralParserException -> Int

type Rep StringLiteralParserException

Defined in Michelson.Parser.Error

type Rep StringLiteralParserException = D1 ('MetaData "StringLiteralParserException" "Michelson.Parser.Error" "morley-1.12.0-inplace" 'False) (C1 ('MetaCons "InvalidEscapeSequence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Char)) :+: C1 ('MetaCons "InvalidChar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Char)))

Additional helpers

parseNoEnv :: Parser a -> String -> Text -> Either (ParseErrorBundle Text CustomParserException) a

Parse with empty environment

parseValue :: Text -> Either ParserException ParsedValue

Parse untyped value from text which comes from something that is not a file (which is often the case). So we assume it does not need any parsing environment.

parseExpandValue :: Text -> Either ParserException Value

Like parseValue, but also expands macros.

For tests

codeEntry :: Parser [ParsedOp]

Parses code block after "code" keyword of a contract.

This function is part of the module API, its semantics should not change.

ops :: Parser [ParsedOp]

type_ :: Parser Type

letInner :: Parser ParsedOp -> Parser LetEnv

Incrementally build the let environment

letType :: Parser LetType

stringLiteral :: Parser ParsedValue

bytesLiteral :: Parser (Value' op)

intLiteral :: Parser (Value' op)

parsedOp :: Parser ParsedOp

printComment :: Parser PrintComment

Quoters

utypeQ :: QuasiQuoter

Creates Type by its Morley representation.

>>> [utypeQ| (int :a | nat :b) |]
Type (TOr % % (Type (Tc CInt) :a) (Type (Tc CNat) :b)) :

uparamTypeQ :: QuasiQuoter

Creates ParameterType by its Morley representation.

Re-exports

errorBundlePretty

Arguments

:: (Stream s, ShowErrorComponent e)

=> ParseErrorBundle s e

Parse error bundle to display

-> String

Textual rendition of the bundle

Pretty-print a ParseErrorBundle. All ParseErrors in the bundle will be pretty-printed in order together with the corresponding offending lines by doing a single efficient pass over the input stream. The rendered String always ends with a newline.

Since: megaparsec-7.0.0