trait
LeftPartialAction[P, G] extends Any
Abstract Value Members
-
abstract
def
getClass(): Class[_]
-
abstract
def
partialActl(g: G, p: P): Opt[P]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
actlIsDefined(g: G, p: P): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
equals(arg0: Any): Boolean
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
A left partial action of a semigroupoid
G
onP
is the implementation of a methodpartialActl(g, p)
, org ?|+|> p
returningOpt[P]
, such that:1. for all
g
,h
inG
,p
inP
such thatg |+|? h
andh ?|+|> p
are defined,((g |+|? h).get ?|+|> p).get === (g ?|+|> (h ?|+|> p).get).get
with all operations defined.In addition, if
G
is a partial monoid, the following relation holds:2. for all
g
inG
andp
inP
such thatg ?|+|> p
is defined:(g.rightId ?|+|> p).get === p
, the operation?|+|>
being defined.