Documentation

Unicode.General.Name

def Unicode.getName (c : Char) :

Equations

Unicode.getName c = let map := Thunk.get Unicode.unicodeDataMap; Option.bind (Std.HashMap.find? map c) fun a => List.get? a 0