scalaz

Source
Linear Supertypes
Comonad[[x]F[S, x]], Cobind[[x]F[S, x]], Cojoin[[x]F[S, x]], Functor[[x]F[S, x]], AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
3. Cobind
4. Cojoin
5. Functor
6. AnyRef
7. Any
1. Hide All
2. Show all
Visibility
1. Public
2. All

### Type Members

1. #### trait ComonadLaws extends AnyRef

Definition Classes
2. #### trait FunctorLaw extends AnyRef

Definition Classes
Functor

### Abstract Value Members

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

Also know as `extend`

Also know as `extend`

Definition Classes
Cobind
2. #### abstract def cojoin[A](a: F[S, A]): F[S, F[S, A]]

Also known as `duplicate`

Also known as `duplicate`

Definition Classes
Cojoin
3. #### abstract def copoint[A](p: F[S, A]): A

Also known as `extract` / `copure`

Also known as `extract` / `copure`

Definition Classes
4. #### abstract def map[A, B](fa: F[S, A])(f: (A) ⇒ B): F[S, 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[S, A])(f: (A) ⇒ B): F[S, 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. #### val cobindSyntax: CobindSyntax[[x]F[S, x]]

Definition Classes
Cobind
10. #### val cojoinSyntax: CojoinSyntax[[x]F[S, x]]

Definition Classes
Cojoin

Definition Classes

Definition Classes
13. #### def compose[G[_]](implicit G0: Functor[G]): Functor[[α]F[S, 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
14. #### def copure[A](p: F[S, A]): A

alias for `copoint`

alias for `copoint`

Definition Classes
15. #### def counzip[A, B](a: \/[F[S, A], F[S, B]]): F[S, \/[A, B]]

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

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

Definition Classes
AnyRef → Any

19. #### def extend[A, B](a: F[S, A])(f: (F[S, A]) ⇒ B): F[S, B]

Definition Classes
Cojoin
20. #### def finalize(): Unit

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

Twin all `A`s in `fa`.

Twin all `A`s in `fa`.

Definition Classes
Functor
22. #### def fproduct[A, B](fa: F[S, A])(f: (A) ⇒ B): F[S, (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
23. #### def functorLaw: FunctorLaw

Definition Classes
Functor
24. #### val functorSyntax: FunctorSyntax[[x]F[S, x]]

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

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

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

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

Lift `f` into `F`.

Lift `f` into `F`.

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

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

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

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

Definition Classes
AnyRef
31. #### final def notify(): Unit

Definition Classes
AnyRef
32. #### final def notifyAll(): Unit

Definition Classes
AnyRef

34. #### def product[G[_]](implicit G0: Functor[G]): Functor[[α](F[S, α], 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

37. #### def strengthL[A, B](a: A, f: F[S, B]): F[S, (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
38. #### def strengthR[A, B](f: F[S, A], b: B): F[S, (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
39. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
40. #### def toString(): String

Definition Classes
AnyRef → Any
41. #### def void[A](fa: F[S, A]): F[S, Unit]

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

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

Definition Classes
Functor
42. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )