Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

- identity :: (Eq (f a), Monad m, Show (f a), Functor f) => Series m (f a) -> Property m
- composition :: (Monad m, Functor f, Show a, Show b, Show c, Show (f a), Eq (f c), Serial Identity a, Serial Identity b) => Series m (f a) -> Series m (b -> c) -> Series m (a -> b) -> Property m
- compositionSum :: (Monad m, Functor f, Show a, Show b, Show c, Show (f a), Eq (f c), Serial Identity a, Serial Identity b) => Series m (f a) -> Series m (b -> c) -> Series m (a -> b) -> Property m

# Functor laws

composition :: (Monad m, Functor f, Show a, Show b, Show c, Show (f a), Eq (f c), Serial Identity a, Serial Identity b) => Series m (f a) -> Series m (b -> c) -> Series m (a -> b) -> Property m Source