Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Modulemiso-1.12.0.0

Miso.Util.Lexer

Synopsis

value char
value getInput
value getLocation
value getStartColumn
value initialLocation
value mkStream
value modifyInput
value oops
value peek
value putInput
value satisfy
value setLocation
value streamError
value string
value string'
value withLocation
value zeroLocation
newtype Lexer
data LexerError
data Located
data Location
data Stream

Packagemiso-1.12.0.0
Exports22
LicenceBSD-3-Clause

valuechar :: Char -> Lexer Char

valuegetInput :: Lexer Stream

valuegetLocation :: Lexer Location

valuegetStartColumn :: Location -> Int

valueinitialLocation :: Location

valuemkStream :: MisoString -> Stream

valuemodifyInput :: (Stream -> Stream) -> Lexer ()

valueoops :: Lexer token

valuepeek :: Lexer (Maybe Char)

valueputInput :: Stream -> Lexer ()

valuesatisfy :: (Char -> Bool) -> Lexer Char

valuesetLocation :: Location -> Lexer ()

valuestreamError :: Stream -> LexerError

valuestring :: MisoString -> Lexer MisoString

valuestring' :: String -> Lexer String

valuewithLocation :: ToMisoString token => Lexer token -> Lexer (Located token)

valuezeroLocation :: Location

newtypenewtype Lexer token

Constructors

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

Instances6Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus

Monad LexerDefined in miso-1.12.0.0 · Miso.Util.Lexer
Functor LexerDefined in miso-1.12.0.0 · Miso.Util.Lexer
MonadFail LexerDefined in miso-1.12.0.0 · Miso.Util.Lexer
Applicative LexerDefined in miso-1.12.0.0 · Miso.Util.Lexer
Alternative LexerDefined in miso-1.12.0.0 · Miso.Util.Lexer
MonadPlus LexerDefined in miso-1.12.0.0 · Miso.Util.Lexer

datadata LexerError

Constructors

LexerError MisoString Location
UnexpectedEOF Location

Instances2Eq, Show

Eq LexerErrorDefined in miso-1.12.0.0 · Miso.Util.Lexer
Show LexerErrorDefined in miso-1.12.0.0 · Miso.Util.Lexer

datadata Located token

Constructors

Located
- token :: token
- location :: Location

Instances2Eq, Show

Eq token => Eq (Located token)Defined in miso-1.12.0.0 · Miso.Util.Lexer
Show token => Show (Located token)Defined in miso-1.12.0.0 · Miso.Util.Lexer

datadata Location

Constructors

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

Instances2Eq, Show

Eq LocationDefined in miso-1.12.0.0 · Miso.Util.Lexer
Show LocationDefined in miso-1.12.0.0 · Miso.Util.Lexer

datadata Stream

Constructors

Stream
- stream :: MisoString
- currentLocation :: Location

Instances1Eq

Eq StreamDefined in miso-1.12.0.0 · Miso.Util.Lexer