RightSemiNearRing BoolRing |
RightSemiNearRing Natural |
Monoid m => RightSemiNearRing ([] m) |
Monoid m => RightSemiNearRing (Maybe m) |
LeftSemiNearRing m => RightSemiNearRing (Dual m) |
Monoid m => RightSemiNearRing (Seq m) |
RightSemiNearRing m => RightSemiNearRing (Self m) |
RightSemiNearRing m => RightSemiNearRing (FromString m) |
Ord a => RightSemiNearRing (Priority a) |
(Bounded a, Ord a) => RightSemiNearRing (Order a) |
(Ord a, Num a) => RightSemiNearRing (Tropical a) |
Num a => RightSemiNearRing (FromNum a) |
(Bounded a, Enum a) => RightSemiNearRing (BitSet a) |
(Measured v m, Monoid m) => RightSemiNearRing (FingerTree v m) |
RightSemiNearRing m => RightSemiNearRing (ReducedBy m s) |
(Modular s a, Integral a) => RightSemiNearRing (Mod a s) |
(Alternative f, Monoid a) => RightSemiNearRing (Alt f a) |
(MonadPlus m, Monoid a) => RightSemiNearRing (MonadSum m a) |
(MonadPlus m, Monoid w, Monoid n) => RightSemiNearRing (WriterT w m n) |
(MonadPlus m, Monoid w, Monoid n) => RightSemiNearRing (WriterT w m n) |
(MonadPlus m, Monoid n) => RightSemiNearRing (StateT s m n) |
(MonadPlus m, Monoid n) => RightSemiNearRing (StateT s m n) |
(MonadPlus m, Monoid n) => RightSemiNearRing (ReaderT e m n) |
(RightSemiNearRing r, Module r m) => RightSemiNearRing (D s r m) |
(Stream s m t, Monoid a) => RightSemiNearRing (ParsecT s u m a) |
(MonadPlus m, Monoid w, Monoid n) => RightSemiNearRing (RWST r w s m n) |
(MonadPlus m, Monoid w, Monoid n) => RightSemiNearRing (RWST r w s m n) |