This is Déjà Fu

[Déjà Fu is] A martial art in which the user’s limbs move in time as well as space, […] It is best described as “the feeling that you have been kicked in the head this way before”

Terry Pratchett, Thief of Time

User Documentation

• Getting Started
  • Installation
  • Quick start guide
  • Why Déjà Fu?
  • Questions, feedback, discussion
  • Bibliography
• Typeclasses
  • Porting guide
  • What if I really need I/O?
  • Deriving your own instances
• Unit Testing
  • Actions
  • Conditions
  • Setup and Teardown
  • Predicates
  • Using HUnit and Tasty
• Refinement Testing
  • Signatures
  • Properties
  • Using HUnit and Tasty
• Advanced Usage
  • Execution settings
  • Performance tuning

Migration Guides

• 1.x to 2.x
  • The Program type
  • The Condition type
  • Deprecated functions
  • Need help?
• 0.x to 1.x
  • ST and IO functions
  • Function parameter order
  • Predicates
  • Need help?

Developer Documentation

• Contributing
  • Ways to contribute
  • Making the change
  • Coding style
  • Coverage
  • Performance
  • Heap profiling
• Supported GHC Versions
  • Adding new GHC releases
  • Dropping old GHC releases
• Release Process
  • Pro tips

Release Notes

• concurrency
  • 1.11.0.0 (2020-05-14)
  • 1.10.0.0 (2020-05-10)
  • 1.9.0.0 (2020-02-26)
  • 1.8.1.0 (2019-11-16)
  • 1.8.0.0 (2019-10-04)
  • 1.7.0.0 (2019-03-24)
  • 1.6.2.0 (2018-11-28)
  • 1.6.1.0 (2018-09-23)
  • 1.6.0.0 - IORefs (2018-07-01)
  • 1.5.0.0 - No More 7.10 (2018-03-28)
  • 1.4.0.2 (2018-03-11)
  • 1.4.0.1 (2018-02-26)
  • 1.4.0.0 (2018-01-19)
  • 1.3.0.0 - The Bound Thread Release (2017-12-23)
  • 1.2.3.0 (2017-11-30)
  • 1.2.2.0 (2017-11-05)
  • 1.2.1.2 (2017-10-14)
  • 1.2.1.1 (2017-10-11)
  • 1.2.1.0 (2017-10-02)
  • 1.2.0.0 (2017-09-16)
  • 1.1.2.1 (2017-06-07)
  • 1.1.2.0 (2017-04-05)
  • 1.1.1.0 - The Async Release (2017-03-04)
  • 1.1.0.0 (2017-02-21)
  • 1.0.0.0 - The Initial Release (2016-09-10)
• dejafu
  • 2.4.0.1 (2020-12-28)
  • 2.4.0.0 (2020-07-01)
  • 2.3.0.1 (2020-06-24)
  • 2.3.0.0 (2020-05-14)
  • 2.2.0.0 (2020-05-10)
  • 2.1.0.3 (2020-02-29)
  • 2.1.0.2 (2020-02-29)
  • 2.1.0.1 (2019-10-04)
  • 2.1.0.0 (2019-03-24)
  • 2.0.0.1 (2019-03-14)
  • 2.0.0.0 (2019-02-12)
  • 1.12.0.0 (2019-01-20)
  • 1.11.0.5 (2019-01-17)
  • 1.11.0.4 (2018-12-02)
  • 1.11.0.3 (2018-07-15)
  • 1.11.0.2 (2018-07-08)
  • 1.11.0.1 (2018-07-02)
  • 1.11.0.0 - IORefs (2018-07-01)
  • 1.10.1.0 (2018-06-17)
  • 1.10.0.0 (2018-06-17)
  • 1.9.1.0 (2018-06-10)
  • 1.9.0.0 (2018-06-10)
  • 1.8.0.0 (2018-06-03)
  • 1.7.0.0 (2018-06-03)
  • 1.6.0.0 (2018-05-11)
  • 1.5.1.0 (2018-03-29)
  • 1.5.0.0 - No More 7.10 (2018-03-28)
  • 1.4.0.0 (2018-03-17)
  • 1.3.2.0 (2018-03-12)
  • 1.3.1.0 (2018-03-11)
  • 1.3.0.3 (2018-03-11)
  • 1.3.0.2 (2018-03-11)
  • 1.3.0.1 (2018-03-08)
  • 1.3.0.0 (2018-03-06)
  • 1.2.0.0 - The Settings Release (2018-03-06)
  • 1.1.0.2 (2018-03-01)
  • 1.1.0.1 (2018-02-26)
  • 1.1.0.0 (2018-02-22)
  • 1.0.0.2 (2018-02-18)
  • 1.0.0.1 (2018-01-19)
  • 1.0.0.0 - The API Friendliness Release (2017-12-23)
  • 0.9.1.2 (2017-12-12)
  • 0.9.1.1 (2017-12-08)
  • 0.9.1.0 (2017-11-26)
  • 0.9.0.3 (2017-11-06)
  • 0.9.0.2 (2017-11-02)
  • 0.9.0.1 (2017-10-28)
  • 0.9.0.0 (2017-10-11)
  • 0.8.0.0 (2017-09-26)
  • 0.7.3.0 (2017-09-26)
  • 0.7.2.0 (2017-09-16)
  • 0.7.1.3 (2017-09-08)
  • 0.7.1.2 (2017-08-21)
  • 0.7.1.1 (2017-08-16)
  • 0.7.1.0 - The Discard Release (2017-08-10)
  • 0.7.0.2 (2017-06-12)
  • 0.7.0.1 (2017-06-09)
  • 0.7.0.0 - The Refinement Release (2017-06-07)
  • 0.6.0.0 (2017-04-08)
  • 0.5.1.3 (2017-04-05)
  • 0.5.1.2 (2017-03-04)
  • 0.5.1.1 (2017-02-25)
  • 0.5.1.0 (2017-02-25)
  • 0.5.0.2 (2017-02-22)
  • 0.5.0.1 (2017-02-21)
  • 0.5.0.0 - The Way Release (2017-02-21)
  • 0.4.0.0 - The Packaging Release (2016-09-10)
  • 0.3.2.1 (2016-07-21)
  • 0.3.2.0 (2016-06-06)
  • 0.3.1.1 (2016-05-26)
  • 0.3.1.0 (2016-05-02)
  • 0.3.0.0 (2016-04-03)
  • 0.2.0.0 (2015-12-01)
  • 0.1.0.0 - The Initial Release (2015-08-27)
