shithub: MicroHs

ref: 814c79f13a5e5b83ea203f4f8b1e4ceda6236e61
dir: /lib/Data/Identity.hs/

View raw version 
module Data.Identity(Data.Identity) where
import Primitives
import Data.Functor
import Control.Applicative
import Control.Monad

newtype Identity a = Identity a

instance Functor Identity where
  fmap f (Identity a) = Identity (f a)

instance Applicative Identity where
  pure a = Identity a
  Identity f <*> Identity a = Identity (f a)

instance Monad Identity where
  Identity a >>= f = f a