| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore.Parser
Synopsis
- parse :: (MonadError ParserErrorBundle m, MonadQuote m) => Parser a -> String -> Text -> m a
- term :: Parser PTerm
- program :: Parser (Program Name DefaultUni DefaultFun SrcSpan)
- parseTerm :: (MonadError ParserErrorBundle m, MonadQuote m) => Text -> m PTerm
- parseProgram :: (MonadError ParserErrorBundle m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan)
- parseScoped :: forall (uni :: Type -> Type) fun m. (MonadError (Error uni fun SrcSpan) m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan)
- type Parser = ParsecT ParserError Text (StateT ParserState (ReaderT (Maybe Version) Quote))
- data SourcePos
Documentation
parse :: (MonadError ParserErrorBundle m, MonadQuote m) => Parser a -> String -> Text -> m a Source #
program :: Parser (Program Name DefaultUni DefaultFun SrcSpan) Source #
Parser for UPLC programs.
parseTerm :: (MonadError ParserErrorBundle m, MonadQuote m) => Text -> m PTerm Source #
Parse a UPLC term. The resulting program will have fresh names. The underlying monad must be capable of handling any parse errors.
parseProgram :: (MonadError ParserErrorBundle m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan) Source #
parseScoped :: forall (uni :: Type -> Type) fun m. (MonadError (Error uni fun SrcSpan) m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan) Source #
Parse and rewrite so that names are globally unique, not just unique within their scope.
type Parser = ParsecT ParserError Text (StateT ParserState (ReaderT (Maybe Version) Quote)) Source #