shithub: MicroHs

ref: bf737faf9dd2219b202d4c3d1eb62b942202bc9f
dir: /lib/Data/Functor.hs/

View raw version 
module Data.Functor(module Data.Functor) where
import Primitives  -- for fixity
import Data.Function

class Functor (f :: Type -> Type) where
  fmap :: forall a b . (a -> b) -> f a -> f b
  (<$) :: forall a b . a -> f b -> f a
  (<$) =  fmap . const

infixl 4 <$>
(<$>) :: forall (f :: Type -> Type) a b . Functor f => (a -> b) -> f a -> f b
(<$>) = fmap

--void :: forall f a . Functor f => f a -> f ()
--void = fmap (const ())