Language.Lexer.Tlex.Data.InputString

Documentation

data InputStringContext e

Constructors

InputStringContext

Fields

• inputStringCtxRest :: [e]
• inputStringCtxPos :: Int

Instances

Eq e => Eq (InputStringContext e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

(==) :: InputStringContext e -> InputStringContext e -> Bool

(/=) :: InputStringContext e -> InputStringContext e -> Bool

Show e => Show (InputStringContext e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

showsPrec :: Int -> InputStringContext e -> ShowS

show :: InputStringContext e -> String

showList :: [InputStringContext e] -> ShowS

Enum e => TlexContext (InputStringContext e) e (InputString e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

tlexGetInputPart :: InputString e (Maybe e)

tlexGetMark :: InputString e (InputStringContext e)

newtype InputString e a

Constructors

InputString

Fields

• unInputString :: State (InputStringContext e) a

Instances

Monad (InputString e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

(>>=) :: InputString e a -> (a -> InputString e b) -> InputString e b

(>>) :: InputString e a -> InputString e b -> InputString e b

return :: a -> InputString e a

Functor (InputString e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

fmap :: (a -> b) -> InputString e a -> InputString e b

(<$) :: a -> InputString e b -> InputString e a

Applicative (InputString e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

pure :: a -> InputString e a

(<*>) :: InputString e (a -> b) -> InputString e a -> InputString e b

liftA2 :: (a -> b -> c) -> InputString e a -> InputString e b -> InputString e c

(*>) :: InputString e a -> InputString e b -> InputString e b

(<*) :: InputString e a -> InputString e b -> InputString e a

Enum e => TlexContext (InputStringContext e) e (InputString e)

Defined in Language.Lexer.Tlex.Data.InputString

Methods

tlexGetInputPart :: InputString e (Maybe e)

tlexGetMark :: InputString e (InputStringContext e)

runInputString :: InputString e a -> [e] -> (a, InputStringContext e)