shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add runIdentity

--- a/lib/Data/Functor/Identity.hs

+++ b/lib/Data/Functor/Identity.hs

@@ -1,9 +1,11 @@

 -- Copyright 2023 Lennart Augustsson

 -- See LICENSE file for full license.

-module Data.Functor.Identity(Identity(..)) where

+module Data.Functor.Identity(Identity(..), runIdentity) where

 import Primitives

 import Control.Applicative

 import Control.Monad

+import Data.Bool

+import Data.Eq

 import Data.Function

 import Data.Functor

 import Data.Int

@@ -11,7 +13,11 @@

 import Text.Show

 newtype Identity a = Identity a

+  deriving (Eq, Ord, Show)

+runIdentity :: forall a . Identity a -> a

+runIdentity (Identity a) = a

+

 instance Functor Identity where

   fmap f (Identity a) = Identity (f a)

@@ -21,6 +27,3 @@

 instance Monad Identity where

   Identity a >>= f = f a

-

-instance forall a . (Show a) => Show (Identity a) where

-  showsPrec p (Identity a) = showParen (p >= 11) (showString "Identity " . showsPrec 11 a)

-- 

⑨