trait
RightPartialAction[P, G] extends Any
Abstract Value Members
-
abstract
def
getClass(): Class[_]
-
abstract
def
partialActr(p: P, g: G): Opt[P]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
actrIsDefined(p: P, g: G): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
equals(arg0: Any): Boolean
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
A right partial action of a semigroupoid
G
onP
is the implementation of a methodpartialActr(p, g)
, orp <|+|? g
returningOpt[P]
, such that:1. for all
g
,h
inG
,p
inP
such thatg |+|? h
andp <|+|? 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
inG
andp
inP
such thatp <|+|? g
is defined:(p <|+|? g.leftId).get === p
, the operation<|+|?
being defined.