Hoogle Search

Within LTS Haskell 24.62 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. 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.

3. 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.

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.TypeNats

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

5. isValidUtf8 :: ByteString -> Bool

   bytestring	Data.ByteString

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

6. isValidUtf8 :: ShortByteString -> Bool

   bytestring	Data.ByteString.Short

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

7. isValidUtf8 :: ShortByteString -> Bool

   bytestring	Data.ByteString.Short.Internal

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

8. 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) 

9. validateUtf8More :: Utf8State -> ByteString -> (Int, Maybe Utf8State)

   text	Data.Text.Encoding

   Validate another ByteString chunk in an ongoing stream of UTF-8-encoded text. Returns a pair:

   1. The first component n is the end position, relative to the current chunk, of the longest prefix of the accumulated bytestring which is valid UTF-8. n may be negative: that happens when an incomplete code point started in a previous chunk and is not completed by the current chunk (either that code point is still incomplete, or it is broken by an invalid byte).
   2. The second component ms indicates the following:
      • if ms = Nothing, the remainder of the chunk contains an invalid byte, within four bytes from position n;
      • if ms = Just s', you can carry on validating another chunk by calling validateUtf8More with the new state s'.

   Properties

   Given:

   validateUtf8More s chunk = (n, ms)
   

   • If the chunk is invalid, it cannot be extended to be valid.

     ms
     = Nothing ==> validateUtf8More s (chunk <>
     more) = (n, Nothing) 

   • Validating two chunks sequentially is the same as validating them together at once:

     ms = Just s' ==> validateUtf8More s
     (chunk <> more) = first (length chunk
     +) (validateUtf8More s' more) 

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

    text	Data.Text.Internal.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