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.
- Companion
- object