eof package:ghc-internal

Succeeds iff we are at the end of input
I/O error where the operation failed because the end of file has been reached.
Return the number of elements in the array.
Return the number of elements in the array.
asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
Return the number of elements in the array, correctly accounting for the effect of shrinkMutableByteArray# and resizeMutableByteArray#.
Read a double-precision floating-point value from immutable address; offset in 8-byte words. On some platforms, the access may fail for an insufficiently aligned Addr#.
Reads vector; offset in scalar elements.
Reads vector; offset in scalar elements.
Reads vector; offset in scalar elements.
Read a double-precision floating-point value from mutable address; offset in 8-byte words. On some platforms, the access may fail for an insufficiently aligned Addr#. Warning: this can fail with an unchecked exception.
Reads vector; offset in scalar elements. Warning: this can fail with an unchecked exception.
Reads vector; offset in scalar elements. Warning: this can fail with an unchecked exception.
Reads vector; offset in scalar elements. Warning: this can fail with an unchecked exception.
Return the size of the array in bytes.
Deprecated: Use getSizeofMutableByteArray# instead
Write a double-precision floating-point value to mutable address; offset in 8-byte words. On some platforms, the access may fail for an insufficiently aligned Addr#. Warning: this can fail with an unchecked exception.
Write vector; offset in scalar elements. Warning: this can fail with an unchecked exception.
Write vector; offset in scalar elements. Warning: this can fail with an unchecked exception.
Write vector; offset in scalar elements. Warning: this can fail with an unchecked exception.
The outer type constructor of the type
The isSubsequenceOf function takes two lists and returns True if all the elements of the first list occur, in order, in the second. The elements do not have to occur consecutively. isSubsequenceOf x y is equivalent to x `elem` (subsequences y). Note: isSubsequenceOf is often used in infix form.

Examples

>>> "GHC" `isSubsequenceOf` "The Glorious Haskell Compiler"
True
>>> ['a','d'..'z'] `isSubsequenceOf` ['a'..'z']
True
>>> [1..10] `isSubsequenceOf` [10,9..0]
False
For the result to be True, the first list must be finite; for the result to be False, the second list must be finite:
>>> [0,2..10] `isSubsequenceOf` [0..]
True
>>> [0..] `isSubsequenceOf` [0,2..10]
False
>>> [0,2..] `isSubsequenceOf` [0..]
* Hangs forever*
asProxyTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the tag of the second.
>>> import GHC.Internal.Word

>>> :type asProxyTypeOf 123 (Proxy :: Proxy Word8)
asProxyTypeOf 123 (Proxy :: Proxy Word8) :: Word8
Note the lower-case proxy in the definition. This allows any type constructor with just one argument to be passed to the function, for example we could also write
>>> import GHC.Internal.Word

>>> :type asProxyTypeOf 123 (Just (undefined :: Word8))
asProxyTypeOf 123 (Just (undefined :: Word8)) :: Word8