Brandon Lucas b02807ebf4 feat: add property-based testing framework ...

Implements property-based testing infrastructure:

stdlib/testing.lux:
- Generators: genInt, genIntList, genString, genBool, etc.
- Shrinking helpers: shrinkInt, shrinkList, shrinkString
- Property helpers: isSorted, sameElements

examples/property_testing.lux:
- 10 property tests demonstrating the framework
- Tests for: involution, commutativity, associativity, identity
- 100 iterations per property with random inputs

docs/guide/14-property-testing.md:
- Complete guide to property-based testing
- Generator patterns and common properties
- Best practices and examples

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

2026-02-16 04:39:50 -05:00

..

modules

feat: add module import examples and standard library

2026-02-13 17:28:23 -05:00

showcase

feat: add comprehensive example programs

2026-02-13 17:25:04 -05:00

standard

feat: improve error messages with context lines

2026-02-13 18:13:57 -05:00

web

feat: add stdlib and browser examples

2026-02-15 03:54:17 -05:00

behavioral_types.lux

fix: fix examples to use working patterns

2026-02-13 23:31:21 -05:00

behavioral.lux

fix: fix examples to use working patterns

2026-02-13 23:31:21 -05:00

builtin_effects.lux

feat: implement built-in State, Reader, and Fail effects

2026-02-13 09:46:13 -05:00

counter.lux

feat: add stdlib and browser examples

2026-02-15 03:54:17 -05:00

datatypes.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

effects.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

factorial.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

file_io.lux

feat: add File and Process effects for real I/O

2026-02-13 16:09:20 -05:00

functional.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

generics.lux

feat: implement generic type parameters

2026-02-13 09:20:36 -05:00

handlers.lux

feat: implement resumable effect handlers

2026-02-13 09:54:51 -05:00

hello.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

http_api.lux

feat: add HTTP framework with routing and JSON helpers

2026-02-16 04:21:57 -05:00

http_router.lux

feat: add HTTP framework with routing and JSON helpers

2026-02-16 04:21:57 -05:00

http_server.lux

fix: fix REST API and HTTP server examples

2026-02-13 23:11:51 -05:00

http.lux

feat: add HTTP client support

2026-02-13 16:30:48 -05:00

interpolation.lux

feat: implement string interpolation

2026-02-13 09:30:37 -05:00

jit_test.lux

fix: fix examples to use working patterns

2026-02-13 23:31:21 -05:00

json.lux

feat: add JSON parsing and manipulation support

2026-02-13 16:22:35 -05:00

pipelines.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

postgres_demo.lux

feat: add PostgreSQL driver with Postgres effect

2026-02-16 04:30:44 -05:00

property_testing.lux

feat: add property-based testing framework

2026-02-16 04:39:50 -05:00

random.lux

feat: implement Random and Time built-in effects

2026-02-13 09:49:09 -05:00

schema_evolution.lux

chore: fix flake.nix rebuild detection

2026-02-15 03:54:36 -05:00

shell.lux

feat: add File and Process effects for real I/O

2026-02-13 16:09:20 -05:00

statemachine.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

stress_rc.lux

test: add RC stress tests with large lists

2026-02-14 14:46:21 -05:00

stress_shared_rc.lux

test: add RC stress tests with large lists

2026-02-14 14:46:21 -05:00

tailcall.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

test_fbip_allocs.lux

test: add FBIP and RC verification test cases

2026-02-14 14:44:53 -05:00

test_fbip_clean.lux

test: add FBIP and RC verification test cases

2026-02-14 14:44:53 -05:00

test_lists.lux

feat: add Test effect and native testing framework

2026-02-14 01:20:30 -05:00

test_math.lux

feat: add Test effect and native testing framework

2026-02-14 01:20:30 -05:00

test_ownership_transfer.lux

feat: add FBIP debug counters to prove optimization effectiveness

2026-02-14 14:52:35 -05:00

test_rc_comparison.lux

test: add FBIP and RC verification test cases

2026-02-14 14:44:53 -05:00

traits.lux

fix: make all example programs work correctly

2026-02-13 09:05:06 -05:00

versioning.lux

feat: implement Schema module for versioned types

2026-02-13 09:59:52 -05:00