Stability	experimental
Safe Haskell	None
Language	Haskell2010

Language.Egison.Parser.Pattern

Contents

Re-exports

Description

A parser for Egison patterns.

Synopsis

parseExprL :: (Source s, MonadError (Errors s) m) => ParseMode n v e s -> FilePath -> s -> m (ExprL n v e)
parseExpr :: (Source s, MonadError (Errors s) m) => ParseMode n v e s -> FilePath -> s -> m (Expr n v e)
data Location = Location {
- begin :: Position
- end :: Position
}
data Position = Position {
- line :: Int
- column :: Int
}
class IsToken c where
- isSpace :: c -> Bool
- newline :: c
- parenLeft :: c
- parenRight :: c
- underscore :: c
- hash :: c
- question :: c
- exclamation :: c
- and :: c
- vertical :: c
- dollar :: c
type Tokens s = Tokens s
type Token s = Token s
type Source s = (Stream s, IsToken (Token s))
type Errors s = NonEmpty (Error s)
data Error s
- = UnexpectedToken {
  - position :: Position
  - expected :: [ErrorItem s]
  - found :: Maybe (ErrorItem s)
  }
- | ExternalError {
  - position :: Position
  - input :: Tokens s
  - message :: String
  }
data ErrorItem s
- = Tokens (Tokens s)
- | Label String
- | EndOfInput
data Associativity
- = AssocLeft
- | AssocRight
- | AssocNone
newtype Precedence = Precedence Int
data Fixity n = Fixity {
- associativity :: Associativity
- precedence :: Precedence
- symbol :: n
}
data ParseMode n v e s = ParseMode {
- fixities :: [ParseFixity n s]
- blockComment :: Maybe (Tokens s, Tokens s)
- lineComment :: Maybe (Tokens s)
- varNameParser :: ExtParser s v
- nameParser :: ExtParser s n
- valueExprParser :: ExtParser s e
}
data ParseFixity n s = ParseFixity {
- fixity :: Fixity n
- parser :: ExtParser s ()
}
type ExtParser s a = Tokens s -> Either String a
type ExprL n v e = Cofree (ExprF n v e) Location

Documentation

parseExprL :: (Source s, MonadError (Errors s) m) => ParseMode n v e s -> FilePath -> s -> m (ExprL n v e) Source #

Parse Expr with locations annotated.

parseExpr :: (Source s, MonadError (Errors s) m) => ParseMode n v e s -> FilePath -> s -> m (Expr n v e) Source #

Parse Expr.

Re-exports

data Location Source #

Location, a range of positions in source code.

Constructors

Location
Fields begin :: Position end :: Position

Instances

