 FromCojoin

trait FromCojoin[F[_]] extends Cobind[F]

Define `Cobind` in terms of `Cojoin` and `Functor`

Self Type
FromCojoin[F] with Cojoin[F]
Source
Cobind.scala
Linear Supertypes
Cobind[F], Functor[F], AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. FromCojoin
2. Cobind
3. Functor
4. AnyRef
5. Any
1. Hide All
2. Show all
Visibility
1. Public
2. All

Type Members

1. trait FunctorLaw extends AnyRef

Definition Classes
Functor

Abstract Value Members

1. abstract def map[A, B](fa: F[A])(f: (A) ⇒ B): F[B]

Lift `f` into `F` and apply to `F[A]`.

Lift `f` into `F` and apply to `F[A]`.

Definition Classes
Functor

Concrete Value Members

1. final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
2. final def !=(arg0: Any): Boolean

Definition Classes
Any
3. final def ##(): Int

Definition Classes
AnyRef → Any
4. final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
5. final def ==(arg0: Any): Boolean

Definition Classes
Any
6. def apply[A, B](fa: F[A])(f: (A) ⇒ B): F[B]

Alias for `map`.

Alias for `map`.

Definition Classes
Functor
7. final def asInstanceOf[T0]: T0

Definition Classes
Any
8. def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
9. def cobind[A, B](fa: F[A])(f: (F[A]) ⇒ B): F[B]

Also know as `extend`

Also know as `extend`

Definition Classes
FromCojoinCobind
10. val cobindSyntax: CobindSyntax[F]

Definition Classes
Cobind
11. def compose[G[_]](implicit G0: Functor[G]): Functor[[α]F[G[α]]]

The composition of Functors `F` and `G`, `[x]F[G[x]]`, is a Functor

The composition of Functors `F` and `G`, `[x]F[G[x]]`, is a Functor

Definition Classes
Functor
12. def counzip[A, B](a: \/[F[A], F[B]]): F[\/[A, B]]

Definition Classes
Functor
13. final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
14. def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
15. def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
16. def fpair[A](fa: F[A]): F[(A, A)]

Twin all `A`s in `fa`.

Twin all `A`s in `fa`.

Definition Classes
Functor
17. def fproduct[A, B](fa: F[A])(f: (A) ⇒ B): F[(A, B)]

Pair all `A`s in `fa` with the result of function application.

Pair all `A`s in `fa` with the result of function application.

Definition Classes
Functor
18. def functorLaw: (FromCojoin.this)#FunctorLaw

Definition Classes
Functor
19. val functorSyntax: FunctorSyntax[F]

Definition Classes
Functor
20. final def getClass(): Class[_]

Definition Classes
AnyRef → Any
21. def hashCode(): Int

Definition Classes
AnyRef → Any
22. final def isInstanceOf[T0]: Boolean

Definition Classes
Any
23. def lift[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[B]

Lift `f` into `F`.

Lift `f` into `F`.

Definition Classes
Functor
24. def mapply[A, B](a: A)(f: F[(A) ⇒ B]): F[B]

Lift `apply(a)`, and apply the result to `f`.

Lift `apply(a)`, and apply the result to `f`.

Definition Classes
Functor
25. final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
26. final def notify(): Unit

Definition Classes
AnyRef
27. final def notifyAll(): Unit

Definition Classes
AnyRef
28. def product[G[_]](implicit G0: Functor[G]): Functor[[α](F[α], G[α])]

The product of Functors `F` and `G`, `[x](F[x], G[x]])`, is a Functor

The product of Functors `F` and `G`, `[x](F[x], G[x]])`, is a Functor

Definition Classes
Functor
29. def strengthL[A, B](a: A, f: F[B]): F[(A, B)]

Inject `a` to the left of `B`s in `f`.

Inject `a` to the left of `B`s in `f`.

Definition Classes
Functor
30. def strengthR[A, B](f: F[A], b: B): F[(A, B)]

Inject `b` to the right of `A`s in `f`.

Inject `b` to the right of `A`s in `f`.

Definition Classes
Functor
31. final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
32. def toString(): String

Definition Classes
AnyRef → Any
33. def void[A](fa: F[A]): F[Unit]

Empty `fa` of meaningful pure values, preserving its structure.

Empty `fa` of meaningful pure values, preserving its structure.

Definition Classes
Functor
34. final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
35. final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
36. final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )