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
- associativitySum :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Series m a -> Series m a -> Property m
- mconcatProp :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m

# Identity

# Associativity

associativity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Series m a -> Series m a -> Property m Source

associativitySum :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Series m a -> Series m a -> Property m Source