UTF32.names

[{"name":"utf32","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"mkUTF32","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32_decode","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32_encode","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32be","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"mkUTF32be","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32be_decode","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32be_encode","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32le","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"mkUTF32le","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32le_decode","module":"GHC.IO.Encoding.UTF32","entity":"value"},{"name":"utf32le_encode","module":"GHC.IO.Encoding.UTF32","entity":"value"}]