Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-core-1.70.0.0

PlutusCore.Parser

6 types
58 values

Packageplutus-core-1.70.0.0
Exports64
LicenceApache-2.0
SourcePos.hs

valueparseProgram

:: (MonadError ParserErrorBundle m, MonadQuote m)
=> Text
-> m (Program TyName Name DefaultUni DefaultFun SrcSpan)

valueparseTerm

:: (MonadError ParserErrorBundle m, MonadQuote m)
=> Text
-> m (Term TyName Name DefaultUni DefaultFun SrcSpan)

valueparseType

:: (MonadError ParserErrorBundle m, MonadQuote m)
=> Text
-> m (Type TyName DefaultUni SrcSpan)

valueprogram :: Parser (Program TyName Name DefaultUni DefaultFun SrcSpan)

valuebuiltinFunction :: Parser DefaultFun

valuecachedBuiltin :: Map Text DefaultFun

valuecon0xBS :: Parser ByteString

valueconArray :: DefaultUni (Esc a) -> Parser (Vector a)

valueconBLS12_381_G1_Element :: Parser Element

valueconBLS12_381_G2_Element :: Parser Element

valueconBS :: Parser ByteString

valueconBool :: Parser Bool

valueconData :: ExpectParens -> Parser Data

valueconDataNoParens :: Parser Data

valueconInteger :: Parser Integer

valueconList :: DefaultUni (Esc a) -> Parser [a]

valueconPair :: DefaultUni (Esc a) -> DefaultUni (Esc b) -> Parser (a, b)

valueconText :: Parser Text

valueconUnit :: Parser ()

valueconValue :: Parser Value

valueconstant :: Parser (Some (ValueOf DefaultUni))

valueconstantOf :: ExpectParens -> DefaultUni (Esc a) -> Parser a

valuehexByte :: Parser Word8

valuegetSourcePos' :: MonadParsec e Text m => m SourcePos

valuegetVersion :: Parser (Maybe Version)

valueinBraces :: Parser a -> Parser a

valueinBrackets :: Parser a -> Parser a

valueinParens :: Parser a -> Parser a

valueinitial :: ParserState

valueleadingWhitespace :: Parser a -> Parser a

valuelexeme :: Parser a -> Parser a

valuename :: Parser Name

valueparse

:: (MonadError ParserErrorBundle m, MonadQuote m)
=> Parser a
-> String
-> Text
-> m a

valueparseGen

:: (MonadError ParserErrorBundle m, MonadQuote m)
=> Parser a
-> Text
-> m a

valuereachOffsetNoLine'

:: Stream s
=> Int -> s -> (Tokens s, s)
-> forall b. (b -> Token s -> b) -> b -> Tokens s -> b
-> (Token s, Token s)
-> Token s -> Pos
-> Int
-> PosState s
-> PosState s

valuesymbol :: Text -> Parser Text

valuetoErrorB

:: Either (ParseErrorBundle Text ParserError) a
-> Either ParserErrorBundle a

valuetoSrcSpan :: SourcePos -> SourcePos -> SrcSpan

valuetrailingWhitespace :: Parser a -> Parser a

valueversion :: Parser Version

valuewhenVersion :: (Version -> Bool) -> Parser () -> Parser ()

valuewhitespace :: Parser ()

valuewithSpan :: (SrcSpan -> Parser a) -> Parser a

valuewithSpan' :: (SrcSpan -> Parser a) -> Parser a

valuewithVersion :: Version -> Parser a -> Parser a

valueallType :: Parser PType

valueappType :: Parser PType

valuebuiltinType :: Parser PType

valuedefaultUni :: Parser (SomeTypeIn (Kinded DefaultUni))

valuedefaultUniApplication :: Parser (SomeTypeIn (Kinded DefaultUni))

valuefunType :: Parser PType

valueifixType :: Parser PType

valuekind :: Parser (Kind SrcSpan)

valuelamType :: Parser PType

valuepType :: Parser PType

valuesopType :: Parser PType

valuetyName :: Parser TyName

valuevarType :: Parser PType

datadata SourcePos

The data type SourcePos represents source positions. It contains the name of the source file, a line number, and a column number. Source line and column positions change intensively during parsing, so we need to make them strict to avoid memory leaks.

Instances9Eq, Data, Ord, Read, Show, Generic, …

Eq SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
Data SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
Ord SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
Read SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
Show SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
Generic SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
NFData SourcePosDefined in megaparsec-9.8.3 · Text.Megaparsec.Pos
Pretty SourcePosDefined in plutus-core-1.70.0.0 · PlutusCore.Error · orphan
type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-9.8.3-F8Rg4R5CO7CMGRKYIuJ6D" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos) :*: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos))))Defined in megaparsec-9.8.3 · Text.Megaparsec.Pos

datadata ParserError

Constructors

BuiltinTypeNotAStar !Text !SourcePos
UnknownBuiltinFunction !Text !SourcePos ![Text]
InvalidBuiltinConstant !Text !Text !SourcePos

Instances8Eq, Ord, Show, Generic, NFData, Pretty, …

Eq ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
Ord ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
Show ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
Generic ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
NFData ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
Pretty ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
ShowErrorComponent ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
type Rep ParserError = D1 ('MetaData "ParserError" "PlutusCore.Error" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "BuiltinTypeNotAStar" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos)) :+: (C1 ('MetaCons "UnknownBuiltinFunction" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]))) :+: C1 ('MetaCons "InvalidBuiltinConstant" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Error

datadata ExpectParens

ExpectParensYes ExpectParensNo

typetype Parser = ParsecT ParserError Text (StateT ParserState (ReaderT (Maybe Version) Quote))

newtypenewtype ParserState

Constructors

ParserState
- identifiers :: Map Text Unique

Instances1Show

Show ParserStateDefined in plutus-core-1.70.0.0 · PlutusCore.Parser.ParserCommon

typetype PType = Type TyName DefaultUni SrcSpan