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