@@ -4,9 +4,13 @@ import Data.Bool.Extra
5import public Text.Lexer.Core
5import public Text.Lexer.Core
6import public Text.Quantity
6import public Text.Quantity
7+import public Text.Token
9%access export
9%access export
12+toTokenMap : List (Lexer, k) -> TokenMap (Token k)
13+toTokenMap = map $ \(l, kind) => (l, Tok kind)
11||| Recognise any character
15||| Recognise any character
12any : Lexer
16any : Lexer