Safe Haskell | None |
---|---|
Language | Haskell2010 |
There are two principal string types used internally by GHC:
- A compact, hash-consed, representation of character strings.
- Comparison is O(1), and you can get a
Unique
from them. - Generated by
fsLit
. - Turn into
SDoc
withftext
.
- Just a wrapper for the
Addr#
of a C string (Ptr CChar
). - Practically no operations.
- Outputing them is fast.
- Generated by
sLit
. - Turn into
SDoc
withptext
Use LitString
unless you want the facilities of FastString
.
- fastStringToByteString :: FastString -> ByteString
- mkFastStringByteString :: ByteString -> FastString
- fastZStringToByteString :: FastZString -> ByteString
- unsafeMkByteString :: String -> ByteString
- hashByteString :: ByteString -> Int
- data FastZString
- hPutFZS :: Handle -> FastZString -> IO ()
- zString :: FastZString -> String
- lengthFZS :: FastZString -> Int
- data FastString = FastString {
- uniq :: !Int
- n_chars :: !Int
- fs_bs :: !ByteString
- fs_ref :: !(IORef (Maybe FastZString))
- fsLit :: String -> FastString
- mkFastString :: String -> FastString
- mkFastStringBytes :: Ptr Word8 -> Int -> FastString
- mkFastStringByteList :: [Word8] -> FastString
- mkFastStringForeignPtr :: Ptr Word8 -> ForeignPtr Word8 -> Int -> IO FastString
- mkFastString# :: Addr# -> FastString
- unpackFS :: FastString -> String
- bytesFS :: FastString -> [Word8]
- zEncodeFS :: FastString -> FastZString
- uniqueOfFS :: FastString -> Int
- lengthFS :: FastString -> Int
- nullFS :: FastString -> Bool
- appendFS :: FastString -> FastString -> FastString
- headFS :: FastString -> Char
- tailFS :: FastString -> FastString
- concatFS :: [FastString] -> FastString
- consFS :: Char -> FastString -> FastString
- nilFS :: FastString
- hPutFS :: Handle -> FastString -> IO ()
- getFastStringTable :: IO [[FastString]]
- hasZEncoding :: FastString -> Bool
- type LitString = Ptr Word8
- sLit :: String -> LitString
- mkLitString# :: Addr# -> LitString
- mkLitString :: String -> LitString
- unpackLitString :: LitString -> String
- lengthLS :: LitString -> Int
ByteString
mkFastStringByteString :: ByteString -> FastString Source #
Create a FastString
from an existing ForeignPtr
; the difference
between this and mkFastStringBytes
is that we don't have to copy
the bytes if the string is new to the table.
hashByteString :: ByteString -> Int Source #
FastZString
data FastZString Source #
zString :: FastZString -> String Source #
lengthFZS :: FastZString -> Int Source #
FastStrings
data FastString Source #
A FastString
is an array of bytes, hashed to support fast O(1)
comparison. It is also associated with a character encoding, so that
we know how to convert a FastString
to the local encoding, or to the
Z-encoding used by the compiler internally.
FastString
s support a memoized conversion to the Z-encoding via zEncodeFS.
FastString | |
|
Construction
fsLit :: String -> FastString Source #
mkFastString :: String -> FastString Source #
Creates a UTF-8 encoded FastString
from a String
mkFastStringBytes :: Ptr Word8 -> Int -> FastString Source #
mkFastStringByteList :: [Word8] -> FastString Source #
Creates a FastString
from a UTF-8 encoded [Word8]
mkFastStringForeignPtr :: Ptr Word8 -> ForeignPtr Word8 -> Int -> IO FastString Source #
Create a FastString
from an existing ForeignPtr
; the difference
between this and mkFastStringBytes
is that we don't have to copy
the bytes if the string is new to the table.
mkFastString# :: Addr# -> FastString Source #
Deconstruction
unpackFS :: FastString -> String Source #
Unpacks and decodes the FastString
bytesFS :: FastString -> [Word8] Source #
Gives the UTF-8 encoded bytes corresponding to a FastString
Encoding
zEncodeFS :: FastString -> FastZString Source #
Returns a Z-encoded version of a FastString
. This might be the
original, if it was already Z-encoded. The first time this
function is applied to a particular FastString
, the results are
memoized.
Operations
uniqueOfFS :: FastString -> Int Source #
lengthFS :: FastString -> Int Source #
Returns the length of the FastString
in characters
nullFS :: FastString -> Bool Source #
Returns True
if the FastString
is empty
appendFS :: FastString -> FastString -> FastString Source #
headFS :: FastString -> Char Source #
tailFS :: FastString -> FastString Source #
concatFS :: [FastString] -> FastString Source #
consFS :: Char -> FastString -> FastString Source #
nilFS :: FastString Source #
Outputing
hPutFS :: Handle -> FastString -> IO () Source #
Outputs a FastString
with no decoding at all, that is, you
get the actual bytes in the FastString
written to the Handle
.
Internal
getFastStringTable :: IO [[FastString]] Source #
hasZEncoding :: FastString -> Bool Source #
Returns True
if this FastString
is not Z-encoded but already has
a Z-encoding cached (used in producing stats).
LitStrings
Construction
mkLitString# :: Addr# -> LitString Source #
mkLitString :: String -> LitString Source #
Deconstruction
unpackLitString :: LitString -> String Source #