IOTasks-2.2.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.IOTasks.Overflow

Documentation

data OverflowWarning Source #

Constructors

OverflowOccurred 
NoOverflow 

Instances

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 Source #

Minimal complete definition

pureEval

Instances

Instances details
EffectEval (Term k) Source # 
Instance details

Defined in Test.IOTasks.Internal.Term

Associated Types

type Env (Term k) Source #

Methods

pureEval :: (Applicative f, Typeable a) => (forall x. Typeable x => Term k x -> f x) -> Env (Term k) -> Term k a -> f a Source #

eval :: Typeable a => Env (Term k) -> Term k a -> a Source #