Language.Parser.Ptera.Scanner

Documentation

type T = Scanner

class Monad m => Scanner posMark elem m | m -> posMark, m -> elem where

Methods

consumeInput :: m (Maybe elem)

getPosMark :: m posMark

seekToPosMark :: posMark -> m ()

scanMode :: ScanMode posMark -> m ()

Instances

Scanner [e] e (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

consumeInput :: ListScanner e (Maybe e)

getPosMark :: ListScanner e [e]

seekToPosMark :: [e] -> ListScanner e ()

scanMode :: ScanMode [e] -> ListScanner e ()

data ScanMode posMark

Constructors

ScanModeNoBack

ScanModeNeedBack posMark

Instances

Eq posMark => Eq (ScanMode posMark)

Defined in Language.Parser.Ptera.Scanner

Methods

(==) :: ScanMode posMark -> ScanMode posMark -> Bool

(/=) :: ScanMode posMark -> ScanMode posMark -> Bool

Show posMark => Show (ScanMode posMark)

Defined in Language.Parser.Ptera.Scanner

Methods

showsPrec :: Int -> ScanMode posMark -> ShowS

show :: ScanMode posMark -> String

showList :: [ScanMode posMark] -> ShowS

newtype ListScanner e a

Constructors

ListScanner

Fields

• unListScanner :: State [e] a

Instances

Monad (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

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

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

return :: a -> ListScanner e a

Functor (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

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

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

Applicative (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

pure :: a -> ListScanner e a

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

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

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

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

Scanner [e] e (ListScanner e)

Defined in Language.Parser.Ptera.Scanner

Methods

consumeInput :: ListScanner e (Maybe e)

getPosMark :: ListScanner e [e]

seekToPosMark :: [e] -> ListScanner e ()

scanMode :: ScanMode [e] -> ListScanner e ()

runListScanner :: ListScanner e a -> [e] -> a