natural-transformation-0.4: A natural transformation package.

Copyright | (C) 2015 The University of Kansas
License | BSD-style (see the file LICENSE)
Maintainer | Andy Gill
Stability | Experimental
Safe Haskell | Trustworthy
Language | Haskell2010

Control.Natural.RULES

Description

# 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