:: IO_a_ -> _ IO_ThreadId -package:freckle-app -package:envelope -package:configuration-tools -package:happstack-server

Generalized version of evaluate.

Throw an error, escaping the current computation up to the nearest catchError (if any).

runThrow (throwError e >>= k) = runThrow (throwError e)

A higher-order generalisation of replicate. For example

foo :: IO (String, String, String)
foo = replicateT getLine

> foo
Hello
world
!
("Hello","world","!")

Use sequenceT instead. It has a better name.

A higher-order generalisation of sequenceA. For example

> sequenceT (print 3110, putStrLn World) :: IO ((), ())
3110
World
((),())

Lift a value into the Structure.

Examples

>>> pure 1 :: Maybe Int
Just 1

>>> pure 'z' :: [Char]
"z"

>>> pure (pure ":D") :: Maybe [String]
Just [":D"]

Lift a value.

Lift a value.

Inject a value into the monadic type. This function should not be different from its default implementation as pure. The justification for the existence of this function is merely historic.

Inject a value into the monadic type.

Strict version of return because usually we don't need that extra thunk.