From c608d95a2451d110d3a90d6a3c3a6aa7fb293295 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Thu, 18 Dec 2025 14:33:48 +0100 Subject: Add some details to presenation --- pbt/ts/src/bank.ts | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) (limited to 'pbt/ts/src/bank.ts') diff --git a/pbt/ts/src/bank.ts b/pbt/ts/src/bank.ts index bf14e43..6a220dc 100644 --- a/pbt/ts/src/bank.ts +++ b/pbt/ts/src/bank.ts @@ -1,3 +1,24 @@ +/// Demystify Property-Based Testing +/// +/// Arnaud Bailly +/// +/// @abailly.bsky.social - @abailly@piaille.fr - @dr_c0d3 (X) +/// +/// https://www.linkedin.com/in/arnaudbailly/ +/// +/// https://abailly.github.io +/// +/// An experiment and an experience +/// +/// https://app.radicle.xyz/nodes/seed.hydra.bzh/rad:z28SSH7hyCTu387guFhtPXYxcwtUs/tree/pbt/README.md +/// +/// 1. Introduction +/// +/// 2. Real world use cases +/// +/// 3. Developing a mini-quickcheck from a "concrete" use case +/// + import {Option, fromNullable, matchW, toNullable} from 'fp-ts/lib/Option'; // keep it simple @@ -143,6 +164,16 @@ export const bankImplementationMatchesModel = return true; }; +// +// +// +// +// +// +// + +/// A "simulation" of Bank interface for integration testing purpose. +/// This export class SimpleBank implements Bank { private accounts: Map; -- cgit v1.3.1