Safe Haskell	None
Language	Haskell2010

Language.Parser.Ptera.Scanner

Documentation

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

Methods

seekToPosMark :: posMark -> m () Source #

Instances details

Scanner [e] e (ListScanner e) Source #
Instance details Defined in Language.Parser.Ptera.Scanner Methods consumeInput :: ListScanner e (Maybe e) Source # getPosMark :: ListScanner e [e] Source # seekToPosMark :: [e] -> ListScanner e () Source # scanMode :: ScanMode [e] -> ListScanner e () Source #

Constructors

ScanModeNoBack
ScanModeNeedBack posMark

Instances details

Eq posMark => Eq (ScanMode posMark) Source #
Instance details Defined in Language.Parser.Ptera.Scanner Methods (==) :: ScanMode posMark -> ScanMode posMark -> Bool # (/=) :: ScanMode posMark -> ScanMode posMark -> Bool #
Show posMark => Show (ScanMode posMark) Source #
Instance details Defined in Language.Parser.Ptera.Scanner Methods showsPrec :: Int -> ScanMode posMark -> ShowS # show :: ScanMode posMark -> String # showList :: [ScanMode posMark] -> ShowS #

Constructors

ListScanner
Fields unListScanner :: State [e] a

Instances details

Monad (ListScanner e) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Language.Parser.Ptera.Scanner Methods consumeInput :: ListScanner e (Maybe e) Source # getPosMark :: ListScanner e [e] Source # seekToPosMark :: [e] -> ListScanner e () Source # scanMode :: ScanMode [e] -> ListScanner e () Source #