LeftPartialAction

A left partial action of a semigroupoid G on P is the implementation of a method partialActl(g, p), or g ?|+|> p returning Opt[P], such that:

1. for all g, h in G, p in P such that g |+|? h and h ?|+|> 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 in G and p in P such that g ?|+|> p is defined:

(g.rightId ?|+|> p).get === p, the operation ?|+|> being defined.