| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.Parser.Types
Contents
Description
Core parser types
Synopsis
- type Parser a r = HasLetEnv a => Parser' a r
- type Parser' a = ReaderT a (Parsec CustomParserException Text)
- data LetEnv = LetEnv {}
- noLetEnv :: LetEnv
- class HasLetEnv a where
- assertLetEnv :: forall le. Parser le (le :~: LetEnv)
- withLetEnv :: forall le a. Parser' LetEnv a -> Parser le a
- data MichelsonSource where
- MSFile FilePath
- MSName Text
- MSCode SrcLoc
- MSUnspecified
- pattern MSStdin :: MichelsonSource
- pattern MSCli :: MichelsonSource
- codeSrc :: HasCallStack => MichelsonSource
Documentation
Deprecated: Let macros are deprecated
The environment containing lets from the let-block
Constructors
| LetEnv | Deprecated: Let macros are deprecated |
data MichelsonSource Source #
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 |
| pattern MSCli :: MichelsonSource | Designates command line input source. |
Instances
| Eq MichelsonSource Source # | |
Defined in Morley.Michelson.Parser.Types Methods (==) :: MichelsonSource -> MichelsonSource -> Bool # (/=) :: MichelsonSource -> MichelsonSource -> Bool # | |
| Show MichelsonSource Source # | |
Defined in Morley.Michelson.Parser.Types Methods showsPrec :: Int -> MichelsonSource -> ShowS # show :: MichelsonSource -> String # showList :: [MichelsonSource] -> ShowS # | |
| IsString MichelsonSource Source # | |
Defined in Morley.Michelson.Parser.Types Methods fromString :: String -> MichelsonSource # | |
| Buildable MichelsonSource Source # | |
Defined in Morley.Michelson.Parser.Types Methods build :: MichelsonSource -> Builder # | |
codeSrc :: HasCallStack => MichelsonSource Source #
MichelsonSource that points to the current position.