1 interface Lexer_Buffer where
2 add :: Char -> Lexer_Buffer -> Lexer_Buffer
5 {-# ARITY empty = 0 #-}
6 flush :: Lexer_Buffer -> Lexer_Buffer
7 {-# ARITY flush = 1 #-}
8 len :: Lexer_Buffer -> Int
10 to_string :: Lexer_Buffer -> [Char]
11 {-# ARITY to_string = 1 #-}