- Intro
- Show
- Eq
- EqK
- EqK2
- Hash
- Order
- Semigroup
- Semigroupal
- Monoidal
- Monoid
- Semiring
- Foldable
- Bifoldable
- Bitraverse
- Traverse
- Reducible
- TraverseFilter
- Functor
- FunctorFilter
- Applicative
- ApplicativeError
- Selective
- Monad
- MonadError
- MonadFilter
- MonadCombine
- Comonad
- Bimonad
- Bifunctor
- Profunctor
- SemigroupK
- MonoidK
- Inject
- Alternative
- Divide
- Divisible
- Decidable
- Const
- Semialign
- Align
- Unalign
- Zip
- Repeat
- Crosswalk
- Bicrosswalk
arrow-core-data / arrow.typeclasses / Inject
Inject
interface Inject<F, G>
Inject type class as described in “Data types a la carte” (Swierstra 2008).
Functions
| inj | abstract fun inj(): FunctionK<F, G> |
| inject | open fun <A> Kind<F, A>.inject(): Kind<G, A> |