Yi.Lexer.Alex

Contents

• Lenses

Description

Synopsis

• utf8Encode :: Char -> [Word8]
• type Byte = Word8
• type IndexedStr = [(Point, Char)]
• type AlexInput = (Char, [Byte], IndexedStr)
• type Action hlState token = IndexedStr -> hlState -> (hlState, token)
• data AlexState lexerState = AlexState {
  • stLexer :: lexerState
  • lookedOffset :: !Point
  • stPosn :: !Posn
  }
• data Tok t = Tok {
  • tokT :: t
  • tokLen :: Size
  • tokPosn :: Posn
  }
• tokToSpan :: Tok t -> Span t
• tokFromT :: t -> Tok t
• tokBegin :: Tok t -> Point
• tokEnd :: Tok t -> Point
• data Posn = Posn {
  • posnOfs :: !Point
  • posnLine :: !Int
  • posnCol :: !Int
  }
• startPosn :: Posn
• moveStr :: Posn -> IndexedStr -> Posn
• moveCh :: Posn -> Char -> Posn
• alexGetChar :: AlexInput -> Maybe (Char, AlexInput)
• alexGetByte :: AlexInput -> Maybe (Word8, AlexInput)
• alexCollectChar :: AlexInput -> [Char]
• alexInputPrevChar :: AlexInput -> Char
• actionConst :: token -> Action lexState token
• actionAndModify :: (lexState -> lexState) -> token -> Action lexState token
• actionStringAndModify :: (s -> s) -> (String -> token) -> Action s token
• actionStringConst :: (String -> token) -> Action lexState token
• type ASI s = (AlexState s, AlexInput)
• type TokenLexer l s t i = (l s, i) -> Maybe (t, (l s, i))
• type CharScanner = Scanner Point Char
• data Lexer l s t i = Lexer {
  • _step :: TokenLexer l s t i
  • _starting :: s -> Point -> Posn -> l s
  • _withChars :: Char -> [(Point, Char)] -> i
  • _looked :: l s -> Point
  • _statePosn :: l s -> Posn
  • _lexEmpty :: t
  • _startingState :: s
  }
• data StyleLexer l s t i = StyleLexer {
  • _tokenToStyle :: t -> StyleName
  • _styleLexer :: Lexer l s (Tok t) i
  }
• type StyleLexerASI s t = StyleLexer AlexState s t AlexInput
• commonLexer :: (ASI s -> Maybe (Tok t, ASI s)) -> s -> Lexer AlexState s (Tok t) AlexInput
• lexScanner :: Lexer l s t i -> CharScanner -> Scanner (l s) t
• unfoldLexer :: ((state, input) -> Maybe (token, (state, input))) -> (state, input) -> [(state, token)]
• posnOfsA :: Lens' Posn Point
• posnLineA :: Lens' Posn Int
• posnColA :: Lens' Posn Int
• tokTA :: forall t t. Lens (Tok t) (Tok t) t t
• tokPosnA :: forall t. Lens' (Tok t) Posn
• tokLenA :: forall t. Lens' (Tok t) Size
• withChars :: forall l s t i. Lens' (Lexer l s t i) (Char -> [(Point, Char)] -> i)
• step :: forall l s t i. Lens' (Lexer l s t i) (TokenLexer l s t i)
• statePosn :: forall l s t i. Lens' (Lexer l s t i) (l s -> Posn)
• startingState :: forall l s t i. Lens' (Lexer l s t i) s
• starting :: forall l s t i. Lens' (Lexer l s t i) (s -> Point -> Posn -> l s)
• looked :: forall l s t i. Lens' (Lexer l s t i) (l s -> Point)
• lexEmpty :: forall l s t i. Lens' (Lexer l s t i) t
• tokenToStyle :: forall l s t i. Lens' (StyleLexer l s t i) (t -> StyleName)
• styleLexer :: forall l s t i l s i. Lens (StyleLexer l s t i) (StyleLexer l s t i) (Lexer l s (Tok t) i) (Lexer l s (Tok t) i)
• (+~) :: SemiNum absolute relative => absolute -> relative -> absolute
• (~-) :: SemiNum absolute relative => absolute -> absolute -> relative
• newtype Size = Size {
  • fromSize :: Int
  }
• type Stroke = Span StyleName

Documentation

Lenses