Data.SafeJSON.Test

Consistency checks

Using TypeApplications

testConsistency

Using a Proxy argument

testConsistency'

Unit tests

Migration tests

testMigration

testReverseMigration

Synonyms

(<=?)

(>=?)

Round trip tests

testRoundTrip

migrateRoundTrip

migrateReverseRoundTrip

Property tests

Constraint synonyms for readability

type TestMigrate a b

type TestReverseMigrate a b

Using TypeApplications

testRoundTripProp

migrateRoundTripProp

migrateReverseRoundTripProp

Using a Proxy argument

testRoundTripProp'

migrateRoundTripProp'

migrateReverseRoundTripProp'

Re-export for convenience

data Proxy k t