RightPartialAction

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.