trait DeriveTransformFunctions[=>:[_, _]] extends Transform[=>:]
- Self Type
- DeriveTransformFunctions[=>:]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- DeriveTransformFunctions
- Transform
- Category
- Strong
- Profunctor
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
Abstract Value Members
-
abstract
def
compose[A, B, C](f: =>:[B, C], g: =>:[A, B]): =>:[A, C]
- Definition Classes
- Category
-
abstract
def
disjunction[A, B, C, D](ab: =>:[A, B], cd: =>:[C, D]): =>:[\/[A, C], \/[B, D]]
- Definition Classes
- Transform
-
abstract
def
dropFirst[A, B]: =>:[/\[A, B], B]
- Definition Classes
- Transform
-
abstract
def
duplicate[A]: =>:[A, /\[A, A]]
- Definition Classes
- Transform
-
abstract
def
first[A, B, C](fa: =>:[A, B]): =>:[(A, C), (B, C)]
- Definition Classes
- Strong
-
abstract
def
id[A]: =>:[A, A]
- Definition Classes
- Category
-
abstract
def
leftchoice[A, B, C](pab: =>:[A, B]): =>:[\/[A, C], \/[B, C]]
- Definition Classes
- Transform
-
abstract
def
mapfst[A, B, C](fab: =>:[A, B])(f: (C) ⇒ A): =>:[C, B]
- Definition Classes
- Profunctor
-
abstract
def
mapsnd[A, B, C](fab: =>:[A, B])(f: (B) ⇒ C): =>:[A, C]
- Definition Classes
- Profunctor
-
abstract
def
rightchoice[A, B, C](pab: =>:[A, B]): =>:[\/[C, A], \/[C, B]]
- Definition Classes
- Transform
-
abstract
def
swap[A, B]: =>:[/\[A, B], /\[B, A]]
- Definition Classes
- Transform
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
combine[A, B, C](ab: =>:[A, B], ac: =>:[A, C]): =>:[A, /\[B, C]]
- Definition Classes
- DeriveTransformFunctions → Transform
-
def
conjunction[A, B, C, D](ab: =>:[A, B], cd: =>:[C, D]): =>:[/\[A, C], /\[B, D]]
- Definition Classes
- DeriveTransformFunctions → Transform
-
def
contravariantInstance[C]: Contravariant[[α$2$]=>:[α$2$, C]]
- Definition Classes
- Profunctor
-
def
covariantInstance[C]: Functor[[β$1$]=>:[C, β$1$]]
- Definition Classes
- Profunctor
-
def
cross[A, B, C, D](ab: =>:[A, B], cd: =>:[C, D]): =>:[/\[A, C], (/\[C, B], /\[A, D])]
- Definition Classes
- Transform
-
def
curl[A, B, X]: =>:[/\[X, /\[A, B]], /\[B, A]]
- Definition Classes
- DeriveTransformFunctions → Transform
-
def
dimap[A, B, C, D](fab: =>:[A, B])(f: (C) ⇒ A)(g: (B) ⇒ D): =>:[C, D]
- Definition Classes
- Profunctor
-
def
dropSecond[A, B]: =>:[/\[A, B], A]
- Definition Classes
- DeriveTransformFunctions → Transform
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
invariantFunctor: InvariantFunctor[[α]=>:[α, α]]
- Definition Classes
- Profunctor
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
profunctorLaw: ProfunctorLaw
- Definition Classes
- Profunctor
-
val
profunctorSyntax: ProfunctorSyntax[=>:]
- Definition Classes
- Profunctor
-
def
second[A, B, C](fa: =>:[A, B]): =>:[(C, A), (C, B)]
- Definition Classes
- Strong
-
def
strongLaw: StrongLaws
- Definition Classes
- Strong
-
val
strongSyntax: StrongSyntax[=>:]
- Definition Classes
- Strong
-
def
swap2[A, B, C]: =>:[/\[A, /\[B, C]], /\[B, /\[A, C]]]
- Definition Classes
- DeriveTransformFunctions → Transform
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )