Text.Lexer: toTokenMap utility function
Converts a list of `(Lexer, k)` into a `TokenMap (Token k)`.
commit19b9ad1c657e7d78ca4a834803ae296a5adb8174
authorMichael Morgan <morgan.michael@me.com>
dateThu 9 Nov 2017, 15:01 (9 years ago)
parentb6f6d42
libs/contrib/Text/Lexer.idr+5−1
@@ -4,9 +4,13 @@ import Data.Bool.Extra
44
55import public Text.Lexer.Core
66import public Text.Quantity
7+import public Text.Token
78
8−%default total
99%access export
10+%default total
11+
12+toTokenMap : List (Lexer, k) -> TokenMap (Token k)
13+toTokenMap = map $ \(l, kind) => (l, Tok kind)
1014
1115||| Recognise any character
1216any : Lexer