@fncts/test 0.0.31 → 0.0.33
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/_cjs/api.cjs +5 -5
- package/_cjs/api.cjs.map +1 -1
- package/_cjs/control/AbstractRunnableSpec.cjs +79 -5
- package/_cjs/control/AbstractRunnableSpec.cjs.map +1 -1
- package/_cjs/control/Annotations/definition.cjs +11 -3
- package/_cjs/control/Annotations/definition.cjs.map +1 -1
- package/_cjs/control/Assertion/api.cjs +6 -5
- package/_cjs/control/Assertion/api.cjs.map +1 -1
- package/_cjs/control/DefaultRunnableSpec.cjs +3 -6
- package/_cjs/control/DefaultRunnableSpec.cjs.map +1 -1
- package/_cjs/control/DefaultTestReporter/render.cjs +1 -1
- package/_cjs/control/DefaultTestReporter/render.cjs.map +1 -1
- package/_cjs/control/Gen/api.cjs +240 -81
- package/_cjs/control/Gen/api.cjs.map +1 -1
- package/_cjs/control/Live/definition.cjs +9 -8
- package/_cjs/control/Live/definition.cjs.map +1 -1
- package/_cjs/control/Sample/api.cjs +16 -16
- package/_cjs/control/Sample/api.cjs.map +1 -1
- package/_cjs/control/Spec/api.cjs +7 -7
- package/_cjs/control/Spec/api.cjs.map +1 -1
- package/_cjs/control/TestAnnotationRenderer/api.cjs +6 -5
- package/_cjs/control/TestAnnotationRenderer/api.cjs.map +1 -1
- package/_cjs/control/TestAspect/api.cjs +2 -3
- package/_cjs/control/TestAspect/api.cjs.map +1 -1
- package/_cjs/control/TestClock/definition.cjs +6 -6
- package/_cjs/control/TestClock/definition.cjs.map +1 -1
- package/_cjs/data/AssertionResult.cjs +3 -2
- package/_cjs/data/AssertionResult.cjs.map +1 -1
- package/_cjs/data/AssertionValue/definition.cjs +2 -1
- package/_cjs/data/AssertionValue/definition.cjs.map +1 -1
- package/_cjs/data/FreeBooleanAlgebra/api.cjs +5 -4
- package/_cjs/data/FreeBooleanAlgebra/api.cjs.map +1 -1
- package/_cjs/data/TestAnnotation/api.cjs +3 -2
- package/_cjs/data/TestAnnotation/api.cjs.map +1 -1
- package/_cjs/data/TestAnnotationMap.cjs.map +1 -1
- package/_cjs/demo.cjs +3 -1
- package/_cjs/demo.cjs.map +1 -1
- package/_mjs/api.mjs +5 -5
- package/_mjs/api.mjs.map +1 -1
- package/_mjs/control/AbstractRunnableSpec.mjs +78 -5
- package/_mjs/control/AbstractRunnableSpec.mjs.map +1 -1
- package/_mjs/control/Annotations/definition.mjs +8 -1
- package/_mjs/control/Annotations/definition.mjs.map +1 -1
- package/_mjs/control/Assertion/api.mjs +6 -5
- package/_mjs/control/Assertion/api.mjs.map +1 -1
- package/_mjs/control/DefaultRunnableSpec.mjs +3 -6
- package/_mjs/control/DefaultRunnableSpec.mjs.map +1 -1
- package/_mjs/control/DefaultTestReporter/render.mjs +1 -1
- package/_mjs/control/DefaultTestReporter/render.mjs.map +1 -1
- package/_mjs/control/Gen/api.mjs +219 -73
- package/_mjs/control/Gen/api.mjs.map +1 -1
- package/_mjs/control/Live/definition.mjs +10 -8
- package/_mjs/control/Live/definition.mjs.map +1 -1
- package/_mjs/control/Sample/api.mjs +16 -16
- package/_mjs/control/Sample/api.mjs.map +1 -1
- package/_mjs/control/Spec/api.mjs +7 -7
- package/_mjs/control/Spec/api.mjs.map +1 -1
- package/_mjs/control/TestAnnotationRenderer/api.mjs +6 -5
- package/_mjs/control/TestAnnotationRenderer/api.mjs.map +1 -1
- package/_mjs/control/TestAspect/api.mjs +2 -3
- package/_mjs/control/TestAspect/api.mjs.map +1 -1
- package/_mjs/control/TestClock/definition.mjs +6 -6
- package/_mjs/control/TestClock/definition.mjs.map +1 -1
- package/_mjs/data/AssertionResult.mjs +3 -2
- package/_mjs/data/AssertionResult.mjs.map +1 -1
- package/_mjs/data/AssertionValue/definition.mjs +2 -1
- package/_mjs/data/AssertionValue/definition.mjs.map +1 -1
- package/_mjs/data/FreeBooleanAlgebra/api.mjs +5 -4
- package/_mjs/data/FreeBooleanAlgebra/api.mjs.map +1 -1
- package/_mjs/data/TestAnnotation/api.mjs +3 -2
- package/_mjs/data/TestAnnotation/api.mjs.map +1 -1
- package/_mjs/data/TestAnnotationMap.mjs +2 -1
- package/_mjs/data/TestAnnotationMap.mjs.map +1 -1
- package/_mjs/demo.mjs +3 -1
- package/_mjs/demo.mjs.map +1 -1
- package/_src/api.ts +2 -2
- package/_src/control/AbstractRunnableSpec.ts +93 -11
- package/_src/control/Annotations/definition.ts +4 -0
- package/_src/control/DefaultRunnableSpec.ts +3 -7
- package/_src/control/Gen/api.ts +201 -7
- package/_src/control/Live/definition.ts +8 -9
- package/_src/control/TestAspect/api.ts +2 -2
- package/_src/demo.ts +4 -2
- package/api.d.ts +1 -1
- package/control/AbstractRunnableSpec.d.ts +22 -9
- package/control/Annotations/definition.d.ts +3 -0
- package/control/DefaultRunnableSpec.d.ts +4 -4
- package/control/Gen/api.d.ts +70 -1
- package/control/Live/definition.d.ts +6 -2
- package/package.json +3 -3
- package/_cjs/control/RunnableSpec.cjs +0 -52
- package/_cjs/control/RunnableSpec.cjs.map +0 -1
- package/_cjs/control/TestExecutor.cjs +0 -44
- package/_cjs/control/TestExecutor.cjs.map +0 -1
- package/_cjs/control/TestRunner.cjs +0 -28
- package/_cjs/control/TestRunner.cjs.map +0 -1
- package/_mjs/control/RunnableSpec.mjs +0 -42
- package/_mjs/control/RunnableSpec.mjs.map +0 -1
- package/_mjs/control/TestExecutor.mjs +0 -36
- package/_mjs/control/TestExecutor.mjs.map +0 -1
- package/_mjs/control/TestRunner.mjs +0 -19
- package/_mjs/control/TestRunner.mjs.map +0 -1
- package/_src/control/RunnableSpec.ts +0 -47
- package/_src/control/TestExecutor.ts +0 -52
- package/_src/control/TestRunner.ts +0 -31
- package/control/RunnableSpec.d.ts +0 -11
- package/control/TestExecutor.d.ts +0 -12
- package/control/TestRunner.d.ts +0 -17
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA,SAASA,QAAQ,QAAQ,0BAA0B;AAKnD,OAAM,MAAOC,IAAI;EACfC,YAAqBC,QAAgB,EAAWC,MAAoD;IAA/E,aAAQ,GAARD,QAAQ;IAAmB,WAAM,GAANC,MAAM;EAAiD;;AAGzG,OAAM,MAAOC,KAAK;EAChBH,YAAqBC,QAAgB,EAAWG,OAA4B,EAAWC,OAAgB;IAAlF,aAAQ,GAARJ,QAAQ;IAAmB,YAAO,GAAPG,OAAO;IAAgC,YAAO,GAAPC,OAAO;EAAY;;AAkB5G,OAAO,MAAMC,KAAK,GAAgB;EAAEC,IAAI,EAAE;AAAO,CAAE;AAEnD,OAAO,MAAMC,OAAO,GAAIC,KAAyB,KAAmB;EAAEF,IAAI,EAAE,SAAS;EAAEE;AAAK,CAAE,CAAC;AAE/F,OAAO,MAAMC,IAAI,GAAgB;EAAEH,IAAI,EAAE;AAAM,CAAE;AAEjD,MAAMI,OAAO,GACX,sEAAsE,GACtE,gEAAgE,GAChE,4BAA4B;AAE9B;;;AAGA,OAAO,MAAMC,YAAY,gBAAGC,wBAAe,sBAAsB,CAAC;AAElE;;;;AAIA,OAAM,MAAOC,SAAU,SAAQC,qBAAK;EAClCf,YACWgB,UAAqB,EACrBC,IAAU,EACVC,WAAwB,EACxBC,YAA2C;IAEpD,KAAK,EAAE;IALE,eAAU,GAAVH,UAAU;IACV,SAAI,GAAJC,IAAI;IACJ,gBAAW,GAAXC,WAAW;IACX,iBAAY,GAAZC,YAAY;IAIvB,UAAK,GAAIC,EAAkB,IAAI;MAC7B,MAAMC,IAAI,GAAG,IAAI;MACjB,+BACQjB,OAAO,4BACPkB,IAAI,4DAWRC,sBAAS,MAAK;QACZ,IAAID,IAAI,EAAE;UACR,qDAA2BlB,OAAO,iDAA3BiB,IAAI,CAACG,YAAY;SACzB,MAAM;UACL,6EAAOC,yBAAgBC,SAAS,yBAAzBtB,OAAO,CAAmB;;MAErC,CAAC,wBAAC,0BAhBFuB,uBAAwBC,IAAI,IAAI;QAC9B,MAAMC,GAAG,GAAGD,IAAI,CAAC3B,QAAQ,GAAGmB,EAAE,EAAE,CAACU,YAAY;QAC7C,IAAID,GAAG,GAAGD,IAAI,CAAC3B,QAAQ,EAAE;UACvB,OAAO,CAAC,IAAI,EAAE,IAAIF,IAAI,CAAC6B,IAAI,CAAC3B,QAAQ,EAAE8B,wBAAoB,CAACF,GAAG,EAAEzB,OAAO,CAAC,EAAlCwB,IAAI,CAAC1B,MAAM,CAAwB,CAAC,CAAC;SAC5E,MAAM;UACL,OAAO,CAAC,KAAK,EAAE0B,IAAI,CAAC;;MAExB,CAAC,yBAPDP,IAAI,CAACL,UAAU,CAOb,0BATcgB,2CAA0B;IAqBhD,CAAC;IACD,gBAAW,GAAGT,oBAAyBK,IAAI,IAAKA,IAAI,CAAC3B,QAAQ,6CAA/C,IAAI,CAACe,UAAU,yBAAiC;IAU9D,WAAM,GAAGO,oBAAyBK,IAAI,IAAKG,oBAAgB,CAAC,CAACE,CAAC,CAAC,KAAKA,CAAC,EAA1BL,IAAI,CAAC1B,MAAM,CAAgB,6CAA7D,IAAI,CAACc,UAAU,yBAA+C;IAuEvE,gBAAW,GAAckB,8BACvBpC,QAAQ,CAAC;MACPQ,KAAK,EAAE,MAAM6B,sBAAKZ,8BAAGb,IAAI,yBAAC,
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAIA,SAASA,QAAQ,QAAQ,0BAA0B;AAKnD,OAAM,MAAOC,IAAI;EACfC,YAAqBC,QAAgB,EAAWC,MAAoD;IAA/E,aAAQ,GAARD,QAAQ;IAAmB,WAAM,GAANC,MAAM;EAAiD;;AAGzG,OAAM,MAAOC,KAAK;EAChBH,YAAqBC,QAAgB,EAAWG,OAA4B,EAAWC,OAAgB;IAAlF,aAAQ,GAARJ,QAAQ;IAAmB,YAAO,GAAPG,OAAO;IAAgC,YAAO,GAAPC,OAAO;EAAY;;AAkB5G,OAAO,MAAMC,KAAK,GAAgB;EAAEC,IAAI,EAAE;AAAO,CAAE;AAEnD,OAAO,MAAMC,OAAO,GAAIC,KAAyB,KAAmB;EAAEF,IAAI,EAAE,SAAS;EAAEE;AAAK,CAAE,CAAC;AAE/F,OAAO,MAAMC,IAAI,GAAgB;EAAEH,IAAI,EAAE;AAAM,CAAE;AAEjD,MAAMI,OAAO,GACX,sEAAsE,GACtE,gEAAgE,GAChE,4BAA4B;AAE9B;;;AAGA,OAAO,MAAMC,YAAY,gBAAGC,wBAAe,sBAAsB,CAAC;AAElE;;;;AAIA,OAAM,MAAOC,SAAU,SAAQC,qBAAK;EAClCf,YACWgB,UAAqB,EACrBC,IAAU,EACVC,WAAwB,EACxBC,YAA2C;IAEpD,KAAK,EAAE;IALE,eAAU,GAAVH,UAAU;IACV,SAAI,GAAJC,IAAI;IACJ,gBAAW,GAAXC,WAAW;IACX,iBAAY,GAAZC,YAAY;IAIvB,UAAK,GAAIC,EAAkB,IAAI;MAC7B,MAAMC,IAAI,GAAG,IAAI;MACjB,+BACQjB,OAAO,4BACPkB,IAAI,4DAWRC,sBAAS,MAAK;QACZ,IAAID,IAAI,EAAE;UACR,qDAA2BlB,OAAO,iDAA3BiB,IAAI,CAACG,YAAY;SACzB,MAAM;UACL,6EAAOC,yBAAgBC,SAAS,yBAAzBtB,OAAO,CAAmB;;MAErC,CAAC,wBAAC,0BAhBFuB,uBAAwBC,IAAI,IAAI;QAC9B,MAAMC,GAAG,GAAGD,IAAI,CAAC3B,QAAQ,GAAGmB,EAAE,EAAE,CAACU,YAAY;QAC7C,IAAID,GAAG,GAAGD,IAAI,CAAC3B,QAAQ,EAAE;UACvB,OAAO,CAAC,IAAI,EAAE,IAAIF,IAAI,CAAC6B,IAAI,CAAC3B,QAAQ,EAAE8B,wBAAoB,CAACF,GAAG,EAAEzB,OAAO,CAAC,EAAlCwB,IAAI,CAAC1B,MAAM,CAAwB,CAAC,CAAC;SAC5E,MAAM;UACL,OAAO,CAAC,KAAK,EAAE0B,IAAI,CAAC;;MAExB,CAAC,yBAPDP,IAAI,CAACL,UAAU,CAOb,0BATcgB,2CAA0B;IAqBhD,CAAC;IACD,gBAAW,GAAGT,oBAAyBK,IAAI,IAAKA,IAAI,CAAC3B,QAAQ,6CAA/C,IAAI,CAACe,UAAU,yBAAiC;IAU9D,WAAM,GAAGO,oBAAyBK,IAAI,IAAKG,oBAAgB,CAAC,CAACE,CAAC,CAAC,KAAKA,CAAC,EAA1BL,IAAI,CAAC1B,MAAM,CAAgB,6CAA7D,IAAI,CAACc,UAAU,yBAA+C;IAuEvE,gBAAW,GAAckB,8BACvBpC,QAAQ,CAAC;MACPQ,KAAK,EAAE,MAAM6B,sBAAKZ,8BAAGb,IAAI,yBAAC,yBAAC;MAC3BF,OAAO,EAAE,CAAC;QAAEC;MAAK,CAAE,KAAK0B,sBAAKZ,yBAAmBb,IAAI,qDAAvBD,KAAK,EAAmB,yBAAC;MACtDC,IAAI,EAAE,MAAMyB;KACb,CAAC,0BALqB,IAAI,CAAChB,YAAY,CAMzC;IACO,iBAAY,GAAce,8BAChCpC,QAAQ,CACN;MACEQ,KAAK,EAAE,MACL6B,sBAAKZ,oBAA4Ff,OAAO,gFAAnG,IAAI,CAACS,IAAI,CAACmB,OAAO,0BAA4BC,uBAAc1B,OAAO,yBAAC,0BAAjD2B,sDAAa,CAAC,0BAAU,EAA0B,mDAAgC;KAC5G,EACD,MAAMH,gDAAwC,CAC/C,0BAP+B,IAAI,CAAChB,YAAY,CAQlD;EA1HD;EA2BAoB,MAAM,CAACtC,QAAgB;IACrB,gCAA0B,IAAI,CAACuC,GAAG,CAAEC,CAAC,IAAKA,CAAC,GAAGxC,QAAQ,CAAC,yBAAhD,IAAI,CAACyC,WAAW;EACzB;EACAC,OAAO,CAACC,IAAU;IAChB,OAAO,IAAI,CAACC,OAAO,CAACD,IAAI,CAACE,OAAO,EAAE,CAAC;EACrC;EACAD,OAAO,CAACE,IAAY;IAClB,gCAA0B,IAAI,CAACP,GAAG,CAAEP,CAAC,IAAKc,IAAI,CAAC,yBAAxC,IAAI,CAACL,WAAW;EACzB;EAEA,IAAIM,gBAAgB;IAClB,OAAOzB,wBAAoBlB,OAAO,IAChCkB,wBAAqDU,CAAC,IACpDgB,uBACGhB,CAAC,IAAKV,8BAAW2B,uBAAe,yBAAC,EACjCC,MAAM,IACL5B,oBAEQ6B,GAAG,IAAKF,uBAAYG,CAAC,IAAK,CAACC,8BAAuBD,CAAC,CAACE,EAAE,EAAElD,OAAO,CAAC,EAAxD+C,GAAG,CAAsD,0BAFzE7B,oBACQU,CAAC,IAAKuB,0BAAWN,uBAAwC,EAAE,CAACO,EAAE,EAAEC,EAAE,KAAKR,sBAASQ,EAAE,EAAXD,EAAE,CAAU,EAA7ExB,CAAC,CAA6E,0BAD5FV,wBAAW4B,MAAM,EAAGQ,GAAG,IAAIC,oBAACD,GAAG,yBAAI,yBAAC,CACyD,CACnB,EAL9E1B,CAAC,CAMA,0BAPH,IAAI,CAACf,WAAW,CAAC2C,GAAG,yBAAuB,CAQ1C,iDACF;EACH;EACA,IAAYC,MAAM;IAChB,OAAOvC,wBAA+B4B,MAAM,IAC1C5B,yBAAY4B,MAAM,EAAEY,wBAAqC,EAAE,CAACC,GAAG,EAAEvD,KAAK,KACpEc,wBAAsB0C,MAAM,IAAI;MAC9B,QAAQA,MAAM,CAAC1D,IAAI;QACjB;UAA0B;YACxB,OAAOgB,8BAAWwC,qBAAQtD,KAAK,CAAC8C,EAAE,EAAEU,MAAM,EAAxBD,GAAG,CAAsB,yBAAC;;QAE9C;UAA+B;YAC7B,OAAOzC,8BAAWwC,qBAAQtD,KAAK,CAAC8C,EAAE,EAAEU,MAAM,EAAxBD,GAAG,CAAsB,yBAAC;;QAE9C;UAAS;YACP,OAAOzC,2BAAQG,SAAS,yBAAC;;MAC1B;IAEL,CAAC,0BAZDjB,KAAK,CAACwD,MAAM,CAYV,yBACH,0BAfI,IAAI,CAACjB,gBAAgB,CAgB3B;EACH;EACA,IAAYkB,KAAK;IACf,OAAO,IAAI,CAACjD,IAAI,CAACmB,OAAO,CAACE,2DAAa,CAAC,0BAAe,CAAC;EACzD;EACA,IAAY6B,cAAc;IACxB,yDAAO5C,wDAE4B,MAAYG,SAAS,EAFjDH,iDACwD,IAAI,CAAC6C,SAAS,0BAAlE,IAAI,CAACnD,IAAI,CAACmB,OAAO,CAACE,2DAAa,EAAE,0BAAe,CAAC,0DADrD,IAAI,CAAC8B,SAAS,CACiF,CAC7C;EAC3D;EACQ5B,GAAG,CAACa,CAA+B;IACzC,OAAO9B,wBAaIU,CAAC,IACVoC,uBACE,MAAK9C,oBAAQ,EACb,CAAC,CAACM,GAAG,EAAEzB,OAAO,CAAC,KAAImB,yBAA4C,IAAI,CAACiB,GAAG,CAAC,MAAMX,GAAG,CAAC,qGAA9DJ,yBAAgBC,SAAS,0BAAzBtB,OAAO,CAAmB,EAAoC,EAFpF6B,CAAC,CAGA,0BAjBIV,yBAELI,uBAAwBC,IAAI,IAAI;MAC9B,MAAMC,GAAG,GAAMwB,CAAC,CAACzB,IAAI,CAAC3B,QAAQ,CAAC;MAC/B,MAAMqE,MAAM,GAAGvC,yBAAqB,CAAC,CAACwC,CAAC,CAAC,EAAE,CAACC,CAAC,CAAC,KAAKC,qBAAWC,OAAO,CAACF,CAAC,CAAC,CAACD,CAAC,CAAC,EAA3D3C,IAAI,CAAC1B,MAAM,CAAiD;MAC3E,OAAOyE,iCAMM,CAACxC,gDAAS,EAAE,IAAIpC,IAAI,CAAC8B,GAAG,EAAED,IAAI,CAAC1B,MAAM,CAAC,CAAU,EANtDyE,yBACI,CAAC,CAAC1E,QAAQ,EAAEG,OAAO,CAAC,KAC3BH,QAAQ,IAAI4B,GAAG,GACXM,sBAAK,CAACA,sBAAK,CAACN,GAAG,EAAEzB,OAAO,CAAU,yBAAC,EAAE,IAAIL,IAAI,CAACE,QAAQ,8BAAEqE,MAAM,EAAY,CAAU,yBAAC,GACrFnC,gDAAS,uBAJVmC,MAAM,EAKV,CAC2D;IAChE,CAAC,0BAVD,IAAI,CAACtD,UAAU,CAUb,0BAXF,IAAI,CAACmD,cAAc,EAiBpB;EACH;EACA,IAAYC,SAAS;IACnB,OAAO7C,wBAAkD,CAAC,CAACqD,KAAK,EAAEC,IAAI,CAAC,KAAI;MACzE,IAAIvB,8BAAuBsB,KAAK,EAAEC,IAAI,CAAC,EAAE;QACvC,OAAOtD,2BAAcqD,KAAK,yBAAC;OAC5B,MAAM;QACL,OAAOrD,wBAAWG,SAAS,yBAAC;;IAEhC,CAAC,0BANMH,6CAA6B,IAAI,CAACuC,MAAM,0BAAxB,IAAI,CAACI,KAAK,2BAA1B,IAAI,CAACJ,MAAM,CAA8B,CAM9C;EACJ","names":["matchTag","Data","constructor","duration","sleeps","Sleep","promise","fiberId","Start","_tag","Pending","fiber","Done","warning","TestClockTag","tsplus_module_1","TestClock","tsplus_module_2","clockState","live","annotations","warningState","ms","self","wait","tsplus_module_4","warningStart","tsplus_module_3","undefined","tsplus_module_6","data","end","milliseconds","tsplus_module_5","tsplus_module_7","_","tsplus_module_24","tsplus_module_20","provide","tsplus_module_25","tsplus_module_16","adjust","run","d","warningDone","setDate","date","setTime","getTime","time","supervizedFibers","tsplus_module_12","tsplus_module_9","fibers","set","f","tsplus_module_10","id","tsplus_module_11","s0","s1","ref","tsplus_module_8","get","freeze","tsplus_module_14","map","status","delay","awaitSuspended","suspended","tsplus_module_18","sorted","x","y","tsplus_module_19","compare","tsplus_module_22","first","last"],"sourceRoot":"","sources":["../../../_src/control/TestClock/definition.ts"],"sourcesContent":[null]}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
|
+
const fileName_1 = "(@fncts/test) src/data/AssertionResult.ts";
|
|
1
2
|
import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
|
|
2
3
|
export class FailureDetailsResult {
|
|
3
|
-
constructor(failureDetails, genFailureDetails = tsplus_module_1.nothing()) {
|
|
4
|
+
constructor(failureDetails, genFailureDetails = tsplus_module_1.nothing(fileName_1 + ":7:67")) {
|
|
4
5
|
this.failureDetails = failureDetails;
|
|
5
6
|
this.genFailureDetails = genFailureDetails;
|
|
6
7
|
}
|
|
@@ -9,7 +10,7 @@ export const AssertionResult = {};
|
|
|
9
10
|
/**
|
|
10
11
|
* @tsplus static fncts.test.data.AssertionResultOps FailureDetailsResult
|
|
11
12
|
*/
|
|
12
|
-
export function failureDetailsResult(failureDetails, genFailureDetails = tsplus_module_1.nothing()) {
|
|
13
|
+
export function failureDetailsResult(failureDetails, genFailureDetails = tsplus_module_1.nothing(fileName_1 + ":28:56")) {
|
|
13
14
|
return new FailureDetailsResult(failureDetails, genFailureDetails);
|
|
14
15
|
}
|
|
15
16
|
//# sourceMappingURL=AssertionResult.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"AssertionResult.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"AssertionResult.mjs","mappings":";;AAGA,OAAM,MAAOA,oBAAoB;EAC/BC,YACWC,cAA8B,EAC9BC,oBAA8CC,6CAAS;IADvD,mBAAc,GAAdF,cAAc;IACd,sBAAiB,GAAjBC,iBAAiB;EACzB;;AAaL,OAAO,MAAME,eAAe,GAAuB,EAAE;AAErD;;;AAGA,OAAM,SAAUC,oBAAoB,CAClCJ,cAA8B,EAC9BC,oBAA8CC,8CAAS;EAEvD,OAAO,IAAIJ,oBAAoB,CAACE,cAAc,EAAEC,iBAAiB,CAAC;AACpE","names":["FailureDetailsResult","constructor","failureDetails","genFailureDetails","tsplus_module_1","AssertionResult","failureDetailsResult"],"sourceRoot":"","sources":["../../_src/data/AssertionResult.ts"],"sourcesContent":[null]}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
var _a;
|
|
2
|
+
const fileName_1 = "(@fncts/test) src/data/AssertionValue/definition.ts";
|
|
2
3
|
import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
|
|
3
4
|
export const AssertionValueTypeId = /*#__PURE__*/Symbol.for("fncts.test.data.AssertionValue");
|
|
4
5
|
/**
|
|
@@ -6,7 +7,7 @@ export const AssertionValueTypeId = /*#__PURE__*/Symbol.for("fncts.test.data.Ass
|
|
|
6
7
|
* @tsplus companion fncts.test.data.AssertionValueOps
|
|
7
8
|
*/
|
|
8
9
|
export class AssertionValue {
|
|
9
|
-
constructor(assertion, value, result, expression = tsplus_module_1.nothing(), sourceLocation = tsplus_module_1.nothing()) {
|
|
10
|
+
constructor(assertion, value, result, expression = tsplus_module_1.nothing(fileName_1 + ":16:49"), sourceLocation = tsplus_module_1.nothing(fileName_1 + ":17:53")) {
|
|
10
11
|
this.assertion = assertion;
|
|
11
12
|
this.value = value;
|
|
12
13
|
this.result = result;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"definition.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"definition.mjs","mappings":";;;AAEA,OAAO,MAAMA,oBAAoB,gBAAGC,MAAM,CAACC,GAAG,CAAC,gCAAgC,CAAC;AAGhF;;;;AAIA,OAAM,MAAOC,cAAc;EAEzBC,YACWC,SAAoC,EACpCC,KAAQ,EACRC,MAAwD,EACxDC,aAA4BC,8CAAS,EACrCC,iBAAgCD,8CAAS;IAJzC,cAAS,GAATJ,SAAS;IACT,UAAK,GAALC,KAAK;IACL,WAAM,GAANC,MAAM;IACN,eAAU,GAAVC,UAAU;IACV,mBAAc,GAAdE,cAAc;IANhB,QAAsB,GAAyBV,oBAAoB;EAOzE;;KAPOA,oBAAoB","names":["AssertionValueTypeId","Symbol","for","AssertionValue","constructor","assertion","value","result","expression","tsplus_module_1","sourceLocation"],"sourceRoot":"","sources":["../../../_src/data/AssertionValue/definition.ts"],"sourcesContent":[null]}
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
const fileName_1 = "(@fncts/test) src/data/FreeBooleanAlgebra/api.ts";
|
|
1
2
|
import * as tsplus_module_1 from "@fncts/base/data/Maybe/constructors";
|
|
2
3
|
import * as tsplus_module_2 from "@fncts/base/data/Either/constructors";
|
|
3
4
|
import * as tsplus_module_3 from "@fncts/base/data/Either/api";
|
|
@@ -55,17 +56,17 @@ export function failure(a) {
|
|
|
55
56
|
* @tsplus getter fncts.test.FreeBooleanAlgebra failures
|
|
56
57
|
*/
|
|
57
58
|
export function failures(self) {
|
|
58
|
-
return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing())(fold_1({
|
|
59
|
-
Value: a => tsplus_module_2.right(success_1(a)),
|
|
59
|
+
return tsplus_module_4.match(tsplus_module_1.just, () => tsplus_module_1.nothing(fileName_1 + ":74:37"))(fold_1({
|
|
60
|
+
Value: a => tsplus_module_2.right(success_1(a), fileName_1 + ":49:33"),
|
|
60
61
|
And: (l, r) => {
|
|
61
62
|
void 0;
|
|
62
63
|
void 0;
|
|
63
|
-
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(r.right)(l.right)) : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(r.left)(l.left));
|
|
64
|
+
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(and_1(r.right)(l.right), fileName_1 + ":55:27") : r : tsplus_module_3.isRight(r) ? l : tsplus_module_2.left(and_1(r.left)(l.left), fileName_1 + ":59:24");
|
|
64
65
|
},
|
|
65
66
|
Or: (l, r) => {
|
|
66
67
|
void 0;
|
|
67
68
|
void 0;
|
|
68
|
-
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right)) : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left));
|
|
69
|
+
return tsplus_module_3.isRight(l) ? tsplus_module_3.isRight(r) ? tsplus_module_2.right(or_1(r.right)(l.right), fileName_1 + ":66:27") : l : tsplus_module_3.isRight(r) ? r : tsplus_module_2.left(or_1(r.left)(l.left), fileName_1 + ":70:24");
|
|
69
70
|
},
|
|
70
71
|
Not: v => tsplus_module_3.swap(v)
|
|
71
72
|
})(self));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"api.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"api.mjs","mappings":";;;;;;;;aAMgBA,GAAG;aASHC,OAAO;aAgEPC,QAAQ;aAyBRC,IAAI;aAuBJC,OAAO;aAgBPC,SAAS;aAYTC,GAAG;aAQHC,EAAE;aASFC,OAAO;AA5KvB,SAASC,GAAG,EAA6CC,GAAG,EAAEC,EAAE,EAAEC,KAAK,QAAQ,kBAAiB;AAEhG;;;;AAIA,eAAuBC,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIL,GAAG,CAACK,IAAI,EAAED,KAAK,CAAC;EAC7B,CAAC;AACH;AAEA;;;AAGA,mBAA8BE,CAAkC;EAC9D,OAAQC,IAA2B,IAA2B;IAC5D,OAAOC,OAAU;MACfL,KAAK,EAAEG,CAAC;MACRN,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAIC,MAAMD,CAAC,EAAND,CAAC,CAAK;MACrBP,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAIE,KAAMF,CAAC,EAAND,CAAC,CAAK;MACpBR,GAAG,EAAGY,CAAC,IAAIC,MAACD,CAAC;KACd,EALMN,IAAI,CAKT;EACJ,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUQ,GAAG,CAAOT,CAAc;EACtC,OAAQC,IAA2B,IAA2B;IAC5D,OAAOS,UAAcC,CAAC,IAAKC,UAA2BZ,CAAC,CAACW,CAAC,CAAC,CAAC,EAApDV,IAAI,CAAiD;EAC9D,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUY,OAAO,CAAIF,CAAI;EAC7B,aAAOC,UAA2BD,CAAC,CAAC;AACtC;AAEA;;;AAGA,OAAM,SAAUG,QAAQ,CAAIb,IAA2B;EACrD,OAAOc,4CA2Bc,MAAMC,8CAAS,EA3B7Bd,OAC0D;IAC7DL,KAAK,EAAGc,CAAC,IAAKM,sBAAaL,UAA2BD,CAAC,CAAC,wBAAC;IACzDjB,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAI;MACZ;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,4BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,yBAAY,GAChCM,CAAC,GACHc,yBAAC,CAAU,GACXf,CAAC,GACDc,2BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,yBAAW;IACnC,CAAC;IACDH,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAI;MACX;MACA;MACA,OAAOc,yBAAC,CAAU,GACdA,yBAAC,CAAU,GACTD,2BAAwBb,CAAC,CAACN,KAAK,EAAlBK,CAAC,CAACL,KAAK,yBAAY,GAChCK,CAAC,GACHe,yBAAC,CAAU,GACXd,CAAC,GACDa,0BAAsBb,CAAC,CAACL,IAAI,EAAhBI,CAAC,CAACJ,IAAI,yBAAW;IACnC,CAAC;IACDJ,GAAG,EAAGY,CAAC,IAAIW,qBAACX,CAAC;GACd,EA1BIN,IAAI,CA0BP,CACiC;AACvC;AAEA;;;AAGA,oBAA+BkB,KAK9B;EACC,OAAQlB,IAA2B,IAAa;IAC9C,OAAOmB,sBAAW,MAAK;MACrB,QAAQnB,IAAI,CAACoB,IAAI;QACf;UACE,OAAOD,oBAASD,KAAK,CAACtB,KAAK,CAACI,IAAI,CAACqB,KAAK,CAAC,CAAC;QAC1C;UACE,OAAOC,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACzB,GAAG,EAAvE8B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA+C;QACjF;UACE,OAAOwB,wBAAkCC,WAAoBL,KAAK,EAAzBlB,IAAI,CAACH,KAAK,CAAgB,EAAEqB,KAAK,CAACvB,EAAE,EAAtE4B,WAAmBL,KAAK,EAAxBlB,IAAI,CAACF,IAAI,CAAgB,CAA8C;QAChF;UACE,OAAOwB,oBAAgCJ,KAAK,CAACxB,GAAG,EAAzC6B,WAAqBL,KAAK,EAA1BlB,IAAI,CAACwB,MAAM,CAAgB,CAAe;MAAC;IAExD,CAAC,CAAC;EACJ,CAAC;AACH;AAEA;;;AAGA,gBAA2BN,KAK1B;EACC,OAAQlB,IAA2B,IAAO;IACxC,2BAAOuB,WAAcL,KAAK,EAAnBlB,IAAI,CAAgB;EAC7B,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAUyB,GAAG,CAAI5B,KAA4B;EACjD,OAAQC,IAA2B,IAA2B;IAC5D,aAA8B4B,UAAc5B,IAAI,EAAlBD,KAAK,CAAc,EAA1C6B,UAAa7B,KAAK,EAAlBC,IAAI,CAAe;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2BD,KAA4B;EACrD,OAAQC,IAA2B,IAA2B;IAC5D,YAAsBD,KAAK,QAApBC,IAAI;EACb,CAAC;AACH;AAEA;;;AAGA,OAAM,SAAU6B,SAAS,CAAI3B,IAA2B;EACtD,OAAO,aAACA,IAAI,CAAU;AACxB;AAEA;;;AAGA,qBAA6BA,IAA2B;EACtD,OAAOC,OAAU;IACfL,KAAK,EAAE,MAAe,IAAI;IAC1BH,GAAG,EAAE,CAACS,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACrBR,EAAE,EAAE,CAACO,CAAC,EAAEC,CAAC,KAAKD,CAAC,IAAIC,CAAC;IACpBT,GAAG,EAAGY,CAAC,IAAK,CAACA;GACd,EALMN,IAAI,CAKT;AACJ;AAEA;;;AAGA,eAAuBA,IAA2B;EAChD,OAAO,IAAIN,GAAG,CAACM,IAAI,CAAC;AACtB;AAEA;;;;AAIA,cAAsBH,KAA4B;EAChD,OAAQC,IAA2B,IAA2B;IAC5D,OAAO,IAAIH,EAAE,CAACG,IAAI,EAAED,KAAK,CAAC;EAC5B,CAAC;AACH;AAEA;;;AAGA,mBAA2Ba,CAAI;EAC7B,OAAO,IAAId,KAAK,CAACc,CAAC,CAAC;AACrB","names":["and","flatMap","foldEval","fold","implies","isSuccess","not","or","success","And","Not","Or","Value","right","left","f","self","fold_1","l","r","and_1","or_1","v","not_1","map","flatMap_1","a","success_1","failure","failures","tsplus_module_4","tsplus_module_1","tsplus_module_2","tsplus_module_3","cases","tsplus_module_5","_tag","value","tsplus_module_6","foldEval_1","result","iff","implies_1","isFailure"],"sourceRoot":"","sources":["../../../_src/data/FreeBooleanAlgebra/api.ts"],"sourcesContent":[null]}
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
const fileName_1 = "(@fncts/test) src/data/TestAnnotation/api.ts";
|
|
1
2
|
import * as tsplus_module_1 from "@fncts/base/data/Tag/constructors";
|
|
2
3
|
import * as tsplus_module_2 from "@fncts/base/collection/immutable/HashSet/api";
|
|
3
4
|
import * as tsplus_module_3 from "@fncts/base/data/Either/constructors";
|
|
@@ -33,8 +34,8 @@ export const FibersTag = /*#__PURE__*/tsplus_module_1.makeTag("fncts.test.TestAn
|
|
|
33
34
|
/**
|
|
34
35
|
* @tsplus static fncts.test.TestAnnotationOps Fibers
|
|
35
36
|
*/
|
|
36
|
-
export const Fibers = /*#__PURE__*/new TestAnnotation(FibersTag, "fibers", /*#__PURE__*/tsplus_module_3.left(0), (left, right) => {
|
|
37
|
-
return tsplus_module_4.isLeft(left) ? tsplus_module_4.isLeft(right) ? tsplus_module_3.left(left.left + right.left) : right : tsplus_module_4.isRight(left) ? tsplus_module_4.isRight(right) ? tsplus_module_3.right(tsplus_module_5.concat(right.right)(left.right)) : right : (() => {
|
|
37
|
+
export const Fibers = /*#__PURE__*/new TestAnnotation(FibersTag, "fibers", /*#__PURE__*/tsplus_module_3.left(0, fileName_1 + ":39:74"), (left, right) => {
|
|
38
|
+
return tsplus_module_4.isLeft(left) ? tsplus_module_4.isLeft(right) ? tsplus_module_3.left(left.left + right.left, fileName_1 + ":42:20") : right : tsplus_module_4.isRight(left) ? tsplus_module_4.isRight(right) ? tsplus_module_3.right(tsplus_module_5.concat(right.right)(left.right), fileName_1 + ":46:21") : right : (() => {
|
|
38
39
|
throw new Error("absurd");
|
|
39
40
|
})();
|
|
40
41
|
});
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"api.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"api.mjs","mappings":";;;;;;AAAA,SAASA,cAAc,QAAQ,kBAAiB;AAEhD,OAAO,MAAMC,UAAU,gBAAGC,wBAAY,mCAAmC,CAAC;AAC1E;;;AAGA,OAAO,MAAMC,OAAO,gBAAG,IAAIH,cAAc,CAACC,UAAU,EAAE,SAAS,EAAE,CAAC,EAAE,CAACG,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEpF,OAAO,MAAMC,WAAW,gBAAGJ,wBAAY,oCAAoC,CAAC;AAC5E;;;AAGA,OAAO,MAAMK,QAAQ,gBAAG,IAAIP,cAAc,CAACM,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,CAACF,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEvF,OAAO,MAAMG,UAAU,gBAAGN,wBAAY,mCAAmC,CAAC;AAC1E;;;AAGA,OAAO,MAAMO,OAAO,gBAAG,IAAIT,cAAc,CAACQ,UAAU,EAAE,SAAS,EAAE,CAAC,EAAE,CAACJ,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEpF,OAAO,MAAMK,SAAS,gBAAGR,wBAAqB,kCAAkC,CAAC;AACjF;;;AAGA,OAAO,MAAMS,MAAM,gBAAG,IAAIX,cAAc,CAACU,SAAS,EAAE,QAAQ,eAAEE,uBAAe,EAAE,CAACR,CAAC,EAAEC,CAAC,KAAKO,sBAAQP,CAAC,EAATD,CAAC,CAAS,CAAC;AAEpG,OAAO,MAAMS,SAAS,gBAAGX,wBAAY,kCAAkC,CAAC;AACxE;;;AAGA,OAAO,MAAMY,MAAM,gBAAG,IAAId,cAAc,CAACa,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,CAACT,CAAC,EAAEC,CAAC,KAAKD,CAAC,GAAGC,CAAC,CAAC;AAEjF,OAAO,MAAMU,SAAS,gBAAGb,wBACvB,kCAAkC,CACnC;AACD;;;AAGA,OAAO,MAAMc,MAAM,gBAAG,IAAIhB,cAAc,CAACe,SAAS,EAAE,QAAQ,eAAEE,qBAAY,CAAC,wBAAC,EAAE,CAACC,IAAI,EAAEC,KAAK,KAAI;EAC5F,OAAOC,2BAAI,CAAS,GAChBA,4BAAK,CAAS,GACZH,qBAAYC,IAAI,CAACA,IAAI,GAAGC,KAAK,CAACD,IAAI,wBAAC,GACnCC,KAAK,GACPC,4BAAI,CAAU,GACdA,6BAAK,CAAU,GACbH,sBAAaI,uBAAkBF,KAAK,CAACA,KAAK,EAA7BD,IAAI,CAACC,KAAK,CAAoB,wBAAC,GAC5CA,KAAK,GACP,CAAC,MAAK;IACJ,MAAM,IAAIG,KAAK,CAAC,QAAQ,CAAC;EAC3B,CAAC,GAAG;AACV,CAAC,CAAC","names":["TestAnnotation","IgnoredTag","tsplus_module_1","Ignored","x","y","RepeatedTag","Repeated","RetriedTag","Retried","TaggedTag","Tagged","tsplus_module_2","TimingTag","Timing","FibersTag","Fibers","tsplus_module_3","left","right","tsplus_module_4","tsplus_module_5","Error"],"sourceRoot":"","sources":["../../../_src/data/TestAnnotation/api.ts"],"sourcesContent":[null]}
|
|
@@ -3,7 +3,7 @@ import * as tsplus_module_2 from "@fncts/base/data/Maybe/destructors";
|
|
|
3
3
|
import * as tsplus_module_3 from "@fncts/base/collection/immutable/Conc/constructors";
|
|
4
4
|
import * as tsplus_module_4 from "@fncts/base/collection/immutable/Conc/api";
|
|
5
5
|
import { identity } from "@fncts/base/data/function";
|
|
6
|
-
|
|
6
|
+
class TestAnnotationMap {
|
|
7
7
|
constructor(map) {
|
|
8
8
|
this.map = map;
|
|
9
9
|
}
|
|
@@ -24,4 +24,5 @@ export class TestAnnotationMap {
|
|
|
24
24
|
}
|
|
25
25
|
}
|
|
26
26
|
TestAnnotationMap.empty = /*#__PURE__*/new TestAnnotationMap( /*#__PURE__*/tsplus_module_1.empty());
|
|
27
|
+
export { TestAnnotationMap };
|
|
27
28
|
//# sourceMappingURL=TestAnnotationMap.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"TestAnnotationMap.mjs","mappings":";;;;AAEA,SAASA,QAAQ,QAAQ,2BAA2B;AAEpD,
|
|
1
|
+
{"version":3,"file":"TestAnnotationMap.mjs","mappings":";;;;AAEA,SAASA,QAAQ,QAAQ,2BAA2B;AAEpD,MAAaC,iBAAiB;EAC5BC,YAA6BC,GAAsC;IAAtC,QAAG,GAAHA,GAAG;EAAsC;EACtEC,OAAO,CAACC,IAAuB;IAC7B,OAAO,IAAIJ,iBAAiB,CAC1BK,yBAEYC,uBAAe,EAAE,CAACC,GAAG,EAAE,CAACC,CAAC,EAAEC,CAAC,CAAC,KACrCH,oBACEE,CAAC,EACDE,sBACE,MAAMD,CAAC,EACNE,CAAC,IAAKH,CAAC,CAACL,OAAO,CAACQ,CAAC,EAAEF,CAAC,CAAC,EAFxBH,oBAAQE,CAAC,EAATD,GAAG,CAAO,CAGT,EALHA,GAAG,CAMF,EATLF,uBACUO,qBAAUR,IAAI,CAACF,GAAG,CAAC,EAD7BU,qBAAU,IAAI,CAACV,GAAG,CAAC,CACW,CAS3B,CACJ;EACH;EACAW,GAAG,CAAIC,GAAsB;IAC3B,OAAOJ,sBAAwB,MAAMI,GAAG,CAACC,OAAO,EAAEhB,QAAQ,EAAnDO,oBAAaQ,GAAG,EAAhB,IAAI,CAACZ,GAAG,CAAS,CAAmC;EAC7D;EACQc,SAAS,CAAIF,GAAsB,EAAEG,KAAQ;IACnD,OAAO,IAAIjB,iBAAiB,CAACM,oBAAaQ,GAAG,EAAEG,KAAK,EAAvB,IAAI,CAACf,GAAG,CAAgB,CAAC;EACxD;EACQgB,MAAM,CAAIJ,GAAsB,EAAEK,CAAc;IACtD,OAAO,IAAI,CAACH,SAAS,CAACF,GAAG,EAAEK,CAAC,CAAC,IAAI,CAACN,GAAG,CAACC,GAAG,CAAC,CAAC,CAAC;EAC9C;EACAM,QAAQ,CAAIN,GAAsB,EAAEG,KAAQ;IAC1C,OAAO,IAAI,CAACC,MAAM,CAACJ,GAAG,EAAGH,CAAC,IAAKG,GAAG,CAACX,OAAO,CAACQ,CAAC,EAAEM,KAAK,CAAC,CAAC;EACvD;;AACOjB,uBAAK,gBAAsB,IAAIA,iBAAiB,eAACM,uBAAe,CAAC;SA7B7DN,iBAAiB","names":["identity","TestAnnotationMap","constructor","map","combine","that","tsplus_module_4","tsplus_module_1","acc","k","v","tsplus_module_2","_","tsplus_module_3","get","key","initial","overwrite","value","update","f","annotate"],"sourceRoot":"","sources":["../../_src/data/TestAnnotationMap.ts"],"sourcesContent":[null]}
|
package/_mjs/demo.mjs
CHANGED
|
@@ -1,5 +1,7 @@
|
|
|
1
|
+
const fileName_1 = "(@fncts/test) src/demo.ts";
|
|
1
2
|
import * as tsplus_module_1 from "@fncts/base/data/Tag/constructors";
|
|
2
3
|
import * as tsplus_module_2 from "@fncts/test/api";
|
|
4
|
+
import * as tsplus_module_3 from "@fncts/io/IO/runtime";
|
|
3
5
|
import { DefaultRunnableSpec } from "@fncts/test/control/DefaultRunnableSpec";
|
|
4
6
|
import { suite, test } from "./api.mjs";
|
|
5
7
|
import { strictEqualTo } from "./control/Assertion.mjs";
|
|
@@ -26,5 +28,5 @@ class DemoSpec extends DefaultRunnableSpec {
|
|
|
26
28
|
})));
|
|
27
29
|
}
|
|
28
30
|
}
|
|
29
|
-
new DemoSpec().
|
|
31
|
+
tsplus_module_3.unsafeRunFiber(new DemoSpec().run(fileName_1 + ":17:19"), fileName_1 + ":17:36");
|
|
30
32
|
//# sourceMappingURL=demo.mjs.map
|
package/_mjs/demo.mjs.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"demo.mjs","mappings":"
|
|
1
|
+
{"version":3,"file":"demo.mjs","mappings":";;;;AAAA,SAASA,mBAAmB,QAAQ,yCAAyC;AAE7E,SAASC,KAAK,EAAEC,IAAI,QAAQ,WAAU;AACtC,SAASC,aAAa,QAAQ,yBAAwB;AAEtD,MAAMC,WAAW,gBAAGC,wBAEjB,0BAA0B,CAAC;AAE9B,MAAMC,QAAS,SAAQN,mBAAmB;EAA1CO;;IACE,SAAI,GAAGN,KAAK,CACV,WAAW,EACXC,IAAI,CAAC,cAAc,QAAEM,uBAAWL,aAAa,CAAC,CAAC,CAAC,EAA1B,CAAC,CAA0B,CAAC,EAClDD,IAAI,CAAC,cAAc,QAAEM,uBAAuCL,aAAa,CAAC;MAAEM,CAAC,EAAE;QAAEC,CAAC,EAAE;UAAEC,CAAC,EAAE;YAAEC,CAAC,EAAE;UAAC;QAAE;MAAE;IAAE,CAAE,CAAC,EAAnF;MAAEH,CAAC,EAAE;QAAEC,CAAC,EAAE;UAAEC,CAAC,EAAE;YAAEC,CAAC,EAAE;UAAG;QAAE;MAAE;IAAE,CAAE,CAAqD,CAAC,CAC3G;EACH;;AACAC,mCAAIP,QAAQ,EAAE,CAACQ,GAAG,uBAAE,wBAAiB","names":["DefaultRunnableSpec","suite","test","strictEqualTo","ServiceATag","tsplus_module_1","DemoSpec","constructor","tsplus_module_2","a","b","c","d","tsplus_module_3","run"],"sourceRoot":"","sources":["../_src/demo.ts"],"sourcesContent":[null]}
|
package/_src/api.ts
CHANGED
|
@@ -59,7 +59,7 @@ export function assert<A>(assertion: Assertion<A>) {
|
|
|
59
59
|
}
|
|
60
60
|
|
|
61
61
|
/**
|
|
62
|
-
* @tsplus pipeable
|
|
62
|
+
* @tsplus pipeable global assert
|
|
63
63
|
*/
|
|
64
64
|
export function assertIO<A>(assertion: AssertionIO<A>) {
|
|
65
65
|
return <R, E>(io: IO<R, E, A>): IO<R, E, TestResult> => {
|
|
@@ -132,7 +132,7 @@ function checkStreamC<R, E, A, R1>(
|
|
|
132
132
|
return TestConfig.shrinks.flatMap((shrinks) =>
|
|
133
133
|
shrinkStream(
|
|
134
134
|
stream.zipWithIndex
|
|
135
|
-
.
|
|
135
|
+
.mapIOConcurrently(concurrency, ([initial, index]) =>
|
|
136
136
|
initial
|
|
137
137
|
.foreach(
|
|
138
138
|
(input) =>
|
|
@@ -1,17 +1,99 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { Annotated } from "@fncts/test/control/Annotations";
|
|
2
|
+
import type { Spec, SpecCase } from "@fncts/test/control/Spec";
|
|
2
3
|
import type { TestAspect } from "@fncts/test/control/TestAspect";
|
|
3
|
-
import type {
|
|
4
|
-
import type {
|
|
5
|
-
import type { ExecutedSpec } from "@fncts/test/data/ExecutedSpec";
|
|
4
|
+
import type { TestFailure } from "@fncts/test/data/TestFailure";
|
|
5
|
+
import type { TestSuccess } from "@fncts/test/data/TestSuccess";
|
|
6
6
|
|
|
7
|
+
import { matchTag, matchTag_ } from "@fncts/base/util/pattern";
|
|
8
|
+
import { DefaultTestReporter } from "@fncts/test/control/DefaultTestReporter";
|
|
9
|
+
import { SummaryBuilder } from "@fncts/test/control/SummaryBuilder";
|
|
10
|
+
import { TestAnnotationRenderer } from "@fncts/test/control/TestAnnotationRenderer";
|
|
11
|
+
import { timeoutWarning } from "@fncts/test/control/TestAspect";
|
|
12
|
+
import { TestEnvironment } from "@fncts/test/control/TestEnvironment";
|
|
13
|
+
import { TestLogger } from "@fncts/test/control/TestLogger";
|
|
14
|
+
import { ConsoleRenderer } from "@fncts/test/control/TestRenderer/ConsoleRenderer";
|
|
15
|
+
import { ExecutedSpec } from "@fncts/test/data/ExecutedSpec";
|
|
16
|
+
import { TestAnnotationMap } from "@fncts/test/data/TestAnnotationMap";
|
|
17
|
+
import { RuntimeFailure } from "@fncts/test/data/TestFailure";
|
|
18
|
+
|
|
19
|
+
/**
|
|
20
|
+
* @tsplus type fncts.test.AbstractRunnableSpec
|
|
21
|
+
*/
|
|
7
22
|
export abstract class AbstractRunnableSpec<R, E> {
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
abstract spec: Spec<R, E>;
|
|
11
|
-
|
|
12
|
-
|
|
23
|
+
aspects: ReadonlyArray<TestAspect<R | TestEnvironment, any>> = [timeoutWarning((60).seconds)];
|
|
24
|
+
|
|
25
|
+
abstract spec: Spec<R | TestEnvironment | Scope, E>;
|
|
26
|
+
abstract bootstrap: Layer<never, never, R>;
|
|
27
|
+
|
|
28
|
+
runSpec(spec: Spec<R | TestEnvironment | Scope, E>, __tsplusTrace?: string): UIO<ExecutedSpec<E>> {
|
|
29
|
+
return spec.annotated
|
|
30
|
+
.provideLayer(this.bootstrap.and(TestEnvironment))
|
|
31
|
+
.foreachExec(
|
|
32
|
+
(cause): UIO<Annotated<Either<TestFailure<E>, TestSuccess>>> =>
|
|
33
|
+
cause.failureOrCause.match(
|
|
34
|
+
([failure, annotations]) => IO.succeedNow([Either.left(failure), annotations]),
|
|
35
|
+
(cause) => IO.succeedNow([Either.left(new RuntimeFailure(cause)), TestAnnotationMap.empty]),
|
|
36
|
+
),
|
|
37
|
+
([success, annotations]): UIO<Annotated<Either<TestFailure<E>, TestSuccess>>> =>
|
|
38
|
+
IO.succeedNow([Either.right(success), annotations]),
|
|
39
|
+
ExecutionStrategy.concurrentBounded(10),
|
|
40
|
+
)
|
|
41
|
+
.scoped.flatMap(
|
|
42
|
+
(s) =>
|
|
43
|
+
s.foldScoped(
|
|
44
|
+
(spec: SpecCase<never, never, Annotated<Either<TestFailure<E>, TestSuccess>>, ExecutedSpec<E>>) =>
|
|
45
|
+
matchTag_(spec, {
|
|
46
|
+
Exec: ({ spec }) => IO.succeedNow(spec),
|
|
47
|
+
Labeled: ({ label, spec }) => IO.succeedNow(ExecutedSpec.labeled(spec, label)),
|
|
48
|
+
Scoped: ({ scoped }) => scoped,
|
|
49
|
+
Multiple: ({ specs }) => IO.succeedNow(ExecutedSpec.multiple(specs)),
|
|
50
|
+
Test: ({ test, annotations }) =>
|
|
51
|
+
test.map(([result, dynamicAnnotations]) =>
|
|
52
|
+
ExecutedSpec.test(result, annotations.combine(dynamicAnnotations)),
|
|
53
|
+
),
|
|
54
|
+
}),
|
|
55
|
+
ExecutionStrategy.concurrentBounded(10),
|
|
56
|
+
).scoped,
|
|
57
|
+
)
|
|
58
|
+
.timedWith(Clock.currentTime)
|
|
59
|
+
.flatMap(([duration, results]) =>
|
|
60
|
+
DefaultTestReporter.report(ConsoleRenderer.render, TestAnnotationRenderer.Default)(duration, results).as(
|
|
61
|
+
results,
|
|
62
|
+
),
|
|
63
|
+
)
|
|
64
|
+
.provideLayer(TestLogger.fromConsole);
|
|
13
65
|
}
|
|
14
|
-
|
|
15
|
-
|
|
66
|
+
|
|
67
|
+
run(__tsplusTrace?: string): UIO<number> {
|
|
68
|
+
return Do((Δ) => {
|
|
69
|
+
const results = Δ(this.runSpec(this.spec));
|
|
70
|
+
const hasFailures = results.some(
|
|
71
|
+
matchTag(
|
|
72
|
+
{
|
|
73
|
+
Test: ({ test }) => test.isLeft(),
|
|
74
|
+
},
|
|
75
|
+
() => false,
|
|
76
|
+
),
|
|
77
|
+
);
|
|
78
|
+
const summary = SummaryBuilder.buildSummary(results);
|
|
79
|
+
Δ(TestLogger.logLine(summary.summary));
|
|
80
|
+
return hasFailures ? 1 : 0;
|
|
81
|
+
}).provideSomeLayer(TestLogger.fromConsole);
|
|
16
82
|
}
|
|
17
83
|
}
|
|
84
|
+
|
|
85
|
+
/**
|
|
86
|
+
* @tsplus pipeable fncts.test.AbstractRunnableSpec combine
|
|
87
|
+
* @tsplus pipeable-operator fncts.test.AbstractRunnableSpec +
|
|
88
|
+
*/
|
|
89
|
+
export function combine<R1, E1>(that: AbstractRunnableSpec<R1, E1>) {
|
|
90
|
+
return <R, E>(self: AbstractRunnableSpec<R, E>): AbstractRunnableSpec<R | R1, E | E1> => {
|
|
91
|
+
return new (class extends AbstractRunnableSpec<R | R1, E | E1> {
|
|
92
|
+
bootstrap: Layer<never, never, R1 | R> = self.bootstrap.and(that.bootstrap);
|
|
93
|
+
spec: Spec<Scope | R1 | R | TestEnvironment, E1 | E> = self.aspects
|
|
94
|
+
.foldLeft(self.spec, (b, a) => a(b))
|
|
95
|
+
.combine(that.aspects.foldLeft(that.spec, (b, a) => a(b)));
|
|
96
|
+
aspects: readonly TestAspect<R1 | R | TestEnvironment, any>[] = [];
|
|
97
|
+
})();
|
|
98
|
+
};
|
|
99
|
+
}
|
|
@@ -1,6 +1,9 @@
|
|
|
1
1
|
import type { TestAnnotation } from "../../data/TestAnnotation.js";
|
|
2
2
|
import type { TestAnnotationMap } from "../../data/TestAnnotationMap.js";
|
|
3
3
|
|
|
4
|
+
export const AnnotationsTypeId = Symbol.for("fncts.test.Annotations");
|
|
5
|
+
export type AnnotationsTypeId = typeof AnnotationsTypeId;
|
|
6
|
+
|
|
4
7
|
export type Annotated<A> = readonly [A, TestAnnotationMap];
|
|
5
8
|
|
|
6
9
|
/**
|
|
@@ -8,6 +11,7 @@ export type Annotated<A> = readonly [A, TestAnnotationMap];
|
|
|
8
11
|
* @tsplus companion fncts.test.AnnotationsOps
|
|
9
12
|
*/
|
|
10
13
|
export abstract class Annotations {
|
|
14
|
+
readonly [AnnotationsTypeId]: AnnotationsTypeId = AnnotationsTypeId;
|
|
11
15
|
abstract annotate<V>(key: TestAnnotation<V>, value: V): UIO<void>;
|
|
12
16
|
abstract get<V>(key: TestAnnotation<V>): UIO<V>;
|
|
13
17
|
abstract withAnnotation<R, E, A>(io: IO<R, E, A>): IO<R, Annotated<E>, Annotated<A>>;
|
|
@@ -1,12 +1,8 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { AbstractRunnableSpec } from "@fncts/test/control/AbstractRunnableSpec";
|
|
2
2
|
import { timeoutWarning } from "@fncts/test/control/TestAspect";
|
|
3
3
|
import { TestEnvironment } from "@fncts/test/control/TestEnvironment";
|
|
4
|
-
import { defaultTestExecutor } from "@fncts/test/control/TestExecutor";
|
|
5
|
-
import { TestRunner } from "@fncts/test/control/TestRunner";
|
|
6
4
|
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
export abstract class DefaultRunnableSpec extends RunnableSpec<TestEnvironment, any> {
|
|
5
|
+
export abstract class DefaultRunnableSpec extends AbstractRunnableSpec<TestEnvironment, any> {
|
|
10
6
|
aspects = [timeoutWarning((1).minutes)];
|
|
11
|
-
|
|
7
|
+
bootstrap: Layer<never, never, TestEnvironment> = TestEnvironment;
|
|
12
8
|
}
|