Moduleplutus-core-1.70.0.0

PlutusCore.Parser

Synopsis

value parseProgram
value parseTerm
value parseType
value program
value builtinFunction
value cachedBuiltin
value con0xBS
value conArray
value conBLS12_381_G1_Element
value conBLS12_381_G2_Element
value conBS
value conBool
value conData
value conDataNoParens
value conInteger
value conList
value conPair
value conText
value conUnit
value conValue
value constant
value constantOf
value hexByte
value getSourcePos'
value getVersion
value inBraces
value inBrackets
value inParens
value initial
value leadingWhitespace
value lexeme
value name
value parse
value parseGen
value reachOffsetNoLine'
value symbol
value toErrorB
value toSrcSpan
value trailingWhitespace
value version
value whenVersion
value whitespace
value withSpan
value withSpan'
value withVersion
value allType
value appType
value builtinType
value defaultUni
value defaultUniApplication
value funType
value ifixType
value kind
value lamType
value pType
value sopType
value tyName
value varType
data SourcePos
data ParserError
data ExpectParens
type Parser
newtype ParserState
type PType

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

Source#

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