Scalax
|
|
scalax/rules/Arrows.scala
]
trait
Arrows
extends
UnitFunctorsType Summary | |
abstract type
|
Arr |
type
|
M |
Method Summary | |
abstract def
|
arrow [A, B](f : (A) => B) : Arr[A, B] |
def
|
diag [A] : Arr[A, (A, A)] |
override def
|
unit [B](b : => B) : Arr[B] |
Methods inherited from UnitFunctors | |
unit |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Class Summary | |
trait
|
Arrow
[-A, +B] extends Functor[B] with AnyRef
|
Type Details |
Method Details |
Scalax
|
|