Modulenatural-transformation-0.4.1Haskell2010
Control.Natural.RULES
GHC RULE for Natural Transformation
RULES "natural free theorem" [~]
forall h (r :: (Functor f, Functor g, Transformation f g t) => t) .
fmap h . (r #) = (r #) . fmap h
- Packagenatural-transformation-0.4.1
- Exports0
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceRULES.hs