Module

# Data.Group.Action

- Package
- purescript-group
- Repository
- morganthomas/purescript-group

### #LeftAction Source

`class (Group g) <= LeftAction g s where`

A group `g`

acting on a space `s`

. Instances must satisfy the following
laws in addition to the `Group`

laws:

- Identity:
`forall s. lact mempty s = s`

- Compatibility:
`forall g h s. lact (g <> h) s = lact g (lact h s)`

#### Members

`lact :: g -> s -> s`

### #RightAction Source

`class (Group g) <= RightAction g s where`

A group `g`

acting on a space `s`

. Instances must satisfy the following
laws in addition to the `Group`

laws:

- Identity:
`forall s. ract s mempty = s`

- Compatibility:
`forall g h s. ract s (g <> h) = ract (ract s g) h`

#### Members

`ract :: s -> g -> s`