scalax.rules

trait ApplicativeArrows

[source: scalax/rules/ApplicativeArrows.scala]

trait ApplicativeArrows
extends Arrows
Direct Known Subclasses:
ArrowMonads

Type Summary
abstract type Arr
Method Summary
abstract def app [A, B] : Arr[(Arr[A, B], A), B]
Methods inherited from Arrows
arrow (abstract), diag, unit
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 ApplicativeArrow [-A, +B] extends Arrow[A, B]
Type Details
abstract type Arr

Method Details
abstract def app[A, B] : Arr[(Arr[A, B], A), B]


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