flexiwrap-0.0.1: Data/Flex/Functor.hs

{-# LANGUAGE ScopedTypeVariables, PolymorphicComponents #-}
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
-- .$Header: c:/Source/Haskell/Wrapper/Data/Flex/RCS/Functor.hs,v 1.2 2010/03/12 23:46:00 dosuser Exp dosuser $
module Data.Flex.Functor where

class FWFunctor (f :: * -> *) r | f -> r

data FWDefaultFunctor = FWDefaultFunctor

data FWFmap t (f :: * -> *) = FWFmap

newtype WrapFmap f =
    WrapFmap {unwrapFmap :: forall a b. (a -> b) -> (f a -> f b)}

-- vim: expandtab:tabstop=4:shiftwidth=4