case classActionT[F[_], W, R, A](runT: (R) ⇒ StatusT[[a]WriterT[F, W, a], A]) extends Product with Serializable
A data type for holding computations that can fail with exceptions.
This is effectively a ReaderT > ErrorT > WriterT > F stack, with
a specialized error type. This particular specialization handles
string/exception based failures and should be used to wrap up unsafe
apis (i.e. java code).
This specialization exists for a number of reasons:
Basically because you can't use the stack directly via a type alias
without incurring the wrath of scalac and the inference warlords.
The formulation lets us plug in a few things together to handle
IO and other values of F, whilst keeping some level of sanity.
Credits to @markhibberd
Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
A data type for holding computations that can fail with exceptions. This is effectively a ReaderT > ErrorT > WriterT > F stack, with a specialized error type. This particular specialization handles string/exception based failures and should be used to wrap up unsafe apis (i.e. java code).
This specialization exists for a number of reasons:
Credits to @markhibberd