• hunit-dejafu
  • 2.0.0.4 (2020-07-01)
  • 2.0.0.3 (2020-05-10)
  • 2.0.0.2 (2020-05-10)
  • 2.0.0.1 (2019-03-24)
  • 2.0.0.0 (2019-02-12)
  • 1.2.1.0 (2019-01-20)
  • 1.2.0.6 (2018-07-01)
  • 1.2.0.5 (2018-06-17)
  • 1.2.0.4 (2018-06-10)
  • 1.2.0.3 (2018-06-03)
  • 1.2.0.2 (2018-06-03)
  • 1.2.0.1 (2018-05-11)
  • 1.2.0.0 - No More 7.10 (2018-03-28)
  • 1.1.0.3 (2018-03-17)
  • 1.1.0.2 (2018-03-11)
  • 1.1.0.1 (2018-03-06)
  • 1.1.0.0 - The Settings Release (2018-03-06)
  • 1.0.1.2 (2018-02-26)
  • 1.0.1.1 (2018-02-22)
  • 1.0.1.0 (2018-02-13)
  • 1.0.0.0 - The API Friendliness Release (2017-12-23)
  • 0.7.1.1 (2017-11-30)
  • 0.7.1.0 (2017-11-30)
  • 0.7.0.2 (2017-10-11)
  • 0.7.0.1 (2017-09-26)
  • 0.7.0.0 - The Discard Release (2017-08-10)
  • 0.6.0.0 - The Refinement Release (2017-06-07)
  • 0.5.0.0 - The Way Release (2017-04-08)
  • 0.4.0.1 (2017-03-20)
  • 0.4.0.0 (2017-02-21)
  • 0.3.0.3 (2016-10-22)
  • 0.3.0.2 (2016-09-10)
  • 0.3.0.1 (2016-05-26)
  • 0.3.0.0 (2016-04-28)
  • 0.2.1.0 (2016-04-03)
  • 0.2.0.0 - The Initial Release (2015-12-01)
• tasty-dejafu
  • 2.0.0.7 (2020-12-27)
  • 2.0.0.6 (2020-07-01)
  • 2.0.0.5 (2020-06-24)
  • 2.0.0.4 (2020-05-14)
  • 2.0.0.3 (2020-05-10)
  • 2.0.0.2 (2020-05-10)
  • 2.0.0.1 (2019-03-24)
  • 2.0.0.0 (2019-02-12)
  • 1.2.1.0 (2019-01-20)
  • 1.2.0.8 (2018-12-02)
  • 1.2.0.7 (2018-07-01)
  • 1.2.0.6 (2018-06-17)
  • 1.2.0.5 (2018-06-10)
  • 1.2.0.4 (2018-06-03)
  • 1.2.0.3 (2018-06-03)
  • 1.2.0.2 (2018-05-12)
  • 1.2.0.1 (2018-05-11)
  • 1.2.0.0 - No More 7.10 (2018-03-28)
  • 1.1.0.2 (2018-03-17)
  • 1.1.0.1 (2018-03-06)
  • 1.1.0.0 - The Settings Release (2018-03-06)
  • 1.0.1.1 (2018-02-22)
  • 1.0.1.0 (2018-02-13)
  • 1.0.0.1 (2018-01-09)
  • 1.0.0.0 - The API Friendliness Release (2017-12-23)
  • 0.7.1.1 (2017-11-30)
  • 0.7.1.0 (2017-11-30)
  • 0.7.0.3 (2017-11-02)
  • 0.7.0.2 (2017-10-11)
  • 0.7.0.1 (2017-09-26)
  • 0.7.0.0 - The Discard Release (2017-08-10)
  • 0.6.0.0 - The Refinement Release (2017-04-08)
  • 0.5.0.0 - The Way Release (2017-04-08)
  • 0.4.0.0 (2017-02-21)
  • 0.3.0.2 (2016-09-10)
  • 0.3.0.1 (2016-05-26)
  • 0.3.0.0 (2016-04-28)
  • 0.1.1.0 (2016-04-03)
  • 0.2.0.0 - The Initial Release (2015-12-01)