ابتدای محتوای صفحه
۱۶ - ۱۰تمرینها: نمونههای Func
اول برای هرکدوم از نوعدادههای زیر نمونه ِ Functor تعریف کنین، و بعد همونطور که نشون دادیم، با استفاده از مشخصههای QuickCheck جوابهاتون رو تست کنین.
۱.
newtype Identity a = Identity a۲.
data Pair a = Pair a a۳.
data Two a b = Two a b۴.
data Three a b c = Three a b c۵.
data Three' a b = Three' a b b۶.
data Four a b c d = Four a b c d۷.
data Four' a b = Four' a a a b۸.
برای این تایپ هم میشه نمونه نوشت؟ چرا؟ چرا نه؟
data Trivial = Trivialحل این تمرینها برای درکِ طرزِ کارِ Functor حیاتیه، رَدِشون نکنین!