scalax.rules

trait Arrows

[source: scalax/rules/Arrows.scala]

trait Arrows
extends UnitFunctors
Direct Known Subclasses:
ApplicativeArrows

Type 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
abstract type Arr

type M

Method Details
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]
Overrides
UnitFunctors.unit


Copyright (c) 2005-8 The Scalax Project. All Rights Reserved.