fix BlockInvariants docstrings #647

Annotations

31 warnings

Pattern match(es) are non-exhaustive

• No explicit implementation for

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of type constructor or class ‘Doc’

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

The import of ‘+, <=’

• No explicit implementation for

Unhandled instruction definitions for ISA: 18

The qualified import of ‘Data.ByteString.Lazy’ is redundant

The import of ‘Data.Monoid’ is redundant

The import of ‘Data.Parameterized.List’ is redundant

The qualified import of ‘Data.Word.Indexed’ is redundant

The qualified import of ‘Text.PrettyPrint.HughesPJClass’ is redundant

Pattern match is redundant