- Quick Start
- Arrow Fx
- API Docs
- Patterns
- Data Types
-
Type Classes
- Intro
- Show
- Eq
- EqK
- Hash
- Order
- Semigroup
- Semigroupal
- Monoidal
- Monoid
- Semiring
- Foldable
- Bifoldable
- Bitraverse
- Traverse
- Reducible
- TraverseFilter
- Functor
- FunctorFilter
- Applicative
- ApplicativeError
- Selective
- Monad
- MonadError
- Bracket
- MonadFilter
- MonadReader
- MonadWriter
- MonadState
- MonadCombine
- Comonad
- Bimonad
- Bifunctor
- Profunctor
- SemigroupK
- MonoidK
- Inject
- Alternative
- Divide
- Divisible
- Decidable
- Semialign
- Align
- Unalign
- Effects
- Optics
- Λrrow Query Language
- Generic
- Integrations
- Free
- Recursion Schemes
- Legal
arrow-mtl / arrow.mtl.extensions / WriterTSemigroupK
WriterTSemigroupK
@extension interface WriterTSemigroupK<F, W> : SemigroupK<WriterTPartialOf<F, W>>
Functions
| combineK | open fun <A> Kind<WriterTPartialOf<F, W>, A>.combineK(y: Kind<WriterTPartialOf<F, W>, A>): WriterT<F, W, A> |
| SS | abstract fun SS(): SemigroupK<F> |
Inheritors
| WriterTMonoidK | interface WriterTMonoidK<F, W> : MonoidK<WriterTPartialOf<F, W>>, WriterTSemigroupK<F, W> |