Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- leftIdentity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m
- rightIdentity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m
- associativity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Series m a -> Series m a -> Property m
- mconcat :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m