Module Test.QuickCheckException

Imports

• import Prelude.PreludeIO as E
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  type AnException = Exception

  tryEvaluate ∷ a → IO (Exception | a)

  tryEvaluateIO ∷ IO a → IO (Exception | a)

  isInterrupt ∷ Exception → Bool

  discard ∷ a

  isDiscard ∷ Exception → Bool

• Functions and Values by Type

Definitions

type AnException = Exception

tryEvaluate ∷ a → IO (Exception | a)

• ----------------------------------------------------------------------

tryEvaluateIO ∷ IO a → IO (Exception | a)

isInterrupt ∷ Exception → Bool

discard ∷ a

isDiscard ∷ Exception → Bool

Functions and Values by Type

Exception → Bool

isDiscard, isInterrupt

IO a → IO (Exception | a)

tryEvaluateIO

a → IO (Exception | a)

tryEvaluate

a

discard