Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. readWideCharOffPtr :: Ptr Char -> Int -> IO Char

   base	GHC.Storable

   No documentation available.

2. writeWideCharOffPtr :: Ptr Char -> Int -> Char -> IO ()

   base	GHC.Storable

   No documentation available.

3. decideChar :: forall (a :: Char) (b :: Char) proxy1 proxy2 . (KnownChar a, KnownChar b) => proxy1 a -> proxy2 b -> Either ((a :~: b) -> Void) (a :~: b)

   base	GHC.TypeLits

   We either get evidence that this function was instantiated with the same type-level characters, or that the type-level characters are distinct.

4. decideNat :: forall (a :: Nat) (b :: Nat) proxy1 proxy2 . (KnownNat a, KnownNat b) => proxy1 a -> proxy2 b -> Either ((a :~: b) -> Void) (a :~: b)

   base	GHC.TypeLits

   We either get evidence that this function was instantiated with the same type-level numbers, or that the type-level numbers are distinct.

5. decideSymbol :: forall (a :: Symbol) (b :: Symbol) proxy1 proxy2 . (KnownSymbol a, KnownSymbol b) => proxy1 a -> proxy2 b -> Either ((a :~: b) -> Void) (a :~: b)

   base	GHC.TypeLits

   We either get evidence that this function was instantiated with the same type-level symbols, or that the type-level symbols are distinct.

6. decideNat :: forall (a :: Nat) (b :: Nat) proxy1 proxy2 . (KnownNat a, KnownNat b) => proxy1 a -> proxy2 b -> Either ((a :~: b) -> Void) (a :~: b)

   base	GHC.TypeNats

   We either get evidence that this function was instantiated with the same type-level numbers, or that the type-level numbers are distinct.

7. isValidUtf8 :: ByteString -> Bool

   bytestring	Data.ByteString

   O(n) Check whether a ByteString represents valid UTF-8.

8. isValidUtf8 :: ShortByteString -> Bool

   bytestring	Data.ByteString.Short

   O(n) Check whether a ShortByteString represents valid UTF-8.

9. isValidUtf8 :: ShortByteString -> Bool

   bytestring	Data.ByteString.Short.Internal

   O(n) Check whether a ShortByteString represents valid UTF-8.

10. validateUtf8Chunk :: ByteString -> (Int, Maybe Utf8State)

    text	Data.Text.Encoding

    Validate a ByteString as UTF-8-encoded text. To be continued using validateUtf8More. See also validateUtf8More for details on the result of this function.

    validateUtf8Chunk = validateUtf8More startUtf8State
    

    Properties

    Given:

    validateUtf8Chunk chunk = (n, ms)
    

    • The prefix is valid UTF-8. In particular, it should be accepted by this validation:

      validateUtf8Chunk (take n chunk) =
      (n, Just startUtf8State) 

Page 369 of many | Previous | Next