natural-transformation-0.4.1: A natural transformation package.
Copyright(C) 2015 The University of Kansas
LicenseBSD-style (see the file LICENSE)
MaintainerAndy Gill
StabilityExperimental
Safe HaskellTrustworthy
LanguageHaskell2010

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