Language.Happy.Lexer

Documentation

data Alex a

Instances

Monad Alex

Defined in Language.Happy.Lexer

Methods

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

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

return :: a -> Alex a

Functor Alex

Defined in Language.Happy.Lexer

Methods

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

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

Applicative Alex

Defined in Language.Happy.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 Language.Happy.Lexer

Methods

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

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

Ord AlexPosn

Defined in Language.Happy.Lexer

Methods

compare :: AlexPosn -> AlexPosn -> Ordering

(<) :: AlexPosn -> AlexPosn -> Bool

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

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

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

max :: AlexPosn -> AlexPosn -> AlexPosn

min :: AlexPosn -> AlexPosn -> AlexPosn

Show AlexPosn

Defined in Language.Happy.Lexer

Methods

showsPrec :: Int -> AlexPosn -> ShowS

show :: AlexPosn -> String

showList :: [AlexPosn] -> ShowS

Generic AlexPosn

Defined in Language.Happy.Lexer

Associated Types

type Rep AlexPosn :: Type -> Type

Methods

from :: AlexPosn -> Rep AlexPosn x

to :: Rep AlexPosn x -> AlexPosn

ToJSON AlexPosn

Defined in Language.Happy.Lexer

Methods

toJSON :: AlexPosn -> Value

toEncoding :: AlexPosn -> Encoding

toJSONList :: [AlexPosn] -> Value

toEncodingList :: [AlexPosn] -> Encoding

omitField :: AlexPosn -> Bool

FromJSON AlexPosn

Defined in Language.Happy.Lexer

Methods

parseJSON :: Value -> Parser AlexPosn

parseJSONList :: Value -> Parser [AlexPosn]

omittedField :: Maybe AlexPosn

type Rep AlexPosn

Defined in Language.Happy.Lexer

type Rep AlexPosn = D1 ('MetaData "AlexPosn" "Language.Happy.Lexer" "happy-arbitrary-0.0.1-inplace" '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 :: ByteString -> Either String [Lexeme Text]

alexMonadScan :: Alex (Lexeme Text)

data Lexeme text

Constructors

L AlexPosn LexemeClass text

Instances

Functor Lexeme

Defined in Language.Happy.Lexer

Methods

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

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

Foldable Lexeme

Defined in Language.Happy.Lexer

Methods

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

foldMap :: Monoid m => (a -> m) -> Lexeme a -> 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 Language.Happy.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 Language.Happy.Lexer

Methods

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

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

Show text => Show (Lexeme text)

Defined in Language.Happy.Lexer

Methods

showsPrec :: Int -> Lexeme text -> ShowS

show :: Lexeme text -> String

showList :: [Lexeme text] -> ShowS

Generic (Lexeme text)

Defined in Language.Happy.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 Language.Happy.Lexer

Methods

toJSON :: Lexeme text -> Value

toEncoding :: Lexeme text -> Encoding

toJSONList :: [Lexeme text] -> Value

toEncodingList :: [Lexeme text] -> Encoding

omitField :: Lexeme text -> Bool

FromJSON text => FromJSON (Lexeme text)

Defined in Language.Happy.Lexer

Methods

parseJSON :: Value -> Parser (Lexeme text)

parseJSONList :: Value -> Parser [Lexeme text]

omittedField :: Maybe (Lexeme text)

type Rep (Lexeme text)

Defined in Language.Happy.Lexer

type Rep (Lexeme text) = D1 ('MetaData "Lexeme" "Language.Happy.Lexer" "happy-arbitrary-0.0.1-inplace" 'False) (C1 ('MetaCons "L" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AlexPosn) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LexemeClass) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 text))))

lexemeClass :: Lexeme text -> LexemeClass

lexemePosn :: Lexeme text -> AlexPosn

lexemeText :: Lexeme text -> text

lexemeLine :: Lexeme text -> Int

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