Documentation

CustomPrelude.Linter.Text.BlockLayout

linter.fugue.blockLayout #

A tactic-grouping block — ( … ) or { … } — that spans lines keeps its opening bracket on the line that opens it, puts the first tactic on the next line, and closes with the bracket alone on the last line, dedented back to the opening line's indentation. One-liners stay one-liners.