Parsing.hs

-- Note: this is an automatically generated file. Do not edit.

-- | Parser combinator types for text parsing

module Hydra.Parsing where

import qualified Hydra.Core as Core
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci

-- | An error which occurred while parsing
data ParseError =
  ParseError {
    -- | An error message
    parseErrorMessage :: String,
    -- | The remaining input at the point of failure
    parseErrorRemainder :: String}
  deriving (Eq, Ord, Read, Show)

_ParseError = Core.Name "hydra.parsing.ParseError"

_ParseError_message = Core.Name "message"

_ParseError_remainder = Core.Name "remainder"

-- | The result of a parse operation
data ParseResult a =
  -- | A successful parse, with a value and the remaining unparsed input
  ParseResultSuccess (ParseSuccess a) |
  -- | A failed parse, with an error message and the remaining input
  ParseResultFailure ParseError
  deriving (Eq, Ord, Read, Show)

_ParseResult = Core.Name "hydra.parsing.ParseResult"

_ParseResult_success = Core.Name "success"

_ParseResult_failure = Core.Name "failure"

-- | A successful parse result
data ParseSuccess a =
  ParseSuccess {
    -- | The parsed value
    parseSuccessValue :: a,
    -- | The remaining unparsed input
    parseSuccessRemainder :: String}
  deriving (Eq, Ord, Read, Show)

_ParseSuccess = Core.Name "hydra.parsing.ParseSuccess"

_ParseSuccess_value = Core.Name "value"

_ParseSuccess_remainder = Core.Name "remainder"

-- | A parser which consumes characters from a string and produces a value
newtype Parser a =
  Parser {
    unParser :: (String -> ParseResult a)}

_Parser = Core.Name "hydra.parsing.Parser"