Add State.pure

[ceedubs]

No description provided.

[codecov-io]

Current coverage is 60.06%

Merging #352 into master will change coverage by +0.02% by d4c90d0

Coverage Diff

@@            master    #352   diff @@
======================================
  Files          132     132       
  Stmts         1599    1600     +1
  Branches        25      25       
  Methods          0       0       
======================================
+ Hit            960     961     +1
  Partial          0       0       
  Missed         639     639       

Powered by Codecov

[ceedubs]

Oops. I suppose I shouldn't decrease code coverage. Is there a meaningful test for this that isn't just a duplication of the implementation or an existing monad law?

[non]

I'm not sure. I guess my feeling is that you should just arrange to have it called somehow. Even just confirming that State.pure[S, A](...) and StateT.pure[Trampoline, S, A](...) are equivalent would be enough.

[ceedubs]

@non good idea. I added a test that State.pure and StateT.pure are consistent.

[ceedubs]

This is ready for review.

[non]

👍

[julien-truffaut]

👍