telescope-0.3.0: Astronomical Observations (FITS, ASDF, WCS, etc)
Safe HaskellSafe-Inferred
LanguageGHC2021

Telescope.Data.Parser

Synopsis

Documentation

data Parser :: Effect where Source #

Constructors

ParseFail :: String -> Parser m a 
PathMod :: (Path -> Path) -> m a -> Parser m a 

Instances

Instances details
type DispatchOf Parser Source # 
Instance details

Defined in Telescope.Data.Parser

type DispatchOf Parser = 'Dynamic

runParser :: Error ParseError :> es => Eff (Parser : es) a -> Eff es a Source #

runParserPure :: Eff '[Parser, Error ParseError] a -> Either ParseError a Source #

data ParseError Source #

Constructors

ParseFailure Path String 

Instances

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 #

newtype Path Source #

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

Constructors

Path [Ref] 

Instances

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 #

data Ref Source #

Constructors

Child Text 
Index Int 

Instances

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 :: (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 :: Parser :> es => String -> Eff es a Source #

parseAt :: Parser :> es => Ref -> Eff es a -> Eff es a Source #

Add a child to the parsing Path