Jonathan Lorimer JonathanLorimer

## FunctorInstances.hs
{-# LANGUAGE FlexibleInstances #-}
module FunctorInstancesExercises where


-- | 1.
data Quant a b = Finance
               | Desk a
               | Bloor b

instance Functor (Quant a) where

## FunctorInstances.hs
module FunctorInstances where

import           Test.QuickCheck

newtype Identity a = Identity a
    deriving (Eq, Show)

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

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                JonathanLorimer
                / keybase.md
            
            
              Created
              January 7, 2019 21:44
            
          
    Keybase proof

I hereby claim:

I am jonathanlorimer on github.
I am jonathanlorimer (https://keybase.io/jonathanlorimer) on keybase.
I have a public key ASAb-Ce7Wm_xSErNRTLCnG7b_wupUYXxu9JujmOK-b-r6wo

To claim this, I am signing this object:

  
## fractals.html
<!DOCTYPE HTML>
<html>
    <head>
        <style>
        body {
            margin: 0px;
            padding: 0px;
        }
        </style>
    </head>
	{-# LANGUAGE FlexibleInstances #-}
	module FunctorInstancesExercises where


	-- \| 1.
	data Quant a b = Finance
	\| Desk a
	\| Bloor b

	instance Functor (Quant a) where
	module FunctorInstances where

	import Test.QuickCheck

	newtype Identity a = Identity a
	deriving (Eq, Show)

	instance Functor Identity where
	fmap f (Identity a) = Identity (f a)
	<!DOCTYPE HTML>
	<html>
	<head>
	<style>
	body {
	margin: 0px;
	padding: 0px;
	}
	</style>
	</head>