All Types

arrow.typeclasses.Align

The Align type class extends the Semialign type class with a value empty(), which acts as a unit in regards to align.

arrow.typeclasses.Alternative
arrow.core.AndThen

AndThen wraps a function of shape (A) -> B and can be used to do function composition. It’s similar to arrow.core.andThen and arrow.core.compose and can be used to build stack safe data structures that make use of lambdas. Usage is typically used for signature such as A -> Kind<F, A> where F has a arrow.typeclasses.Monad instance i.e. StateT.flatMap.

(extensions in package arrow.core)
kotlin.Any
arrow.typeclasses.Applicative
arrow.typeclasses.ApplicativeError
arrow.typeclasses.Apply
(extensions in package arrow.core)
kotlin.Array
arrow.typeclasses.Bicrosswalk
arrow.typeclasses.Bifoldable
arrow.typeclasses.Bifunctor
arrow.typeclasses.Bimonad
arrow.typeclasses.BiMonadFx
arrow.typeclasses.suspended.BindSyntax

All possible approaches to running Kind in the context of Fx

arrow.typeclasses.Bitraverse
(extensions in package arrow.core)
kotlin.Boolean
arrow.typeclasses.Category
arrow.typeclasses.CocomposedFunctor
arrow.typeclasses.Comonad
arrow.typeclasses.ComonadContinuation
arrow.typeclasses.ComonadFx
arrow.typeclasses.ComonadSyntax
arrow.typeclasses.Conested

A type to represent λ[α => KindF,α,C]

arrow.typeclasses.ConestedType
arrow.core.Const
(extensions in package arrow.typeclasses)
kotlin.coroutines.Continuation
arrow.typeclasses.Continuation
arrow.typeclasses.Contravariant
arrow.typeclasses.CounnestedType
arrow.typeclasses.Crosswalk
arrow.typeclasses.Decidable

Decidable is a typeclass modeling contravariant decision. Decidable is the contravariant version of Alternative.

arrow.typeclasses.Divide

Divide is a typeclass that models the divide part of divide and conquer.

arrow.typeclasses.Divisible

Divisible extends Divide by providing an empty value

arrow.core.Either
arrow.core.Endo

The monoid of endomorphisms under composition.

(extensions in package arrow.core)
kotlin.collections.Map.Entry
arrow.typeclasses.Eq
arrow.typeclasses.EqK

The EqK typeclass abstracts the ability to lift the Eq class to unary type constructors.

arrow.typeclasses.EqK2

The EqK2 typeclass abstracts the ability to lift the Eq class to binary type constructors.

arrow.core.Eval

Eval is a monad which controls evaluation of a value or a computation that produces a value.

arrow.core.Failure
arrow.typeclasses.Foldable
arrow.typeclasses.ForMonoid
(extensions in package arrow.core)
kotlin.Function0
arrow.core.Function0
(extensions in package arrow.core)
kotlin.Function1
arrow.core.Function1
(extensions in package arrow.core)
kotlin.Function2
arrow.core.FunctionK
arrow.typeclasses.Functor
arrow.typeclasses.FunctorFilter
arrow.typeclasses.Hash

A type class used to represent hashing for objects of type F

arrow.core.Id

The identity monad can be seen as the ambient monad that encodes the effect of having no effect. It is ambient in the sense that plain pure values are values of Id.

arrow.typeclasses.Inject

Inject type class as described in “Data types a la carte” (Swierstra 2008).

arrow.core.Invalid
arrow.typeclasses.Invariant
arrow.core.Ior

Port of https://github.com/typelevel/cats/blob/v0.9.0/core/src/main/scala/cats/data/Ior.scala

arrow.core.IorNel
(extensions in package arrow.core)
kotlin.collections.Iterable
(extensions in package arrow.core)
kotlin.collections.Iterator
(extensions in package arrow.core)
kotlin.collections.List
(extensions in package arrow.typeclasses)
kotlin.collections.List
arrow.core.ListExtensions
arrow.core.ListK
(extensions in package arrow.core)
kotlin.collections.Map
arrow.core.MapInstances
arrow.core.MapK
arrow.typeclasses.Monad
arrow.typeclasses.MonadCombine
arrow.typeclasses.MonadContinuation
arrow.typeclasses.MonadError
arrow.typeclasses.MonadFilter
arrow.typeclasses.MonadFilterContinuation
arrow.typeclasses.MonadFilterFx
arrow.typeclasses.MonadFilterSyntax
arrow.typeclasses.MonadFx
arrow.typeclasses.MonadLogic

MonadLogic is a typeclass that extends a MonadPlus. It provides functions to control when computations should be performed.

arrow.typeclasses.MonadPlus

MonadPlus is a typeclass that extends a Monad by supporting choice and failure. It is equal to Alternative in its api, but provides additional laws for how flatMap and empty interact.

arrow.typeclasses.MonadSyntax
arrow.typeclasses.MonadThrow
arrow.typeclasses.MonadThrowContinuation
arrow.typeclasses.MonadThrowFx
arrow.typeclasses.MonadThrowSyntax
arrow.typeclasses.Monoid
arrow.typeclasses.Monoidal
arrow.typeclasses.MonoidK
arrow.typeclasses.MonoidOf
arrow.core.Nel
arrow.core.None
arrow.core.NonEmptyList
arrow.typeclasses.NonEmptyReducible
arrow.core.Option
arrow.typeclasses.Order
(extensions in package arrow.core)
kotlin.Pair
arrow.core.Predicate
arrow.typeclasses.Profunctor
arrow.typeclasses.Reducible
arrow.typeclasses.Repeat

Repeat extends Zip by providing a repeat structure.

arrow.typeclasses.Selective
arrow.typeclasses.Semialign

A type class used for aligning of functors with non-uniform shapes.

arrow.typeclasses.Semigroup
arrow.typeclasses.Semigroupal
arrow.typeclasses.SemigroupK
arrow.typeclasses.Semiring
(extensions in package arrow.core)
kotlin.sequences.Sequence
arrow.core.SequenceK
(extensions in package arrow.core)
kotlin.collections.Set
arrow.core.SetExtensions
arrow.core.SetK
arrow.typeclasses.Show
arrow.core.Some
(extensions in package arrow.core)
java.util.SortedMap
arrow.core.SortedMap
arrow.core.SortedMapInstances
arrow.core.SortedMapK
arrow.core.SortedSetInstances
arrow.core.Success
(extensions in package arrow.core)
kotlin.Throwable
arrow.typeclasses.Traverse
arrow.typeclasses.TraverseFilter
(extensions in package arrow.core)
kotlin.Triple
arrow.core.Try
arrow.core.TryException
arrow.core.Tuple10
arrow.core.Tuple11
arrow.core.Tuple12
arrow.core.Tuple13
arrow.core.Tuple14
arrow.core.Tuple15
arrow.core.Tuple16
arrow.core.Tuple17
arrow.core.Tuple18
arrow.core.Tuple19
arrow.core.Tuple2
arrow.core.Tuple20
arrow.core.Tuple21
arrow.core.Tuple22
arrow.core.Tuple3
arrow.core.Tuple4
arrow.core.Tuple5
arrow.core.Tuple6
arrow.core.Tuple7
arrow.core.Tuple8
arrow.core.Tuple9
arrow.typeclasses.Unalign

Unalign extends Semialign thereby supporting an inverse function to align: It splits a union shape into a tuple representing the component parts.

arrow.unsafe
arrow.typeclasses.Unzip

The Unzip typeclass extends Zip by providing an inverse operation to zip.

arrow.core.Valid
arrow.core.Validated
arrow.core.ValidatedNel
arrow.typeclasses.Zip

Zip is a typeclass that extends a Functor by providing a zip operation that takes the intersection of non-uniform shapes.

Type Class Hierarchy

Do you like Arrow?

Arrow Org
<