Text.Show.Diff

Reexports

Definitions

data ValueDiff : Type

Totality: total
Visibility: public export
Constructors:

Con : VName -> List ValueDiff -> ValueDiff

Rec : VName -> List (VName, ValueDiff) -> ValueDiff

Tuple : ValueDiff -> ValueDiff -> List ValueDiff -> ValueDiff

Lst : List ValueDiff -> ValueDiff

Same : Value -> ValueDiff

Diff : Value -> Value -> ValueDiff

Hints:

Eq ValueDiff

PrettyVal ValueDiff

Show ValueDiff

data LineDiff : Type

Totality: total
Visibility: public export
Constructors:

LineSame : String -> LineDiff

LineRemoved : String -> LineDiff

LineAdded : String -> LineDiff

Hints:

Eq LineDiff

PrettyVal LineDiff

Show LineDiff

data DocDiff : Type

Totality: total
Visibility: public export
Constructors:

DocSame : Nat -> String -> DocDiff

DocRemoved : Nat -> String -> DocDiff

DocAdded : Nat -> String -> DocDiff

DocOpen : Nat -> String -> DocDiff

DocItem : Nat -> String -> List DocDiff -> DocDiff

DocClose : Nat -> String -> DocDiff

Hints:

Eq DocDiff

PrettyVal DocDiff

Show DocDiff

valueDiff : Value -> Value -> ValueDiff

Totality: total
Visibility: export

takeLeft : ValueDiff -> Value

Totality: total
Visibility: export

takeRight : ValueDiff -> Value

Totality: total
Visibility: export

toLineDiff : ValueDiff -> List LineDiff

Totality: total
Visibility: export

lineDiff : Value -> Value -> List LineDiff

Totality: total
Visibility: export

renderLineDiff : LineDiff -> String

Totality: total
Visibility: export

renderValueDiff : ValueDiff -> String

Totality: total
Visibility: export