mdtablefix 0.6.1

`mdtablefix` unb0rks and reflows Markdown tables so that each column has a uniform width. When the `--wrap` option is used, it also wraps paragraphs and list items to 80 columns.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Property tests for shared text-processing helpers.

use mdtablefix::textproc::leading_indent;
use proptest::prelude::*;

proptest! {
    #[test]
    fn leading_indent_preserves_its_unicode_whitespace_contract(s: String) {
        let indent = leading_indent(&s);
        let remainder = &s[indent.len()..];

        prop_assert!(s.starts_with(indent));
        if let Some(character) = remainder.chars().next() {
            prop_assert!(!character.is_whitespace());
        }
        prop_assert_eq!(indent == s, s.chars().all(char::is_whitespace));
        prop_assert_eq!(leading_indent(indent), indent);
        prop_assert_eq!(leading_indent(remainder), "");
    }
}

// Bounded model checking is unsuitable here because this helper accepts
// unbounded UTF-8 strings; property testing exercises that input domain.