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