typelevel/cats-mtl

Currently not-covered code

edmundnoble opened this issue · 0 comments

edmundnoble commented

There is some code which I am aware has no tests, most of which I'm not sure yet how to deal with.
As of July 26 2017, these account for every single coverage miss.

  • Default operations of FunctorRaise
  • Instances of FunctorRaise

I'm not sure if FunctorRaise is necessary.

  • zero from MonadLayerControl

Not sure if necessary, if it is it'll be for some kind of bracketing.

  • Some Laws and Tests smart constructors which are not called because the calling code is always overriden

Really not sure what to do about this one. I could use early initialisers but that's voodoo.

  • The backwards part of the local and scope isomorphisms

There are no MonadLayers that are not MonadLayerFunctors at the moment. Thus this generality is not currently used; ContT would change this.

  • Lifting ApplicativeAsk and FunctorTell through layers

Could be implemented with local implicit scoping.