如何在Haskell Haddock文档中创建多行属性？

要在Haddock文档里实现跨多行的属性，直接在属性的每一行前重复使用-- prop>标记即可，Haddock会将这些连续的标记行解析为同一个完整的属性。

示例代码如下：

-- prop> a <= b &&
-- prop> b <= c ==>
-- prop> a <= c

需要注意的是，要保证各行的表达式语法衔接正确（比如示例中第一行末尾的&&明确表示表达式未结束），这样Haddock才能正确识别并合并为一个逻辑完整的属性断言，用于文档展示或自动测试。

内容的提问来源于stack exchange，提问作者hobbitProg