UTF16.names

[{"name":"utf16","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"mkUTF16","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16_decode","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16_encode","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16be","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"mkUTF16be","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16be_decode","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16be_encode","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16le","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"mkUTF16le","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16le_decode","entity":"value","module":"GHC.IO.Encoding.UTF16"},{"name":"utf16le_encode","entity":"value","module":"GHC.IO.Encoding.UTF16"}]