trait
Arrow[=>:[_, _]] extends Split[=>:] with Profunctor[=>:] with Category[=>:]
Abstract Value Members
-
abstract
def
arr[A, B](f: (A) ⇒ B): =>:[A, B]
-
abstract
def
compose[A, B, C](f: =>:[B, C], g: =>:[A, B]): =>:[A, C]
-
abstract
def
first[A, B, C](f: =>:[A, B]): =>:[(A, C), (B, C)]
-
abstract
def
id[A]: =>:[A, A]
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
<<<[A, B, C](fbc: =>:[B, C], fab: =>:[A, B]): =>:[A, C]
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
>>>[A, B, C](fab: =>:[A, B], fbc: =>:[B, C]): =>:[A, C]
-
-
final
def
asInstanceOf[T0]: T0
-
-
-
def
clone(): AnyRef
-
def
combine[A, B, C](fab: =>:[A, B], fac: =>:[A, C]): =>:[A, (B, C)]
-
-
-
def
contravariantInstance[C]: Contravariant[[α]=>:[α, C]]
-
def
covariantInstance[C]: Applicative[[α]=>:[C, α]]
-
def
dimap[A, B, C, D](fab: =>:[A, B])(f: (C) ⇒ A)(g: (B) ⇒ D): =>:[C, D]
-
def
empty: PlusEmpty[[α]=>:[α, α]]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): java.lang.Class[_]
-
def
hashCode(): Int
-
def
invariantFunctor: InvariantFunctor[[α]=>:[α, α]]
-
final
def
isInstanceOf[T0]: Boolean
-
def
mapfst[A, B, C](fab: =>:[A, B])(f: (C) ⇒ A): =>:[C, B]
-
def
mapsnd[A, B, C](fab: =>:[A, B])(f: (B) ⇒ C): =>:[A, C]
-
def
monoid[A]: Monoid[=>:[A, A]]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
plus: Plus[[α]=>:[α, α]]
-
def
product[A, B](fab: =>:[A, B]): =>:[(A, A), (B, B)]
-
-
def
second[A, B, C](f: =>:[A, B]): =>:[(C, A), (C, B)]
-
def
semigroup[A]: Semigroup[=>:[A, A]]
-
def
split[A, B, C, D](f: =>:[A, B], g: =>:[C, D]): =>:[(A, C), (B, D)]
-
final
def
splitA[A, B, C, D](fab: =>:[A, B], fcd: =>:[C, D]): =>:[(A, C), (B, D)]
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Split[=>:]
Inherited from AnyRef
Inherited from Any
A Category supporting all ordinary functions, as well as combining arrows product-wise. Every Arrow forms a Contravariant in one type parameter, and a Applicative in the other, just as with ordinary functions.