۱۶ - ۱۷تمرین‌های فصل

data Bool =
  False | True

data BoolAndSomethingElse a =
  False' a | True' a

data BoolAndMaybeSomethingElse =
  Falsish | Truish a

 data Sum a b =
    First a
  | Second b

instance Functor (Sum e) where
  fmap f (First a)  = First (f a)
  fmap _ (Second b) = Second b

data Company a b c =
    DeepBlue a c
  | Something b

instance Functor (Company e e') where
  fmap f (Something b) = Something (f b)
  fmap _ (DeepBlue a c) = DeepBlue a c

data More a b =
    L a b a
  | R b a b
  deriving (Eq, Show)

instance Functor (More x) where
  fmap f (L a b a') = L (f a) b (f a')
  fmap f (R b a b') = R b (f a) b'

-- باید چنین کاری انجام بده

Prelude> fmap (+1) (L 1 2 3)
L 2 2 4
Prelude> fmap (+1) (R 1 2 3)
R 1 3 3

data Quant a b =
    Finance
  | Desk a
  | Bloor b

-- نه، به خودیِ‌خود جذابیتی نداره
data K a b =
  K a

{-# LANGUAGE FlexibleInstances #-}

newtype Flip f a b =
  Flip (f b a)
  deriving (Eq, Show)

newtype K a b =
  K a

-- احتمالاً یکی از نمونه‌هایی که
-- قبلاً نوشتین رو یادتون بیاره
instance Functor (Flip K a) where
  fmap = undefined

data EvilGoateeConst a b =
  GoatyConst b

-- فکر کردین میشه به این راحتیا 
-- .از دست بزغاله‌ها خلاص شین؟ نخیر

نه، این هم کار جالبی نمی‌کنه. جادویی در کار نیست (تو تمرین قبل هم همینطور). اگه کار کنه یعنی درسته.

data Parappa f g a =
  DaWrappa (f a) (g a)

data Notorious g o a t =
  Notorious (g o) (g a) (g t) 

-- استفاده کنین recursion باید از
data List a =
    Nil
  | Cons a (List a)

-- !یه درخت بزغاله، میشه ارباب بزغاله
data GoatLord a =
    NoGoat
  | OneGoat a
  | MoreGoats (GoatLord a)
              (GoatLord a) 
              (GoatLord a)