partial

Type Members

1. trait Groupoid[A] extends Semigroupoid[A]

   A groupoid is a semigroupoid where inverse are defined for all elements, and thus left and right identity elements such that:

2. trait GroupoidLowPriority extends AnyRef

3. trait LeftPartialAction[P, G] extends Any

   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:

4. trait PartialAction[P, G] extends LeftPartialAction[P, G] with RightPartialAction[P, G]

   A partial action is the combination of left and right partial actions, providing:

5. trait RightPartialAction[P, G] extends Any

   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:

6. trait Semigroupoid[A] extends Any

   A semigroupoid is any set A with a partial binary associative operation (partialOp), which is associative in the following sense: if f,g,h are elements of the semigroupoid such that either: (i) f |+|? g is defined and g |+|? h is defined (ii) f |+|? g is defined and (f |+|? g).

7. trait SemigroupoidLowPriority extends AnyRef