Stability	experimental
Safe Haskell	None
Language	Haskell2010

Language.Egison.Parser.Pattern

Contents

Orphan instances

Description

A parser for Egison patterns.

Synopsis

parseExpr :: (Source s, MonadError (Errors s) m) => ParseMode n v e s -> s -> m (Expr n v e)
parseExprL :: forall m s n v e. (Source s, MonadError (Errors s) m) => ParseMode n v e s -> s -> m (ExprL n v e)
data Fixity n = Fixity {
- associativity :: Associativity
- precedence :: Precedence
- symbol :: n
}
data Location = Location {
- begin :: Position
- end :: Position
}
type Errors s = NonEmpty (Error s)
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
- bracketLeft :: c
- bracketRight :: c
- comma :: c
data Associativity
- = AssocLeft
- | AssocRight
- | AssocNone
type Token s = Token s
type Tokens s = Tokens s
data ErrorItem s
- = Tokens (Tokens s)
- | Label String
- | EndOfInput
data Error s
- = UnexpectedToken {
  - position :: Position
  - expected :: [ErrorItem s]
  - found :: Maybe (ErrorItem s)
  }
- | ExternalError {
  - position :: Position
  - input :: Tokens s
  - message :: String
  }
- | UnexpectedEndOfFile {
  - rest :: Tokens s
  }
class Source s => Parsable a s mode where
- parse :: MonadError (Errors s) m => mode -> s -> m a
- parseWithLocation :: MonadError (Errors s) m => mode -> s -> m (Cofree (Base a) Location)
- parseNonGreedy :: MonadError (Errors s) m => mode -> s -> m (a, s)
- parseNonGreedyWithLocation :: MonadError (Errors s) m => mode -> s -> m (Cofree (Base a) Location, s)
newtype Precedence = Precedence Int
class (TraversableStream s, IsToken (Token s)) => Source s
type ExtParser s a = Tokens s -> Either String a
data ParseMode n v e s = ParseMode {
- filename :: FilePath
- 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 ExprL n v e = Cofree (ExprF n v e) Location

Documentation

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

Parse Expr.

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

Parse Expr with locations annotated.

data Fixity n Source #

Fixity of infix operators.

Constructors

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

data Location Source #

Location, a range of positions in source code.

Constructors

Location
Fields begin :: Position end :: Position

Instances

Instances details

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 :: forall r r'. (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 #

Generic Location Source #

Instance details

Defined in Language.Egison.Parser.Pattern.Prim.Location

Associated Types

type Rep Location

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.2.1.2-10VR46D4phTIwhGxwo1f2J" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "begin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)))

Methods

from :: Location -> Rep Location x #

to :: Rep Location x -> 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 #

Eq Location Source #

Instance details

Defined in Language.Egison.Parser.Pattern.Prim.Location

Methods

(==) :: Location -> Location -> Bool #

(/=) :: Location -> Location -> Bool #

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.2.1.2-10VR46D4phTIwhGxwo1f2J" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) (S1 ('MetaSel ('Just "begin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)))

type Errors s = NonEmpty (Error s) Source #

Type synonym for an error list.

data Position Source #

Position in source code.

Constructors

Position
Fields line :: Int column :: Int

Instances

Instances details

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 :: forall r r'. (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 #

Generic Position Source #

Instance details

Defined in Language.Egison.Parser.Pattern.Prim.Location

Associated Types

type Rep Position

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.2.1.2-10VR46D4phTIwhGxwo1f2J" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "column") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> 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 #

Eq Position Source #

Instance details

Defined in Language.Egison.Parser.Pattern.Prim.Location

Methods

(==) :: Position -> Position -> Bool #

(/=) :: Position -> Position -> Bool #

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.2.1.2-10VR46D4phTIwhGxwo1f2J" '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 #

bracketLeft :: c Source #

bracketRight :: c Source #

comma :: c Source #

Instances

Instances details

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 #

bracketLeft :: Char Source #

bracketRight :: Char Source #

comma :: Char Source #

data Associativity Source #

Associativity of infix operators.

Constructors

AssocLeft
AssocRight
AssocNone

Instances

Instances details

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 :: forall r r'. (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 #

Generic Associativity Source #

Instance details

Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity

Associated Types

type Rep Associativity

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.2.1.2-10VR46D4phTIwhGxwo1f2J" '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)))

Methods

from :: Associativity -> Rep Associativity x #

to :: Rep Associativity x -> 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 #

Eq Associativity Source #

Instance details

Defined in Language.Egison.Syntax.Pattern.Fixity.Associativity

Methods

(==) :: Associativity -> Associativity -> Bool #

(/=) :: Associativity -> Associativity -> Bool #

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.2.1.2-10VR46D4phTIwhGxwo1f2J" '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)))

