Tokstyle.Cimple.Lexer

Documentation

data Alex a

Instances

Monad Alex

Defined in Tokstyle.Cimple.Lexer

Methods

(>>=) :: Alex a -> (a -> Alex b) -> Alex b

(>>) :: Alex a -> Alex b -> Alex b

return :: a -> Alex a

fail :: String -> Alex a

Functor Alex

Defined in Tokstyle.Cimple.Lexer

Methods

fmap :: (a -> b) -> Alex a -> Alex b

(<$) :: a -> Alex b -> Alex a

Applicative Alex

Defined in Tokstyle.Cimple.Lexer

Methods

pure :: a -> Alex a

(<*>) :: Alex (a -> b) -> Alex a -> Alex b

liftA2 :: (a -> b -> c) -> Alex a -> Alex b -> Alex c

(*>) :: Alex a -> Alex b -> Alex b

(<*) :: Alex a -> Alex b -> Alex a

data AlexPosn

Constructors

AlexPn !Int !Int !Int

Instances

Eq AlexPosn

Defined in Tokstyle.Cimple.Lexer

Methods

(==) :: AlexPosn -> AlexPosn -> Bool

(/=) :: AlexPosn -> AlexPosn -> Bool

Show AlexPosn

Defined in Tokstyle.Cimple.Lexer

Methods

showsPrec :: Int -> AlexPosn -> ShowS

show :: AlexPosn -> String

showList :: [AlexPosn] -> ShowS

Generic AlexPosn

Defined in Tokstyle.Cimple.Lexer

Associated Types

type Rep AlexPosn :: Type -> Type

Methods

from :: AlexPosn -> Rep AlexPosn x

to :: Rep AlexPosn x -> AlexPosn

ToJSON AlexPosn

Defined in Tokstyle.Cimple.Lexer

Methods

toJSON :: AlexPosn -> Value

toEncoding :: AlexPosn -> Encoding

toJSONList :: [AlexPosn] -> Value

toEncodingList :: [AlexPosn] -> Encoding

FromJSON AlexPosn

Defined in Tokstyle.Cimple.Lexer

Methods

parseJSON :: Value -> Parser AlexPosn

parseJSONList :: Value -> Parser [AlexPosn]

type Rep AlexPosn

Defined in Tokstyle.Cimple.Lexer

type Rep AlexPosn = D1 (MetaData "AlexPosn" "Tokstyle.Cimple.Lexer" "tokstyle-0.0.5-3t4QCZhHJCmBeRl7IcprH4" False) (C1 (MetaCons "AlexPn" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Int))))

alexError :: String -> Alex a

alexScanTokens :: String -> Either String [Lexeme String]

alexMonadScan :: Alex (Lexeme String)

data Lexeme text

Constructors

L AlexPosn LexemeClass text

Instances

Functor Lexeme

Defined in Tokstyle.Cimple.Lexer

Methods

fmap :: (a -> b) -> Lexeme a -> Lexeme b

(<$) :: a -> Lexeme b -> Lexeme a

Foldable Lexeme

Defined in Tokstyle.Cimple.Lexer

Methods

fold :: Monoid m => Lexeme m -> m

foldMap :: Monoid m => (a -> m) -> Lexeme a -> m

foldr :: (a -> b -> b) -> b -> Lexeme a -> b

foldr' :: (a -> b -> b) -> b -> Lexeme a -> b

foldl :: (b -> a -> b) -> b -> Lexeme a -> b

foldl' :: (b -> a -> b) -> b -> Lexeme a -> b

foldr1 :: (a -> a -> a) -> Lexeme a -> a

foldl1 :: (a -> a -> a) -> Lexeme a -> a

toList :: Lexeme a -> [a]

null :: Lexeme a -> Bool

length :: Lexeme a -> Int

elem :: Eq a => a -> Lexeme a -> Bool

maximum :: Ord a => Lexeme a -> a

minimum :: Ord a => Lexeme a -> a

sum :: Num a => Lexeme a -> a

product :: Num a => Lexeme a -> a

Traversable Lexeme

Defined in Tokstyle.Cimple.Lexer

Methods

traverse :: Applicative f => (a -> f b) -> Lexeme a -> f (Lexeme b)

sequenceA :: Applicative f => Lexeme (f a) -> f (Lexeme a)

mapM :: Monad m => (a -> m b) -> Lexeme a -> m (Lexeme b)

sequence :: Monad m => Lexeme (m a) -> m (Lexeme a)

Eq text => Eq (Lexeme text)

Defined in Tokstyle.Cimple.Lexer

Methods

(==) :: Lexeme text -> Lexeme text -> Bool

(/=) :: Lexeme text -> Lexeme text -> Bool

Show text => Show (Lexeme text)

Defined in Tokstyle.Cimple.Lexer

Methods

showsPrec :: Int -> Lexeme text -> ShowS

show :: Lexeme text -> String

showList :: [Lexeme text] -> ShowS

Generic (Lexeme text)

Defined in Tokstyle.Cimple.Lexer

Associated Types

type Rep (Lexeme text) :: Type -> Type

Methods

from :: Lexeme text -> Rep (Lexeme text) x

to :: Rep (Lexeme text) x -> Lexeme text

ToJSON text => ToJSON (Lexeme text)

Defined in Tokstyle.Cimple.Lexer

Methods

toJSON :: Lexeme text -> Value

toEncoding :: Lexeme text -> Encoding

toJSONList :: [Lexeme text] -> Value

toEncodingList :: [Lexeme text] -> Encoding

FromJSON text => FromJSON (Lexeme text)

Defined in Tokstyle.Cimple.Lexer

Methods

parseJSON :: Value -> Parser (Lexeme text)

parseJSONList :: Value -> Parser [Lexeme text]

TraverseAst [Node (Lexeme Text)]

Defined in Tokstyle.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f Text -> [Node (Lexeme Text)] -> f [Node (Lexeme Text)]

TraverseAst (Node (Lexeme Text))

Defined in Tokstyle.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f Text -> Node (Lexeme Text) -> f (Node (Lexeme Text))

TraverseAst (Lexeme Text)

Defined in Tokstyle.Cimple.TraverseAst

Methods

traverseAst :: Applicative f => AstActions f Text -> Lexeme Text -> f (Lexeme Text)

type Rep (Lexeme text)

Defined in Tokstyle.Cimple.Lexer

type Rep (Lexeme text) = D1 (MetaData "Lexeme" "Tokstyle.Cimple.Lexer" "tokstyle-0.0.5-3t4QCZhHJCmBeRl7IcprH4" False) (C1 (MetaCons "L" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AlexPosn) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LexemeClass) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 text))))

lexemeClass :: Lexeme text -> LexemeClass

lexemePosn :: Lexeme text -> AlexPosn

lexemeText :: Lexeme text -> text

lexemeLine :: Lexeme text -> Int

mkL :: Applicative m => LexemeClass -> AlexInput -> Int -> m (Lexeme String)

runAlex :: String -> Alex a -> Either String a