given_Monad_TailRec_Defer_TailRec

object given_Monad_TailRec_Defer_TailRec extends Monad[TailRec] with Defer[TailRec]
trait Defer[TailRec]
trait Monad[TailRec]
trait Monoidal[TailRec]
trait Semigroupal[TailRec]
trait Functor[TailRec]
class Object
trait Matchable
class Any

Value members

Concrete methods

def pure[A](a: A): TailRec[A]

Inherited methods

def collectVector[A, B](v: Vector[A])(f: A => TailRec[Option[B]]): TailRec[Vector[B]]
Inherited from:
Monoidal

Inherited fields

val emptyTuple: TailRec[EmptyTuple.type]
Inherited from:
Monoidal
val emptyVector: TailRec[Vector[Nothing]]
Inherited from:
Monoidal
val none: TailRec[None.type]
Inherited from:
Monoidal
val unit: TailRec[Unit]
Inherited from:
Monoidal

Extensions

Extensions

extension [A](fa: => TailRec[A])
def defer: TailRec[A]
extension [A](fa: TailRec[A])
def flatMap[B](f: A => TailRec[B]): TailRec[B]

Inherited extensions

extension [G[_], A](fa: F[G[A]])
def mapIn[B](f: A => B)(using Functor[G]): TailRec[G[B]]
Inherited from:
Functor
extension [A, T <: Tuple](fa: F[A] *: T)
def mapN[C](using u: Untuple[TailRec, TailRec[A] *: T])(f: A *: Untupled[TailRec, T] => C): TailRec[C]
Inherited from:
Semigroupal
def tupled(using u: Untuple[F, F[A] *: T]): TailRec[A *: Untupled[TailRec, T]]
Inherited from:
Semigroupal
extension [A](fa: F[A])
def >>[B](fb: TailRec[B]): TailRec[B]
Inherited from:
Semigroupal
def zip[B](fb: TailRec[B]): TailRec[(A, B)]
Inherited from:
Semigroupal
extension [A](fa: F[A])
def >>=[B](f: A => TailRec[B]): TailRec[B]
Inherited from:
Monad
def flatMap2[B, C](fb: TailRec[B])(f: (A, B) => TailRec[C]): TailRec[C]
Inherited from:
Monad
def map2[B, C](fb: TailRec[B])(f: (A, B) => C): TailRec[C]
Inherited from:
Monad
extension [A](fa: F[A])
def map[B](f: A => B): TailRec[B]
Inherited from:
Monoidal
extension [A](fa: F[A])
def widen[A1 >: A]: TailRec[A1]
Inherited from:
Functor
extension [A, B](fab: F[A => B])
def ap(fa: F[A]): TailRec[B]
Inherited from:
Monoidal
extension [A, B, C](fabc: F[(A, B) => C])
def ap2(fa: F[A], fb: F[B]): TailRec[C]
Inherited from:
Monoidal