GHC/HetMet/GArrowInstances.hs

   1 {-# OPTIONS -XRankNTypes -XMultiParamTypeClasses -XNoMonomorphismRestriction -XTypeOperators -XFunctionalDependencies #-}
   2 -----------------------------------------------------------------------------
   3 -- |
   4 -- Module      :  GHC.HetMet.GArrowInstances
   5 -- Copyright   :  none
   6 -- License     :  public domain
   7 --
   8 -- Maintainer  :  Adam Megacz <megacz@acm.org>
   9 -- Stability   :  experimental
  10 -- Portability :  portable
  11
  12 module GHC.HetMet.GArrowInstances (
  13 ) where
  14 import Control.Category
  15 import GHC.HetMet.GArrow
  16
  17 -- Various GArrow instances which may confuse the instance-inference
  18 -- mechanism if imported wholesale
  19
  20
  21 -- If a GArrow offers constants, then Haskell literals can be used to
  22 -- accomplish a GArrowLiteral implementation (the converse is not
  23 -- true!)
  24 --instance GArrowConstant g (**) u r t => GArrowLiteral g (**) u r t where
  25 --  ga_literal = ga_constant
  26
  27