Changes between Initial Version and Version 5 of Ticket #12708


Ignore:
Timestamp:
Oct 15, 2016 1:52:37 AM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12708 – Description

    initial v5  
    8989}}}
    9090
     91{{{#!hs
     92class Functor (f :: Type -> TYPE rep) where
     93  fmap :: (a -> b) -> (f a -> f b)
     94
     95instance Functor ((# , #) a) where
     96  fmap :: (b -> b') -> ((# a, b #) -> (# a, b'#))
     97  fmap f (# a, b #) = (# a, f b #)
     98}}}
     99
    91100----
    92101
     
    94103
    95104{{{#!hs
    96 >>> :kind Prelude.Num
    97105Prelude.Num :: * -> Constraint
     106   Main.Num :: * -> Constraint
     107
     108-- >>> :set -fprint-explicit-runtime-reps
     109Prelude.Num :: * -> Constraint
     110   Main.Num :: TYPE k -> Constraint
     111
     112>>> :set -Wprint-explicit-runtime-rep
    98113>>> :kind Main.Num
    99 Main.Num :: * -> Constraint
    100 >>> :set -fprint-explicit-runtime-reps
    101 >>> :kind Main.Num
    102 Main.Num :: TYPE k -> Constraint
     114Main.Num :: forall (k :: RuntimeRep). TYPE k -> Constraint
     115
     116
    103117}}}