Hedgehog.Internal.Show

Documentation

type Name = String

data Value :: *

Constructors

Con Name [Value]

InfixCons Value [(Name, Value)]

Rec Name [(Name, Value)]

Tuple [Value]

List [Value]

Neg Value

Ratio Value Value

Integer String

Float String

Char String

String String

Instances

Eq Value

Methods

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

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

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

Methods

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

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

Show ValueDiff

Methods

showsPrec :: Int -> ValueDiff -> ShowS

show :: ValueDiff -> String

showList :: [ValueDiff] -> ShowS

data LineDiff

Constructors

LineSame String

LineRemoved String

LineAdded String

Instances

Eq LineDiff

Methods

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

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

Show LineDiff

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