UTF32.names

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