trait LeftAction[P, G] extends Any
A (left) semigroup/monoid/group action of G
on P
is simply the implementation of
a method actl(g, p)
, or g |+|> p
, such that:
1. (g |+| h) |+|> p === g |+|> (h |+|> p)
for all g
, h
in G
and p
in P
.
2. id |+|> p === p
for all p
in P
(if id
is defined)
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- LeftAction
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
equals(arg0: Any): Boolean
- Definition Classes
- Any
-
def
hashCode(): Int
- Definition Classes
- Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
toString(): String
- Definition Classes
- Any