cardano-prelude-0.1.0.0: A Prelude replacement for the Cardano project
Safe Haskell Safe-Inferred
Language Haskell2010

Data.Semigroup.Action

Synopsis

Documentation

class Semigroup s => SAct s x where Source #

Semigroup action. It should satisfy:

  x s0 <| s1 = x <| s0 < s1

Methods

(<|) :: x -> s -> x infixr 5 Source #

Instances

Instances details
Semigroup s => SAct s s Source #
Instance details

Defined in Data.Semigroup.Action

Methods

(<|) :: s -> s -> s Source #

SAct s x => SAct s (y -> x) Source #
Instance details

Defined in Data.Semigroup.Action

Methods

(<|) :: (y -> x) -> s -> y -> x Source #