Safe Haskell	None
Language	Haskell2010

Language.Happy.Lexer

Documentation

data Alex a Source #

Instances

Instances details

Monad Alex Source #
Instance details 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 Source #
Instance details Defined in Language.Happy.Lexer Methods fmap :: (a -> b) -> Alex a -> Alex b # (<$) :: a -> Alex b -> Alex a #
Applicative Alex Source #
Instance details 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 Source #

Constructors

AlexPn !Int !Int !Int

Instances

Instances details

Eq AlexPosn Source #
Instance details Defined in Language.Happy.Lexer Methods (==) :: AlexPosn -> AlexPosn -> Bool # (/=) :: AlexPosn -> AlexPosn -> Bool #
Ord AlexPosn Source #
Instance details 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 Source #
Instance details Defined in Language.Happy.Lexer Methods showsPrec :: Int -> AlexPosn -> ShowS # show :: AlexPosn -> String # showList :: [AlexPosn] -> ShowS #
Generic AlexPosn Source #
Instance details 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 Source #
Instance details Defined in Language.Happy.Lexer Methods toJSON :: AlexPosn -> Value # toEncoding :: AlexPosn -> Encoding # toJSONList :: [AlexPosn] -> Value # toEncodingList :: [AlexPosn] -> Encoding # omitField :: AlexPosn -> Bool #
FromJSON AlexPosn Source #
Instance details Defined in Language.Happy.Lexer Methods parseJSON :: Value -> Parser AlexPosn # parseJSONList :: Value -> Parser [AlexPosn] # omittedField :: Maybe AlexPosn #
type Rep AlexPosn Source #
Instance details 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 Source #

alexScanTokens :: ByteString -> Either String [Lexeme Text] Source #

alexMonadScan :: Alex (Lexeme Text) Source #

data Lexeme text Source #

Constructors

L AlexPosn LexemeClass text

Instances

Instances details

Functor Lexeme Source #
Instance details Defined in Language.Happy.Lexer Methods fmap :: (a -> b) -> Lexeme a -> Lexeme b # (<$) :: a -> Lexeme b -> Lexeme a #
Foldable Lexeme Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Language.Happy.Lexer Methods (==) :: Lexeme text -> Lexeme text -> Bool # (/=) :: Lexeme text -> Lexeme text -> Bool #
Show text => Show (Lexeme text) Source #
Instance details Defined in Language.Happy.Lexer Methods showsPrec :: Int -> Lexeme text -> ShowS # show :: Lexeme text -> String # showList :: [Lexeme text] -> ShowS #
Generic (Lexeme text) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Language.Happy.Lexer Methods parseJSON :: Value -> Parser (Lexeme text) # parseJSONList :: Value -> Parser [Lexeme text] # omittedField :: Maybe (Lexeme text) #
type Rep (Lexeme text) Source #
Instance details 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 Source #

lexemePosn :: Lexeme text -> AlexPosn Source #

lexemeText :: Lexeme text -> text Source #

lexemeLine :: Lexeme text -> Int Source #

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