Move tests

[kl0tl]

Otherwise they add an unwanted dependency on quickcheck and quickcheck-laws to dependents, see the build failure of purescript-contrib/purescript-css#125.

[kritzcreek]

I don't think this is correct. These modules are supposed to let you check that your own Align instances are law abiding, but that means you need to be able to import them. By moving them into the test directory the spago globs will no longer include them.

Maybe the solution is to move them into a these-laws? What's so bad about incurring a quickcheck dependency?

[thomashoneyman]

Mm. I misinterpreted these, in that case (sorry @Vladciobanu!). We can instead put them back in the prior location and add the quickcheck dependency to the main set of dependencies, that's fine with me. (We'll have to update the package set once again, unfortunately @kl0tl).

[kl0tl]

Oh crap, I completely missed the point of these modules 🤦 It seems that they’re usually defined in quickcheck-laws instead though, is there a reason for not following the precedent here?

[thomashoneyman]

Maybe we could check in with @Vladciobanu quickly and see what he thinks. I don’t have a firm opinion on this.

[eviefp]

Well, I didn't think quickcheck-laws would want to depend on this, which is why I added them here. It would also make sense for people to just depend on this, since they have to import it in order to define the instance in the first place.

[kl0tl]

I opened #33 and purescript/package-sets#762.