Cclassclass Semigroup s => SAct s x whereSourcePeek#Semigroup action. It should satisfy: x s0 <| s1 = x <| s0 < s1 Methods(<|) :: x -> s -> xinfixr 5Instances2SActSemigroup s => SAct s sDefined in cardano-prelude-0.2.2.0 · Data.Semigroup.ActionSAct s x => SAct s (y -> x)Defined in cardano-prelude-0.2.2.0 · Data.Semigroup.Action