Hedgehog.Internal.Show

Documentation

type Name = String

A name.

data Value

Generic Haskell values. NaN and Infinity are represented as constructors. The String in the literals is the text for the literals "as is".

A chain of infix constructors means that they appeared in the input string without parentheses, i.e

1 :+: 2 :*: 3 is represented with InfixCons 1 [(":+:",2),(":*:",3)], whereas

1 :+: (2 :*: 3) is represented with InfixCons 1 [(":+:",InfixCons 2 [(":*:",3)])].

Constructors

Con Name [Value]

Data constructor

InfixCons Value [(Name, Value)]

Infix data constructor chain

Rec Name [(Name, Value)]

Record value

Tuple [Value]

Tuple

List [Value]

List

Neg Value

Negated value

Ratio Value Value

Rational

Integer String

Non-negative integer

Float String

Non-negative floating num.

Char String

Character

String String

String

Instances

Eq Value

Defined in Text.Show.Value

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Show Value

Defined in Text.Show.Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

data ValueDiff

Constructors

ValueCon Name [ValueDiff]

ValueRec Name [(Name, ValueDiff)]

ValueTuple [ValueDiff]

ValueList [ValueDiff]

ValueSame Value

ValueDiff Value Value

Instances

Eq ValueDiff

Defined in Hedgehog.Internal.Show

Methods

(==) :: ValueDiff -> ValueDiff -> Bool

(/=) :: ValueDiff -> ValueDiff -> Bool

Show ValueDiff

Defined in Hedgehog.Internal.Show

Methods

showsPrec :: Int -> ValueDiff -> ShowS

show :: ValueDiff -> String

showList :: [ValueDiff] -> ShowS

data LineDiff

Constructors

LineSame String

LineRemoved String

LineAdded String

Instances

Eq LineDiff

Defined in Hedgehog.Internal.Show

Methods

(==) :: LineDiff -> LineDiff -> Bool

(/=) :: LineDiff -> LineDiff -> Bool

Show LineDiff

Defined in Hedgehog.Internal.Show

Methods

showsPrec :: Int -> LineDiff -> ShowS

show :: LineDiff -> String

showList :: [LineDiff] -> ShowS

mkValue :: Show a => a -> Maybe Value

showPretty :: Show a => a -> String

valueDiff :: Value -> Value -> ValueDiff

lineDiff :: Value -> Value -> [LineDiff]

toLineDiff :: ValueDiff -> [LineDiff]

renderValue :: Value -> String

renderValueDiff :: ValueDiff -> String

renderLineDiff :: LineDiff -> String

takeLeft :: ValueDiff -> Value

takeRight :: ValueDiff -> Value