blob: 211b3f86e122532c32f98282264dcc67bfb9f1a5 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T14888.hs:6:9-31: Splicing type
[t| (->) Bool Bool |] ======> Bool -> Bool
T14888.hs:15:2-12: Splicing declarations return [] ======>
T14888.hs:18:22-60: Splicing expression
reify ''Functor' >>= stringE . pprint
======>
"class T14888.Functor' (f_0 :: * -> *)
where {T14888.fmap' :: forall (a_1 :: *) (b_2 :: *) .
(a_1 -> b_2) -> f_0 a_1 -> f_0 b_2}
instance forall (r_3 :: *). T14888.Functor' ((->) r_3)"
|
