Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.IOTasks.Internal.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 #

Constructors

OverflowTreatment
Fields evalITerm :: Env t -> t Integer -> Either (SubCheck t I) I evalIList :: Env t -> t [Integer] -> Either (SubCheck t [I]) [I]

data SubCheck t x where Source #

Constructors

SubCheck :: Typeable a => t a -> (a -> x) -> SubCheck t x

modifySubCheck :: (forall a. t a -> t' a) -> SubCheck t x -> SubCheck t' x Source #

Minimal complete definition

Associated Types

Methods

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

eval :: Typeable a => Env t -> t a -> a Source #

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 #

effectEval :: (EffectEval t, Applicative f, Typeable a) => (forall x. Typeable x => t x -> Maybe (f x)) -> Env t -> t a -> f a Source #

Instances details

Enum I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods succ :: I -> I # pred :: I -> I # toEnum :: Int -> I # fromEnum :: I -> Int # enumFrom :: I -> [I] # enumFromThen :: I -> I -> [I] # enumFromTo :: I -> I -> [I] # enumFromThenTo :: I -> I -> I -> [I] #
Num I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods (+) :: I -> I -> I # (-) :: I -> I -> I # (*) :: I -> I -> I # negate :: I -> I # abs :: I -> I # signum :: I -> I # fromInteger :: Integer -> I #
Integral I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods quot :: I -> I -> I # rem :: I -> I -> I # div :: I -> I -> I # mod :: I -> I -> I # quotRem :: I -> I -> (I, I) # divMod :: I -> I -> (I, I) # toInteger :: I -> Integer #
Real I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods toRational :: I -> Rational #
Show I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods showsPrec :: Int -> I -> ShowS # show :: I -> String # showList :: [I] -> ShowS #
Eq I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods (==) :: I -> I -> Bool # (/=) :: I -> I -> Bool #
Ord I Source #
Instance details Defined in Test.IOTasks.Internal.Overflow Methods compare :: I -> I -> Ordering # (<) :: I -> I -> Bool # (<=) :: I -> I -> Bool # (>) :: I -> I -> Bool # (>=) :: I -> I -> Bool # max :: I -> I -> I # min :: I -> I -> I #