Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Data.Compare

Description

Compare two Data value with time and size limit

Synopsis

data Answer
- = No
- | Maybe Double
- | Yes
showAnswer :: Answer -> String
compareData :: Data a => TimeLimit -> TimeLimit -> SizeLimit -> a -> a -> IO (Answer, GenericData, GenericData)

Documentation

data Answer Source #

Answer with possibility

No: no
Maybe d: maybe with d possibility (0-1, 1 denotes yes)
Yes: yes

Constructors

No
Maybe Double
Yes

Instances

Instances details

Eq Answer Source #
Instance details Defined in Data.Data.Compare Methods (==) :: Answer -> Answer -> Bool # (/=) :: Answer -> Answer -> Bool #
Data Answer Source #
Instance details Defined in Data.Data.Compare Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Answer -> c Answer # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Answer # toConstr :: Answer -> Constr # dataTypeOf :: Answer -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Answer) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Answer) # gmapT :: (forall b. Data b => b -> b) -> Answer -> Answer # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Answer -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Answer -> r # gmapQ :: (forall d. Data d => d -> u) -> Answer -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Answer -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Answer -> m Answer # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Answer -> m Answer # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Answer -> m Answer #
Ord Answer Source #
Instance details Defined in Data.Data.Compare Methods compare :: Answer -> Answer -> Ordering # (<) :: Answer -> Answer -> Bool # (<=) :: Answer -> Answer -> Bool # (>) :: Answer -> Answer -> Bool # (>=) :: Answer -> Answer -> Bool # max :: Answer -> Answer -> Answer # min :: Answer -> Answer -> Answer #
Show Answer Source #
Instance details Defined in Data.Data.Compare Methods showsPrec :: Int -> Answer -> ShowS # show :: Answer -> String # showList :: [Answer] -> ShowS #
NFData Answer Source #
Instance details Defined in Data.Data.Compare Methods rnf :: Answer -> () #

showAnswer :: Answer -> String Source #

Show an Answer as an equality operator.

compareData Source #

Arguments

:: Data a
=> TimeLimit	time limit for comparison decision
-> TimeLimit	time limit for highlighting the difference
-> SizeLimit	size limit for the output (in characters)
-> a	first value
-> a	second value
-> IO (Answer, GenericData, GenericData)

Compare two Data value with time and size limit.