some package:ghc-internal

One or more.

Examples

>>> some (putStr "la")
lalalalalalalalala... * goes on forever *
>>> some Nothing
nothing
>>> take 5 <$> some (Just 1)
* hangs forever *
Note that this function can be used with Parsers based on Applicatives. In that case some parser will attempt to parse parser one or more times until it fails.
Observe the type constructor of a quantified type representation.
Convert a character into an unknown type-level char.
Convert an integer into an unknown type-level natural.
Convert a string into an unknown type-level symbol.
Convert an integer into an unknown type-level natural.
Superclass for asynchronous exceptions.
The SomeException type is the root of the exception type hierarchy. When an exception of type e is thrown, behind the scenes it is encapsulated in a SomeException.
A non-indexed type representation.
This type represents unknown type-level natural numbers.
This type represents unknown type-level symbols.
hGetBufSome hdl buf count reads data from the handle hdl into the buffer buf. If there is any data available to read, then hGetBufSome returns it immediately; it only blocks if there is no data to be read. It returns the number of bytes actually read. This may be zero if EOF was reached before any data was read (or if count is zero). hGetBufSome never raises an EOF exception, instead it returns a value smaller than count. If the handle is a pipe or socket, and the writing end is closed, hGetBufSome will behave as if EOF was reached. hGetBufSome ignores the prevailing TextEncoding and NewlineMode on the Handle, and reads bytes directly.
Helper to fully evaluate SomeTypeRep for use as NFData(rnf) implementation
Convert a Char into an SChar c value, where c is a fresh type-level character.