Safe Haskell	None

Test.IOTasks.Overflow

Documentation

Constructors

OverflowOccurred
NoOverflow

Instances details

Monoid OverflowWarning Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods mempty :: OverflowWarning mappend :: OverflowWarning -> OverflowWarning -> OverflowWarning mconcat :: [OverflowWarning] -> OverflowWarning
Semigroup OverflowWarning Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods (<>) :: OverflowWarning -> OverflowWarning -> OverflowWarning sconcat :: NonEmpty OverflowWarning -> OverflowWarning stimes :: Integral b => b -> OverflowWarning -> OverflowWarning
Show OverflowWarning Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods showsPrec :: Int -> OverflowWarning -> ShowS show :: OverflowWarning -> String showList :: [OverflowWarning] -> ShowS
Eq OverflowWarning Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods (==) :: OverflowWarning -> OverflowWarning -> Bool (/=) :: OverflowWarning -> OverflowWarning -> Bool

evalOverflow :: (EffectEval t, Typeable a) => OverflowTreatment t -> Env t -> t a -> (OverflowWarning, a) Source #

class EffectEval (t :: Type -> Type) Source #

Minimal complete definition

pureEval

Instances details

EffectEval (Term k) Source #
Instance details Defined in Test.IOTasks.Internal.Term Methods pureEval :: (Applicative f, Typeable a) => (forall x. Typeable x => Term k x -> f x) -> Env (Term k) -> Term k a -> f a eval :: Typeable a => Env (Term k) -> Term k a -> a