scalaz

Source
Isomorphism.scala
Linear Supertypes
IsomorphismCojoin[F, G], IsomorphismFunctor[F, G], Comonad[F], Cobind[F], Cojoin[F], Functor[F], AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
2. IsomorphismCojoin
3. IsomorphismFunctor
5. Cobind
6. Cojoin
7. Functor
8. AnyRef
9. 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

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

Also know as `extend`

Also know as `extend`

Definition Classes
Cobind
3. #### abstract def iso: Isomorphism.<~>[F, G]

Definition Classes
IsomorphismCojoinIsomorphismFunctor

### 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. #### val cobindSyntax: CobindSyntax[F]

Definition Classes
Cobind
10. #### def cojoin[A](a: F[A]): F[F[A]]

Also known as `duplicate`

Also known as `duplicate`

Definition Classes
IsomorphismCojoinCojoin
11. #### val cojoinSyntax: CojoinSyntax[F]

Definition Classes
Cojoin

Definition Classes

Definition Classes
14. #### 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
15. #### def copoint[A](p: F[A]): A

Also known as `extract` / `copure`

Also known as `extract` / `copure`

Definition Classes
16. #### def copure[A](p: F[A]): A

alias for `copoint`

alias for `copoint`

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

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

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

Definition Classes
AnyRef → Any
20. #### def extend[A, B](a: F[A])(f: (F[A]) ⇒ B): F[B]

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

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

Twin all `A`s in `fa`.

Twin all `A`s in `fa`.

Definition Classes
Functor
23. #### 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
24. #### def functorLaw: FunctorLaw

Definition Classes
Functor
25. #### val functorSyntax: FunctorSyntax[F]

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

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

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

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

Lift `f` into `F`.

Lift `f` into `F`.

Definition Classes
Functor
30. #### 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
IsomorphismFunctorFunctor
31. #### 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
32. #### final def ne(arg0: AnyRef): Boolean

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

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

Definition Classes
AnyRef
35. #### 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
36. #### 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
37. #### 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
38. #### final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
AnyRef → Any
40. #### 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
41. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )