BindSyntax

tofu.syntax.bind.BindSyntax
final implicit class BindSyntax[F[_, _], E, A](self: F[E, A]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Value members

Concrete methods

def *>[F1[e, a], E1 >: E, B](fb: F1[E1, B])(implicit F: TwinMonad[F1]): F1[E1, B]
def as[B](b: B)(implicit F: TwinMonad[F]): F[E, B]
def bimap[X, R](f: E => X, g: A => R)(implicit F: TwinMonad[F]): F[X, R]
def errAs[X](x: => X)(implicit F: TwinMonad[F]): F[X, A]
def fail[B](f: A => E)(implicit F: TwinMonad[F]): F[E, B]
def flatMap[F1[e, a], E1 >: E, B](f: A => F1[E1, B])(implicit F: TwinMonad[F1]): F1[E1, B]
def flatMapErr[F1[e, a], X](f: E => F1[X, A])(implicit F: TwinMonad[F1]): F1[X, A]
def flatTap[F1[e, a], E1 >: E, B](f: A => F1[E1, B])(implicit F: TwinMonad[F1]): F1[E1, A]
def fold[R](h: E => R, f: A => R)(implicit F: TwinMonad[F]): F[Nothing, R]
def foldWith[F1[e, a], X, R](h: E => F1[X, R], f: A => F1[X, R])(implicit F: TwinMonad[F1]): F1[X, R]
def handle[A1 >: A](f: E => A1)(implicit F: TwinMonad[F]): F[Nothing, A1]
def handleTap[F1[e, a], X, A1 >: A](f: E => F1[X, A1])(implicit F: TwinMonad[F1]): F1[E, A1]
def handleWith[F1[e, a], X, A1 >: A](f: E => F1[X, A1])(implicit F: TwinMonad[F1]): F1[X, A1]
def map[B](f: A => B)(implicit F: TwinMonad[F]): F[E, B]
def mapErr[X](f: E => X)(implicit F: TwinMonad[F]): F[X, A]
def swap(implicit F: TwinMonad[F]): F[A, E]
def swapMap[X, B](f: E => B, g: A => X)(implicit F: TwinMonad[F]): F[X, B]
def tapBoth[F1[e, a], X, B, Y, C](h: E => F1[X, B], f: A => F1[Y, C])(implicit F: TwinMonad[F1]): F1[E, A]
def void(implicit F: TwinMonad[F]): F[E, Unit]
def voidErr(implicit F: TwinMonad[F]): F[Unit, A]