Copyright	© 2009 Matt Morrow & Dan Peebles © 2013 Liyang HU © 2020 Kiara Grouwstra
License	see LICENSE
Maintainer	tycho01@pm.me
Stability	experimental
Portability	non-portable (Scoped Type Variables)
Safe Haskell	None
Language	Haskell2010

Control.Spork

Description

Two functions for catching pureish exceptions in pure values. This library considers pureish to be any error call or undefined, failed pattern matches, arithmetic exceptions, and array bounds exceptions.

Synopsis

type Handles a = [Handler (Either String a)]
spork :: NFData a => a -> Either String a
sporkDefaultHandles :: Handles a
sporkWithHandles :: NFData a => Handles a -> a -> Either String a
teaspork :: a -> Either String a
teasporkWithHandles :: Handles a -> a -> Either String a

Documentation

type Handles a = [Handler (Either String a)] Source #

spork :: NFData a => a -> Either String a Source #

Evaluate a value to normal form and return Left if any exceptions are thrown during evaluation. For any error-free value, spork = Right.

sporkDefaultHandles :: Handles a Source #

sporkWithHandles :: NFData a => Handles a -> a -> Either String a Source #

Evaluate a value to normal form and return Left if any exceptions are thrown during evaluation. For any error-free value, spork = Right.

teaspork :: a -> Either String a Source #

Like spork, but only evaluates to WHNF.

teasporkWithHandles :: Handles a -> a -> Either String a Source #