| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Parser.Builtin
Synopsis
- cachedBuiltin ∷ Map Text DefaultFun
- builtinFunction ∷ Parser DefaultFun
- conInteger ∷ Parser Integer
- hexByte ∷ Parser Word8
- conBS ∷ Parser ByteString
- conText ∷ Parser Text
- conUnit ∷ Parser ()
- conBool ∷ Parser Bool
- conList ∷ DefaultUni (Esc a) → Parser [a]
- conPair ∷ DefaultUni (Esc a) → DefaultUni (Esc b) → Parser (a, b)
- conDataNoParens ∷ Parser Data
- conData ∷ ExpectParens → Parser Data
- con0xBS ∷ Parser ByteString
- conBLS12_381_G1_Element ∷ Parser Element
- conBLS12_381_G2_Element ∷ Parser Element
- constantOf ∷ ExpectParens → DefaultUni (Esc a) → Parser a
- constant ∷ Parser (Some (ValueOf DefaultUni))
- data ExpectParens
Documentation
builtinFunction ∷ Parser DefaultFun Source #
Parser for builtin functions. Atm the parser can only parse DefaultFun.
conInteger ∷ Parser Integer Source #
Parser for integer constants.
conBS ∷ Parser ByteString Source #
Parser for bytestring constants. They start with "#".
conText ∷ Parser Text Source #
Parser for string constants (wrapped in double quotes). Note that
Data.Text.pack "performs replacement on invalid scalar values", which means
that Unicode surrogate code points (corresponding to integers in the range
0xD800-0xDFFF) are converted to the Unicode replacement character U+FFFD
(decimal 65533). Thus `(con string "XxD800Z")` parses to a Text object
whose second character is U+FFFD.
conPair ∷ DefaultUni (Esc a) → DefaultUni (Esc b) → Parser (a, b) Source #
Parser for pairs.
constantOf ∷ ExpectParens → DefaultUni (Esc a) → Parser a Source #
Parser for constants of the given type.
constant ∷ Parser (Some (ValueOf DefaultUni)) Source #
Parser of constants whose type is in DefaultUni.
data ExpectParens Source #
Constructors
| ExpectParensYes | |
| ExpectParensNo |