Yi.Lexer.Alex

Contents

• Names expected by Alex code
• Other things closely associated with the lexer
• Lexer actions
• Data produced by the scanner

Description

Synopsis

• type AlexInput = (Char, IndexedStr)
• alexGetChar :: AlexInput -> Maybe (Char, AlexInput)
• alexInputPrevChar :: AlexInput -> Char
• data AlexState lexerState = AlexState {
  • stLexer :: lexerState
  • lookedOffset :: !Point
  • stPosn :: !Posn
  }
• unfoldLexer :: ((AlexState lexState, input) -> Maybe (token, (AlexState lexState, input))) -> (AlexState lexState, input) -> [(AlexState lexState, token)]
• lexScanner :: forall lexerState token. ((AlexState lexerState, AlexInput) -> Maybe (token, (AlexState lexerState, AlexInput))) -> lexerState -> Scanner Point Char -> Scanner (AlexState lexerState) token
• alexCollectChar :: AlexInput -> [Char]
• actionConst :: token -> Action lexState token
• actionAndModify :: (lexState -> lexState) -> token -> Action lexState token
• actionStringAndModify :: (lexState -> lexState) -> (String -> token) -> Action lexState token
• actionStringConst :: (String -> token) -> Action lexState token
• data Tok t = Tok {
  • tokT :: t
  • tokLen :: Size
  • tokPosn :: Posn
  }
• tokBegin :: forall t. Tok t -> Point
• tokEnd :: forall t. Tok t -> Point
• tokFromT :: forall t. t -> Tok t
• tokRegion :: Tok t -> Region
• data Posn = Posn {
  • posnOfs :: !Point
  • posnLine :: !Int
  • posnCol :: !Int
  }
• startPosn :: Posn
• moveStr :: Posn -> IndexedStr -> Posn
• type ASI s = (AlexState s, AlexInput)
• (+~) :: SemiNum absolute relative => absolute -> relative -> absolute
• (~-) :: SemiNum absolute relative => absolute -> absolute -> relative
• newtype Size = Size {
  • fromSize :: Int
  }
• type Stroke = Span StyleName
• tokToSpan :: Tok t -> Span t
• alexGetByte :: AlexInput -> Maybe (Word8, AlexInput)

Names expected by Alex code

Other things closely associated with the lexer

Lexer actions

Data produced by the scanner