Morphism1

izumi.functional.bio.data.Morphism1$
object Morphism1

Attributes

Note:

if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism1, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

object Instance

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Instance[-F[_], +G[_]]

When it's more convenient to write a polymorphic function using a class (or kind-projector's lambda syntax):

When it's more convenient to write a polymorphic function using a class (or kind-projector's lambda syntax):

 Lambda[FunctionK.Instance[F, G]](a => f(b(a)))

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_], G[_]](polyFunction: F[UnknownA] => G[UnknownA]): Morphism1[F, G]
def identity[F[_]]: Morphism1[F, F]