All Types

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.
arrow.core.AndThenKindedJ  
arrow.core.AndThenOf  
arrow.core.AndThenPartialOf  
kotlin.Any (extensions in package arrow.core)  
arrow.typeclasses.Applicative  
arrow.typeclasses.ApplicativeError  
arrow.typeclasses.Apply  
kotlin.Array (extensions in package arrow.core)  
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  
kotlin.Boolean (extensions in package arrow.core)  
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.typeclasses.Const  
arrow.typeclasses.ConstOf  
arrow.typeclasses.ConstPartialOf  
kotlin.coroutines.Continuation (extensions in package arrow.typeclasses)  
arrow.typeclasses.Continuation  
arrow.typeclasses.Contravariant  
arrow.typeclasses.CounnestedType  
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 Port of https://github.com/scala/scala/blob/v2.12.1/src/library/scala/util/Either.scala
arrow.core.EitherOf  
arrow.core.EitherPartialOf  
kotlin.collections.Map.Entry (extensions in package arrow.core)  
arrow.typeclasses.Eq  
arrow.core.Eval Eval is a monad which controls evaluation of a value or a computation that produces a value.
arrow.core.EvalOf  
arrow.core.Failure  
arrow.typeclasses.Foldable  
arrow.core.ForAndThen  
arrow.typeclasses.ForConst  
arrow.core.ForEither  
arrow.core.ForEval  
arrow.core.ForFunction0  
arrow.core.ForFunction1  
arrow.core.ForId  
arrow.core.ForIor  
arrow.core.ForListK  
arrow.core.ForMapK  
arrow.typeclasses.ForMonoid  
arrow.core.ForNonEmptyList  
arrow.core.ForOption  
arrow.core.ForSequenceK  
arrow.core.ForSetK  
arrow.core.ForSortedMapK  
arrow.core.ForTry  
arrow.core.ForTuple10  
arrow.core.ForTuple11  
arrow.core.ForTuple12  
arrow.core.ForTuple13  
arrow.core.ForTuple14  
arrow.core.ForTuple15  
arrow.core.ForTuple16  
arrow.core.ForTuple17  
arrow.core.ForTuple18  
arrow.core.ForTuple19  
arrow.core.ForTuple2  
arrow.core.ForTuple20  
arrow.core.ForTuple21  
arrow.core.ForTuple22  
arrow.core.ForTuple3  
arrow.core.ForTuple4  
arrow.core.ForTuple5  
arrow.core.ForTuple6  
arrow.core.ForTuple7  
arrow.core.ForTuple8  
arrow.core.ForTuple9  
arrow.core.ForValidated  
kotlin.Function0 (extensions in package arrow.core)  
arrow.core.Function0  
arrow.core.Function0Of  
kotlin.Function1 (extensions in package arrow.core)  
arrow.core.Function1  
arrow.core.Function1Of  
arrow.core.Function1PartialOf  
kotlin.Function2 (extensions in package arrow.core)  
arrow.core.FunctionK  
arrow.typeclasses.Functor  
arrow.typeclasses.FunctorFilter  
arrow.typeclasses.suspended.monad.Fx Fx allows you to run pure sequential code as if it was imperative.
arrow.typeclasses.suspended.monad.commutative.safe.Fx Fx allows you to run pure sequential code as if it was imperative.
arrow.typeclasses.suspended.monad.commutative.unsafe.Fx Fx allows you to run pure sequential code as if it was imperative.
arrow.typeclasses.suspended.monaderror.Fx Fx allows you to run pure sequential code as if it was imperative.
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.core.IdOf  
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  
arrow.core.IorOf  
arrow.core.IorPartialOf  
kotlin.collections.Iterable (extensions in package arrow.core)  
kotlin.collections.Iterator (extensions in package arrow.core)  
kotlin.collections.List (extensions in package arrow.core)  
arrow.core.ListExtensions  
arrow.core.ListK A wrapper data type also considered by the @extension mechanisms to forward type class instance methods into both the wrapper and the wrapped data type. Ex. List#foldMap(M: Monoid)
arrow.core.ListKOf  
kotlin.collections.Map (extensions in package arrow.core)  
arrow.core.MapInstances  
arrow.core.MapK  
arrow.core.MapKOf  
arrow.core.MapKPartialOf  
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.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 A List that can not be empty
arrow.core.NonEmptyListOf  
arrow.typeclasses.NonEmptyReducible  
arrow.core.Option Represents optional values. Instances of Option are either an instance of $some or the object $none.
arrow.core.OptionOf  
arrow.typeclasses.Order  
kotlin.Pair (extensions in package arrow.core)  
arrow.core.Predicate  
arrow.typeclasses.Profunctor  
arrow.typeclasses.Reducible  
arrow.typeclasses.Selective  
arrow.typeclasses.Semigroup  
arrow.typeclasses.Semigroupal  
arrow.typeclasses.SemigroupK  
arrow.typeclasses.Semiring  
kotlin.sequences.Sequence (extensions in package arrow.core)  
arrow.core.SequenceK  
arrow.core.SequenceKOf  
kotlin.collections.Set (extensions in package arrow.core)  
arrow.core.SetExtensions  
arrow.core.SetK  
arrow.core.SetKOf  
arrow.typeclasses.Show  
arrow.core.Some  
java.util.SortedMap (extensions in package arrow.core)  
arrow.core.SortedMap  
arrow.core.SortedMapInstances  
arrow.core.SortedMapK  
arrow.core.SortedMapKKindedJ  
arrow.core.SortedMapKOf  
arrow.core.SortedMapKPartialOf  
arrow.core.SortedSetInstances  
arrow.core.Success  
kotlin.Throwable (extensions in package arrow.core)  
arrow.typeclasses.Traverse  
arrow.typeclasses.TraverseFilter  
kotlin.Triple (extensions in package arrow.core)  
arrow.core.Try  
arrow.core.TryException  
arrow.core.TryOf  
arrow.core.Tuple10  
arrow.core.Tuple10Of  
arrow.core.Tuple10PartialOf  
arrow.core.Tuple11  
arrow.core.Tuple11Of  
arrow.core.Tuple11PartialOf  
arrow.core.Tuple12  
arrow.core.Tuple12Of  
arrow.core.Tuple12PartialOf  
arrow.core.Tuple13  
arrow.core.Tuple13Of  
arrow.core.Tuple13PartialOf  
arrow.core.Tuple14  
arrow.core.Tuple14Of  
arrow.core.Tuple14PartialOf  
arrow.core.Tuple15  
arrow.core.Tuple15Of  
arrow.core.Tuple15PartialOf  
arrow.core.Tuple16  
arrow.core.Tuple16Of  
arrow.core.Tuple16PartialOf  
arrow.core.Tuple17  
arrow.core.Tuple17Of  
arrow.core.Tuple17PartialOf  
arrow.core.Tuple18  
arrow.core.Tuple18Of  
arrow.core.Tuple18PartialOf  
arrow.core.Tuple19  
arrow.core.Tuple19Of  
arrow.core.Tuple19PartialOf  
arrow.core.Tuple2  
arrow.core.Tuple20  
arrow.core.Tuple20Of  
arrow.core.Tuple20PartialOf  
arrow.core.Tuple21  
arrow.core.Tuple21Of  
arrow.core.Tuple21PartialOf  
arrow.core.Tuple22  
arrow.core.Tuple22Of  
arrow.core.Tuple22PartialOf  
arrow.core.Tuple2Of  
arrow.core.Tuple2PartialOf  
arrow.core.Tuple3  
arrow.core.Tuple3Of  
arrow.core.Tuple3PartialOf  
arrow.core.Tuple4  
arrow.core.Tuple4Of  
arrow.core.Tuple4PartialOf  
arrow.core.Tuple5  
arrow.core.Tuple5Of  
arrow.core.Tuple5PartialOf  
arrow.core.Tuple6  
arrow.core.Tuple6Of  
arrow.core.Tuple6PartialOf  
arrow.core.Tuple7  
arrow.core.Tuple7Of  
arrow.core.Tuple7PartialOf  
arrow.core.Tuple8  
arrow.core.Tuple8Of  
arrow.core.Tuple8PartialOf  
arrow.core.Tuple9  
arrow.core.Tuple9Of  
arrow.core.Tuple9PartialOf  
arrow.unsafe  
arrow.core.Valid  
arrow.core.Validated Port of https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/data/Validated.scala
arrow.core.ValidatedNel  
arrow.core.ValidatedOf  
arrow.core.ValidatedPartialOf  

Type Class Hierarchy