diff options
Diffstat (limited to 'stdlib/source/test/aedifex')
23 files changed, 70 insertions, 68 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index cada52d52..471786919 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -5,8 +5,9 @@ [monad (.only do)] [hash (.only Hash)] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" order ["[1]T" \\test]]] [data @@ -45,7 +46,7 @@ /.Artifact] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.order] (orderT.spec /.order ..random)) (_.for [/.hash] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 9094e815b..bdeed5389 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -34,7 +34,7 @@ (_.for [/.Snapshot] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 9a5cbba1c..5a0bccfc4 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -28,7 +28,7 @@ (_.for [/.Build] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index a5d3b0e1d..a24916a04 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -37,7 +37,7 @@ (_.for [/.Stamp]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index af6f8bdb0..9a81b6b54 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -29,7 +29,7 @@ (_.for [/.Time]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index ba8f44d04..5e28c80e7 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -37,7 +37,7 @@ (_.for [/.Version]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index f116a0a78..74b2ff039 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -43,7 +43,7 @@ (_.for [/.Value]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [sample random diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 912aa30f1..5978f2691 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -38,7 +38,7 @@ (_.for [/.Time]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index f6fc6c83a..67332e1ca 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] @@ -46,7 +46,7 @@ candidate random.date] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.format /.parser] (|> expected diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 6b2b504d2..62408f573 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try (.use "[1]#[0]" functor)]] [data @@ -36,7 +36,7 @@ (_.for [/.Versioning]) (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index b72f3464e..90550b004 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" pipe] ["[0]" try]] @@ -109,7 +109,7 @@ (_.for [/.Compilation /.Command] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..command)) + (equivalenceT.spec /.equivalence ..command)) (_.for [/.command] (all _.and diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 3a71c655a..6235282ee 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] ["$[0]" hash]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" order ["[1]T" \\test]]] [math @@ -29,7 +30,7 @@ (_.for [/.Dependency] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.order] (orderT.spec /.order ..random)) (_.for [/.hash] diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 9e67edc86..574f70891 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -3,8 +3,8 @@ [lux (.except all) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try] ["[0]" exception] @@ -436,7 +436,7 @@ (_.for [/.Resolution]) (.all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.empty] (dictionary.empty? /.empty)) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 074394b99..ea13e41c4 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [data ["[0]" binary ["[1]T" \\test]]] @@ -35,7 +35,7 @@ (_.for [/.Status] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [payload (binaryT.random 1)] diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 55cd89bba..fcdf07984 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]]] [control @@ -42,8 +42,8 @@ (`` (all _.and (_.for [/.equivalence] (all _.and - ($equivalence.spec /.equivalence (..random /.sha1)) - ($equivalence.spec /.equivalence (..random /.md5)) + (equivalenceT.spec /.equivalence (..random /.sha1)) + (equivalenceT.spec /.equivalence (..random /.md5)) )) (_.for [/.data] (all _.and diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index af0474e2f..7d640282a 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe] ["[0]" try (.use "[1]#[0]" functor)] @@ -84,7 +84,7 @@ (maybe.else ""))]]] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (do random.monad [expected ..random] diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index d8c1bbf92..63d8832b9 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe] ["[0]" try (.use "[1]#[0]" functor)] @@ -98,7 +98,7 @@ .let [artifact (the /.#artifact expected)]] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.coverage [/.format /.parser] (|> expected diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 8f335b753..9db4ecd29 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" try]] [data @@ -62,7 +62,7 @@ [[profile package] ..random] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence (of ! each product.right ..random))) + (equivalenceT.spec /.equivalence (of ! each product.right ..random))) (_.coverage [/.local?] (/.local? (has /.#origin {//origin.#Local "~/yolo"} package))) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 387a9c2aa..80733a9ee 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [hash (.only Hash)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [control @@ -161,7 +161,7 @@ /.Source /.Target /.Name /.Profile] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.monoid] (monoidT.spec /.equivalence /.monoid ..random)) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index f7040ca66..051c470e9 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [control @@ -44,7 +44,7 @@ (_.for [/.Project /.project] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.monoid] (monoidT.spec /.equivalence /.monoid ..random)) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 8fd54bad8..d82082834 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -2,8 +2,8 @@ [library [lux (.except) [abstract - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random (.only Random)]] [test @@ -24,5 +24,5 @@ (_.for [/.User /.Password /.Identity] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) )))) diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index e07040106..238e0aad2 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -2,8 +2,8 @@ [library [lux (.except) [abstract - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random (.only Random)]] [test @@ -24,5 +24,5 @@ (_.for [/.Origin] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) )))) diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index f48f0eb03..1546092e6 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [control ["[0]" maybe (.use "[1]#[0]" functor)]] [data @@ -40,7 +40,7 @@ runtime ..random] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (,, (with_template [<command>] [(_.coverage [/.default_java /.default_js /.default_python /.default_lua /.default_ruby] |