Morley.Michelson.Parser.Types

Core parser types

Documentation

type Parser = ReaderT LetEnv (Parsec CustomParserException Text)

data LetEnv

The environment containing lets from the let-block

Constructors

LetEnv

Fields

• letMacros :: Map Text LetMacro
• letValues :: Map Text LetValue
• letTypes :: Map Text LetType

Instances

Eq LetEnv

Defined in Morley.Michelson.Parser.Types

Methods

(==) :: LetEnv -> LetEnv -> Bool

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

Show LetEnv

Defined in Morley.Michelson.Parser.Types

Methods

showsPrec :: Int -> LetEnv -> ShowS

show :: LetEnv -> String

showList :: [LetEnv] -> ShowS

Default a => Default (Parser a)

Defined in Morley.Michelson.Parser.Types

Methods

def :: Parser a

noLetEnv :: LetEnv

data MichelsonSource

Where a contract or value in Michelson comes from.

Constructors

MSFile FilePath

From given file.

MSName Text

Only source name is known.

MSCode SrcLoc

Defined in Haskell code.

MSUnspecified

Some unknown source.

Bundled Patterns

pattern MSStdin :: MichelsonSource

Designates stdin source.

pattern MSCli :: MichelsonSource

Designates command line input source.

Instances

Eq MichelsonSource

Defined in Morley.Michelson.Parser.Types

Methods

(==) :: MichelsonSource -> MichelsonSource -> Bool

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

Show MichelsonSource

Defined in Morley.Michelson.Parser.Types

Methods

showsPrec :: Int -> MichelsonSource -> ShowS

show :: MichelsonSource -> String

showList :: [MichelsonSource] -> ShowS

IsString MichelsonSource

Defined in Morley.Michelson.Parser.Types

Methods

fromString :: String -> MichelsonSource

Buildable MichelsonSource

Defined in Morley.Michelson.Parser.Types

Methods

build :: MichelsonSource -> Builder

codeSrc :: HasCallStack => MichelsonSource

MichelsonSource that points to the current position.