diff options
Diffstat (limited to 'pbt/ts/src/bank.ts')
| -rw-r--r-- | pbt/ts/src/bank.ts | 31 |
1 files changed, 31 insertions, 0 deletions
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<Account, number>; |