type Token s = Token s Source #

Type of token in the source.

type Tokens s = Tokens s Source #

Type of tokens in the source.

data ErrorItem s Source #

Token representation in Error.

Constructors

Tokens (Tokens s)
Label String
EndOfInput

Instances

Instances details

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 #
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 #

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
UnexpectedEndOfFile
Fields rest :: Tokens s

Instances

Instances details

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 #
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 #

class Source s => Parsable a s mode where Source #

Type class providing functions for parsing.

Minimal complete definition

parseNonGreedyWithLocation

Methods

parse :: MonadError (Errors s) m => mode -> s -> m a Source #

Parse a source stream.

default parse :: (Recursive a, Corecursive a, MonadError (Errors s) m) => mode -> s -> m a Source #

parseWithLocation :: MonadError (Errors s) m => mode -> s -> m (Cofree (Base a) Location) Source #

Parse a source stream with location annotations.

parseNonGreedy :: MonadError (Errors s) m => mode -> s -> m (a, s) Source #

Parse a source stream non-greedily. That is, this parser will only consume the input until a is fully parsed, and return the rest of the input.

default parseNonGreedy :: (Recursive a, Corecursive a, MonadError (Errors s) m) => mode -> s -> m (a, s) Source #

parseNonGreedyWithLocation :: MonadError (Errors s) m => mode -> s -> m (Cofree (Base a) Location, s) Source #

Parse a source stream non-greedily with location annotations.

Instances

Instances details

Source s => Parsable (Expr n v e) s (ParseMode n v e s) Source #

Instance details

Defined in Language.Egison.Parser.Pattern

Methods

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

parseWithLocation :: MonadError (Errors s) m => ParseMode n v e s -> s -> m (Cofree (Base (Expr n v e)) Location) Source #

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

parseNonGreedyWithLocation :: MonadError (Errors s) m => ParseMode n v e s -> s -> m (Cofree (Base (Expr n v e)) Location, s) Source #

newtype Precedence Source #

A precedence of infix operators.

Constructors

Precedence Int

Instances

Instances details

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 :: forall r r'. (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 #

Generic Precedence Source #

Instance details

Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence

Associated Types

type Rep Precedence
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.2.1.2-10VR46D4phTIwhGxwo1f2J" 'True) (C1 ('MetaCons "Precedence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Precedence -> Rep Precedence x #

to :: Rep Precedence x -> 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 #

Eq Precedence Source #

Instance details

Defined in Language.Egison.Syntax.Pattern.Fixity.Precedence

Methods

(==) :: Precedence -> Precedence -> Bool #

(/=) :: Precedence -> Precedence -> Bool #

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 #

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.2.1.2-10VR46D4phTIwhGxwo1f2J" 'True) (C1 ('MetaCons "Precedence" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

class (TraversableStream s, IsToken (Token s)) => Source s Source #

Constraint for the source of parser. TODO: Hide these methods in haddock (see haskell/haddock#330)

Minimal complete definition

eof, tokens, consTokens, snocTokens

Instances

Instances details

Source Text Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Source Methods eof :: Text -> Bool tokens :: Text -> Tokens Text consTokens :: Token Text -> Tokens Text -> Tokens Text snocTokens :: Tokens Text -> Token Text -> Tokens Text
Source String Source #
Instance details Defined in Language.Egison.Parser.Pattern.Prim.Source Methods eof :: String -> Bool tokens :: String -> Tokens String consTokens :: Token String -> Tokens String -> Tokens String snocTokens :: Tokens String -> Token String -> Tokens String

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

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

data ParseMode n v e s Source #

Parser configuration.

Constructors

ParseMode
Fields filename :: FilePath 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

Instances

Instances details

Source s => Parsable (Expr n v e) s (ParseMode n v e s) Source #

Instance details

Defined in Language.Egison.Parser.Pattern

Methods

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

parseWithLocation :: MonadError (Errors s) m => ParseMode n v e s -> s -> m (Cofree (Base (Expr n v e)) Location) Source #

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

parseNonGreedyWithLocation :: MonadError (Errors s) m => ParseMode n v e s -> s -> m (Cofree (Base (Expr n v e)) Location, s) Source #

data ParseFixity n s Source #

Fixity of infix operators.

Constructors

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

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

Expr with locations annotated.

Orphan instances

Source s => Parsable (Expr n v e) s (ParseMode n v e s) Source #

Instance details

Methods

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

parseWithLocation :: MonadError (Errors s) m => ParseMode n v e s -> s -> m (Cofree (Base (Expr n v e)) Location) Source #

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

parseNonGreedyWithLocation :: MonadError (Errors s) m => ParseMode n v e s -> s -> m (Cofree (Base (Expr n v e)) Location, s) Source #