[x] Integration of @rudymatela’s LeanCheck with hspec.
[x] Listable instances over Freer/Cofreer & various other types.
Pretty-printing via wl-pprint-extras & a custom Pretty typeclass for printing syntax. I 🔥’d this in abf5d8c33ed23159d58859a37ea7498832617685. It’s a little problematic and a lot of work for not a lot of good.
[x] Alignment primitive.
[x] Tests of left alignment.
[x] Tests of right alignment.
[x] Tests of centre alignment.
Vertical alignment? Punting.
Adjacency primitive. Punting.
Alternative instance as a constructor for adjacency. Punting.
Tests of adjacent left-/right-aligned terms. Punting.
Towards alignment in
LayoutF. Also:Freer/Cofreerequalities.hspec.Listableinstances overFreer/Cofreer& various other types.Pretty-printing viaI 🔥’d this in abf5d8c33ed23159d58859a37ea7498832617685. It’s a little problematic and a lot of work for not a lot of good.wl-pprint-extras& a customPrettytypeclass for printing syntax.Vertical alignment?Punting.Adjacency primitive.Punting.Alternativeinstance as a constructor for adjacency.Tests of adjacent left-/right-aligned terms.Punting.