UTF16.names

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