Copyright	(C) 2016-2025 David M. Johnson (@dmjio)
License	BSD3-style (see the file LICENSE)
Maintainer	David M. Johnson <code@dmj.io>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Miso.Util.Lexer

Contents

Description

Synopsis

Types

newtype Lexer token Source #

Constructors

Lexer
Fields runLexer :: Stream -> Either LexerError (token, Stream)

Instances details

Alternative Lexer Source #
Instance details Defined in Miso.Util.Lexer Methods empty :: Lexer a # (<\|>) :: Lexer a -> Lexer a -> Lexer a # some :: Lexer a -> Lexer [a] # many :: Lexer a -> Lexer [a] #
Applicative Lexer Source #
Instance details Defined in Miso.Util.Lexer Methods pure :: a -> Lexer a # (<>) :: Lexer (a -> b) -> Lexer a -> Lexer b # liftA2 :: (a -> b -> c) -> Lexer a -> Lexer b -> Lexer c # (>) :: Lexer a -> Lexer b -> Lexer b # (<*) :: Lexer a -> Lexer b -> Lexer a #
Functor Lexer Source #
Instance details Defined in Miso.Util.Lexer Methods fmap :: (a -> b) -> Lexer a -> Lexer b # (<$) :: a -> Lexer b -> Lexer a #
Monad Lexer Source #
Instance details Defined in Miso.Util.Lexer Methods (>>=) :: Lexer a -> (a -> Lexer b) -> Lexer b # (>>) :: Lexer a -> Lexer b -> Lexer b # return :: a -> Lexer a #

Constructors

Location
Fields line :: Int column :: (Int, Int)

Instances details

Show Location Source #
Instance details Defined in Miso.Util.Lexer Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Eq Location Source #
Instance details Defined in Miso.Util.Lexer Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #

Constructors

Located
Fields token :: token location :: Location

Instances details

Show token => Show (Located token) Source #
Instance details Defined in Miso.Util.Lexer Methods showsPrec :: Int -> Located token -> ShowS # show :: Located token -> String # showList :: [Located token] -> ShowS #
Eq token => Eq (Located token) Source #
Instance details Defined in Miso.Util.Lexer Methods (==) :: Located token -> Located token -> Bool # (/=) :: Located token -> Located token -> Bool #

Constructors

LexerError MisoString Location
UnexpectedEOF Location

Instances details

Show LexerError Source #
Instance details Defined in Miso.Util.Lexer Methods showsPrec :: Int -> LexerError -> ShowS # show :: LexerError -> String # showList :: [LexerError] -> ShowS #
Eq LexerError Source #
Instance details Defined in Miso.Util.Lexer Methods (==) :: LexerError -> LexerError -> Bool # (/=) :: LexerError -> LexerError -> Bool #