trait RightPartialAction[P, G] extends Any
A right partial action of a semigroupoid G on P is the implementation of
a method partialActr(p, g), or p <|+|? g returning Opt[P], such that:
1. for all g, h in G, p in P such that g |+|? h and p <|+|? g are defined,
(p <|+|? (g |+|? h).get).get === ((p <|+|? g).get |+|? h).get,
and all operations are defined.
In addition, if G is a partial monoid, the following relation holds:
2. for all g in G and p in P such that p <|+|? g is defined:
(p <|+|? g.leftId).get === p, the operation <|+|? being defined.
- Source
- PartialAction.scala
Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
- Alphabetic
- By Inheritance
Inherited
- RightPartialAction
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
- def actrIsDefined(p: P, g: G): Boolean
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
equals(arg0: Any): Boolean
- Definition Classes
- Any
-
def
hashCode(): Int
- Definition Classes
- Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
toString(): String
- Definition Classes
- Any