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