Telescope.Data.Parser

Documentation

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

Constructors

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

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

Instances

type DispatchOf Parser

Defined in Telescope.Data.Parser

type DispatchOf Parser = 'Dynamic

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

Constructors

ParseFailure Path String

Instances

Exception ParseError

Defined in Telescope.Data.Parser

Methods

toException :: ParseError -> SomeException

fromException :: SomeException -> Maybe ParseError

displayException :: ParseError -> String

Show ParseError

Defined in Telescope.Data.Parser

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Eq ParseError

Defined in Telescope.Data.Parser

Methods

(==) :: ParseError -> ParseError -> Bool

(/=) :: ParseError -> ParseError -> Bool

newtype Path

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

Constructors

Path [Ref]

Instances

Monoid Path

Defined in Telescope.Data.Parser

Methods

mempty :: Path

mappend :: Path -> Path -> Path

mconcat :: [Path] -> Path

Semigroup Path

Defined in Telescope.Data.Parser

Methods

(<>) :: Path -> Path -> Path

sconcat :: NonEmpty Path -> Path

stimes :: Integral b => b -> Path -> Path

Show Path

Defined in Telescope.Data.Parser

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

Eq Path

Defined in Telescope.Data.Parser

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

data Ref

Constructors

Child Text

Index Int

Instances

Show Ref

Defined in Telescope.Data.Parser

Methods

showsPrec :: Int -> Ref -> ShowS

show :: Ref -> String

showList :: [Ref] -> ShowS

Eq Ref

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

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

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

Add a child to the parsing Path