Table of Contents - proof-0.0.6 Documentation
Classes and Modules
- Proof
- Proof::CoreExt
- Proof::CoreExt::Object
- Proof::CoreExt::Object::Methods
- Proof::Description
- Proof::Error
- Proof::Error::Backtrace
- Proof::Execution
- Proof::Extend
- Proof::Namespace
- Proof::Output
- Proof::Result
- Proof::Suite
- Proof::Summary
Methods
- ::default_device — Proof::Suite
- ::default_output — Proof::Suite
- ::flatten — Proof::Suite
- ::glob — Proof::Suite
- ::into — Proof::Extend
- ::new — Proof::Suite
- ::output — Proof::Error
- ::output — Proof::Summary
- ::run — Proof::Execution
- ::run — Proof::Suite
- ::start — Proof
- ::stop — Proof
- #any_failures? — Proof::Summary
- #any_successes? — Proof::Summary
- #backtrace — Proof::Error
- #block — Proof
- #comment — Proof
- #define_prove — Proof::CoreExt::Object::Methods
- #defined — Proof::Extend
- #desc — Proof
- #device — Proof::Suite
- #error_message — Proof::Error
- #errors — Proof::Summary
- #extend_obj — Proof::Extend
- #extension — Proof::Extend
- #extension_name — Proof::Extend
- #fails — Proof::Summary
- #first_frame — Proof::Error::Backtrace
- #heading — Proof
- #lines — Proof::Output
- #mod — Proof::Extend
- #namespace — Proof::Namespace
- #new_line — Proof::Output
- #no_results? — Proof::Summary
- #output — Proof::Error
- #output — Proof::Suite
- #output — Proof::Summary
- #output_method — Proof::Result
- #passes — Proof::Summary
- #prefix — Proof::Output
- #proof — Proof
- #prove — Proof::CoreExt::Object::Methods
- #remove_proof_framework_frames! — Proof::Error::Backtrace
- #root_namespace — Proof::Namespace
- #run — Proof::Execution
- #run — Proof::Suite
- #section — Proof
- #status — Proof::Summary
- #summary — Proof::Summary
- #title — Proof
- #undefine_prove — Proof::CoreExt::Object::Methods
- #write — Proof::Result