Safe Haskell	None
Language	GHC2021

Telescope.Data.Parser

Synopsis

data Parser (a :: Type -> Type) b where
- ParseFail :: forall (a :: Type -> Type) b. String -> Parser a b
- PathAdd :: forall (a :: Type -> Type) b. Ref -> a b -> Parser a b
runParser :: forall (es :: [Effect]) a. Error ParseError :> es => Eff (Parser ': es) a -> Eff es a
runPureParser :: Eff '[Parser, Error ParseError] a -> Either ParseError a
data ParseError = ParseFailure Path String
newtype Path = Path [Ref]
data Ref
- = Child Text
- | Index Int
expected :: forall value (es :: [Effect]) a. (Show value, Parser :> es) => String -> value -> Eff es a
parseFail :: forall (es :: [Effect]) a. Parser :> es => String -> Eff es a
parseAt :: forall (es :: [Effect]) a. Parser :> es => Ref -> Eff es a -> Eff es a

Documentation

data Parser (a :: Type -> Type) b where Source #

Constructors

ParseFail :: forall (a :: Type -> Type) b. String -> Parser a b
PathAdd :: forall (a :: Type -> Type) b. Ref -> a b -> Parser a b

Instances details

type DispatchOf Parser Source #
Instance details Defined in Telescope.Data.Parser type DispatchOf Parser = 'Dynamic

runParser :: forall (es :: [Effect]) a. Error ParseError :> es => Eff (Parser ': es) a -> Eff es a Source #

Constructors

Instances details

Exception ParseError Source #
Instance details Defined in Telescope.Data.Parser Methods toException :: ParseError -> SomeException # fromException :: SomeException -> Maybe ParseError # displayException :: ParseError -> String #
Show ParseError Source #
Instance details Defined in Telescope.Data.Parser Methods showsPrec :: Int -> ParseError -> ShowS # show :: ParseError -> String # showList :: [ParseError] -> ShowS #
Eq ParseError Source #
Instance details Defined in Telescope.Data.Parser Methods (==) :: ParseError -> ParseError -> Bool # (/=) :: ParseError -> ParseError -> Bool #

Tracks the location of the parser in the document for error messages

Constructors

Instances details

Monoid Path Source #
Instance details Defined in Telescope.Data.Parser Methods mempty :: Path # mappend :: Path -> Path -> Path # mconcat :: [Path] -> Path #
Semigroup Path Source #
Instance details Defined in Telescope.Data.Parser Methods (<>) :: Path -> Path -> Path # sconcat :: NonEmpty Path -> Path # stimes :: Integral b => b -> Path -> Path #
Show Path Source #
Instance details Defined in Telescope.Data.Parser Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
Eq Path Source #
Instance details Defined in Telescope.Data.Parser Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #

Constructors

Child Text
Index Int

Instances details

Show Ref Source #
Instance details Defined in Telescope.Data.Parser Methods showsPrec :: Int -> Ref -> ShowS # show :: Ref -> String # showList :: [Ref] -> ShowS #
Eq Ref Source #
Instance details Defined in Telescope.Data.Parser Methods (==) :: Ref -> Ref -> Bool # (/=) :: Ref -> Ref -> Bool #

expected :: forall value (es :: [Effect]) a. (Show value, Parser :> es) => String -> value -> Eff es a Source #

Easy error message when we expect a particular type:

instance FromKeyword Int where
  parseKeywordValue = \case
    Integer n -> pure n
    v -> expected "Integer" v

parseFail :: forall (es :: [Effect]) a. Parser :> es => String -> Eff es a Source #

parseAt :: forall (es :: [Effect]) a. Parser :> es => Ref -> Eff es a -> Eff es a Source #

Add a child to the parsing Path