Eq Location Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Data Location Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Location -> c Location # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Location # toConstr :: Location -> Constr # dataTypeOf :: Location -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Location) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Location) # gmapT :: (forall b. Data b => b -> b) -> Location -> Location # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Location -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Location -> r # gmapQ :: (forall d. Data d => d -> u) -> Location -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Location -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Location -> m Location # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Location -> m Location # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Location -> m Location #
Show Location Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Generic Location Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Associated Types type Rep Location :: Type -> Type # Methods from :: Location -> Rep Location x # to :: Rep Location x -> Location #
type Rep Location Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location type Rep Location = D1 (MetaData "Location" "Language.Egison.Parser.Pattern.Prim.Location" "egison-pattern-src-0.1.0.0-EKV87hBGG8O2A8pHnh2PbK" False) (C1 (MetaCons "Location" PrefixI True) (S1 (MetaSel (Just "begin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position) :*: S1 (MetaSel (Just "end") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Position)))

data Position Source #

Position in source code.

Constructors

Position
Fields line :: Int column :: Int

Instances

Eq Position Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Data Position Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Position -> c Position # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Position # toConstr :: Position -> Constr # dataTypeOf :: Position -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Position) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Position) # gmapT :: (forall b. Data b => b -> b) -> Position -> Position # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQ :: (forall d. Data d => d -> u) -> Position -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Position -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position #
Show Position Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Generic Position Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location Associated Types type Rep Position :: Type -> Type # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
type Rep Position Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Location type Rep Position = D1 (MetaData "Position" "Language.Egison.Parser.Pattern.Prim.Location" "egison-pattern-src-0.1.0.0-EKV87hBGG8O2A8pHnh2PbK" False) (C1 (MetaCons "Position" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

class IsToken c where Source #

Provide a set of tokens needed to parse pattern expressions.

Methods

isSpace :: c -> Bool Source #

newline :: c Source #

parenLeft :: c Source #

parenRight :: c Source #

underscore :: c Source #

hash :: c Source #

question :: c Source #

exclamation :: c Source #

and :: c Source #

vertical :: c Source #

dollar :: c Source #

Instances

IsToken Char Source #
Instance details Defined in Language.Egison.Parser.Pattern.Token Methods isSpace :: Char -> Bool Source # newline :: Char Source # parenLeft :: Char Source # parenRight :: Char Source # underscore :: Char Source # hash :: Char Source # question :: Char Source # exclamation :: Char Source # and :: Char Source # vertical :: Char Source # dollar :: Char Source #

type Tokens s = Tokens s Source #

Type of tokens in the source.

type Token s = Token s Source #

Type of token in the source.

type Source s = (Stream s, IsToken (Token s)) Source #

Constraint for the source of parser.

type Errors s = NonEmpty (Error s) Source #

Type synonym for an error list.

data Error s Source #

Parse error.

Constructors

UnexpectedToken
Fields position :: Position expected :: [ErrorItem s] found :: Maybe (ErrorItem s)
ExternalError
Fields position :: Position input :: Tokens s message :: String

Instances

Eq (Tokens s) => Eq (Error s) Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Error Methods (==) :: Error s -> Error s -> Bool # (/=) :: Error s -> Error s -> Bool #
Show (Tokens s) => Show (Error s) Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Error Methods showsPrec :: Int -> Error s -> ShowS # show :: Error s -> String # showList :: [Error s] -> ShowS #

data ErrorItem s Source #

Token representation in Error.

Constructors

Tokens (Tokens s)
Label String
EndOfInput

Instances

Eq (Tokens s) => Eq (ErrorItem s) Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Error Methods (==) :: ErrorItem s -> ErrorItem s -> Bool # (/=) :: ErrorItem s -> ErrorItem s -> Bool #
Show (Tokens s) => Show (ErrorItem s) Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Error Methods showsPrec :: Int -> ErrorItem s -> ShowS # show :: ErrorItem s -> String # showList :: [ErrorItem s] -> ShowS #

data Associativity Source #

Associativity of infix operators.

Constructors

AssocLeft
AssocRight
AssocNone

Instances

Eq Associativity Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Data Associativity Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Associativity -> c Associativity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Associativity # toConstr :: Associativity -> Constr # dataTypeOf :: Associativity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Associativity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Associativity) # gmapT :: (forall b. Data b => b -> b) -> Associativity -> Associativity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Associativity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Associativity -> r # gmapQ :: (forall d. Data d => d -> u) -> Associativity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Associativity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Associativity -> m Associativity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Associativity -> m Associativity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Associativity -> m Associativity #
Show Associativity Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #
Generic Associativity Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity Associated Types type Rep Associativity :: Type -> Type # Methods from :: Associativity -> Rep Associativity x # to :: Rep Associativity x -> Associativity #
type Rep Associativity Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity type Rep Associativity = D1 (MetaData "Associativity" "Language.Egison.Syntax.Pattern.Fixity.Associativity" "egison-pattern-src-0.1.0.0-EKV87hBGG8O2A8pHnh2PbK" False) (C1 (MetaCons "AssocLeft" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "AssocRight" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AssocNone" PrefixI False) (U1 :: Type -> Type)))

newtype Precedence Source #

A precedence of infix operators.

Constructors

Precedence Int

Instances

Eq Precedence Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence Methods (==) :: Precedence -> Precedence -> Bool # (/=) :: Precedence -> Precedence -> Bool #
Data Precedence Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Precedence -> c Precedence # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Precedence # toConstr :: Precedence -> Constr # dataTypeOf :: Precedence -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Precedence) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Precedence) # gmapT :: (forall b. Data b => b -> b) -> Precedence -> Precedence # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Precedence -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Precedence -> r # gmapQ :: (forall d. Data d => d -> u) -> Precedence -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Precedence -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Precedence -> m Precedence # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Precedence -> m Precedence # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Precedence -> m Precedence #
Ord Precedence Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence Methods compare :: Precedence -> Precedence -> Ordering # (<) :: Precedence -> Precedence -> Bool # (<=) :: Precedence -> Precedence -> Bool # (>) :: Precedence -> Precedence -> Bool # (>=) :: Precedence -> Precedence -> Bool # max :: Precedence -> Precedence -> Precedence # min :: Precedence -> Precedence -> Precedence #
Show Precedence Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence Methods showsPrec :: Int -> Precedence -> ShowS # show :: Precedence -> String # showList :: [Precedence] -> ShowS #
Generic Precedence Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence Associated Types type Rep Precedence :: Type -> Type # Methods from :: Precedence -> Rep Precedence x # to :: Rep Precedence x -> Precedence #
type Rep Precedence Source #
Instance details Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence type Rep Precedence = D1 (MetaData "Precedence" "Language.Egison.Syntax.Pattern.Fixity.Precedence" "egison-pattern-src-0.1.0.0-EKV87hBGG8O2A8pHnh2PbK" True) (C1 (MetaCons "Precedence" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Fixity n Source #

Fixity of infix operators.

Constructors

Fixity
Fields associativity :: Associativity precedence :: Precedence symbol :: n

data ParseMode n v e s Source #

Parser configuration.

Constructors

ParseMode
Fields fixities :: [ParseFixity n s] blockComment :: Maybe (Tokens s, Tokens s) lineComment :: Maybe (Tokens s) varNameParser :: ExtParser s v nameParser :: ExtParser s n valueExprParser :: ExtParser s e

data ParseFixity n s Source #

Fixity of infix operators.

Constructors

ParseFixity
Fields fixity :: Fixity n parser :: ExtParser s ()

type ExtParser s a = Tokens s -> Either String a Source #

ExtParser s a is a type for externally provided parser of a.

type ExprL n v e = Cofree (ExprF n v e) Location Source #

Expr with locations annotated.