just-fp-core
just-fp-core
just.fp
Applicative
ApplicativeLaw
Applicative
EitherEqualInstance
EitherT
EitherT
EitherTApplicativeInstance
EitherTFunctorInstance
EitherTMonadInstance
Equal
EqualLaw
Equal
Functor
FunctorLaw
Functor
ListEqualInstance
Monad
MonadLaw
Monad
Monoid
MonoidLaw
Monoid
NatualEqual
NatualEqual
OptionEqualInstance
OptionT
OptionT
OptionTApplicativeInstance
OptionTFunctorInstance
OptionTMonadInstance
SemiGroup
SemiGroup
ListSemiGroup
VectorSemiGroup
StringSemiGroup
ByteSemiGroup
ShortSemiGroup
CharSemiGroup
IntSemiGroup
LongSemiGroup
BigIntSemiGroup
BigDecimalSemiGroup
VectorEqualInstance
Writer
WriterMonadInstance
WriterT
WriterT
WriterTApplicativeInstance
WriterTFunctorInstance
WriterTMonadInstance
WriterTMonadInstances
just.fp.compat
EitherCompat
just.fp.instances
BigDecimalEqualInstance
BigIntEqualInstance
BooleanEqualInstance
ByteEqualInstance
CharEqualInstance
DoubleEqualInstance
FloatEqualInstance
IntEqualInstance
LongEqualInstance
ShortEqualInstance
StringEqualInstance
just.fp.syntax
EitherFunctions
EitherOps
ToEither
LeftOps
RightOps
RightBiasedEither
EitherSyntax
EqualSyntax
EqualOps
EqualSyntax
OptionOps
ToSome
ToEither
OptionSyntax
SemiGroupSyntax
SemiGroupOps
SemiGroupSyntax
WriterOps
ToWriter
WriterSyntax
just-fp-core
/
just.fp
/
WriterTMonadInstance
WriterTMonadInstance
sealed abstract
class
WriterTMonadInstance
extends
WriterTApplicativeInstance
Graph
Supertypes
Known subtypes
class
WriterTApplicativeInstance
class
WriterTFunctorInstance
class
Object
trait
Matchable
class
Any
class
WriterMonadInstance
trait
WriterTMonadInstances
object
WriterT
Implicits
Implicits
Implicits
implicit
def
writerTEqual
[F[_], W, A](EQ:
Equal
[F[(W, A)]]):
Equal
[
WriterT
[F, W, A]]
implicit
def
writerTMonad
[F[_], W](F0:
Monad
[F], S0:
Monoid
[W]):
Monad
[[_] =>>
WriterT
[F, W, _$16]]
Inherited implicits
implicit
def
writerTApplicative
[F[_], W](F0:
Applicative
[F], S0:
Monoid
[W]):
Applicative
[[_] =>>
WriterT
[F, W, _$14]]
Inherited from
WriterTApplicativeInstance
implicit
def
writerTFunctor
[F[_], W](F0:
Functor
[F]):
Functor
[[_] =>>
WriterT
[F, W, _$12]]
Inherited from
WriterTFunctorInstance