Rep1 ctx () | |
Rep1 ctx Rational | |
Rep1 ctx IOError | |
Rep1 ctx Double | |
Rep1 ctx Float | |
Rep1 ctx Integer | |
Rep1 ctx Char | |
Rep1 ctx Int | |
Rep1 ctx[acHK] Bool | |
Rep1 ctx[acH4] Ordering | |
(Rep a, Sat (ctx a), Sat (ctx [a])) => Rep1 ctx [a] | |
(Rep a, Sat (ctx a)) => Rep1 ctx (IO a) | |
(Rep a[a1Nk], Sat (ctx[acHA] a[a1Nk])) => Rep1 ctx[acHA] (Maybe a[a1Nk]) | |
(Rep a, Sat (ctx a), Rep b, Sat (ctx b)) => Rep1 ctx (a, b) | |
(Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx (a -> b) | |
(Rep a[acHc], Rep b[acHb], Sat (ctx[acHl] a[acHc]), Sat (ctx[acHl] b[acHb])) => Rep1 ctx[acHl] (Either a[acHc] b[acHb]) | |
(Rep a[12], Rep b[13], Rep c[14], Sat (ctx[acGM] a[12]), Sat (ctx[acGM] b[13]), Sat (ctx[acGM] c[14])) => Rep1 ctx[acGM] (a[12], b[13], c[14]) | |
(Rep a[12], Rep b[13], Rep c[14], Rep d[15], Sat (ctx[acGp] a[12]), Sat (ctx[acGp] b[13]), Sat (ctx[acGp] c[14]), Sat (ctx[acGp] d[15])) => Rep1 ctx[acGp] (a[12], b[13], c[14], d[15]) | |
(Rep a[12], Rep b[13], Rep c[14], Rep d[15], Rep e[16], Sat (ctx[acFX] a[12]), Sat (ctx[acFX] b[13]), Sat (ctx[acFX] c[14]), Sat (ctx[acFX] d[15]), Sat (ctx[acFX] e[16])) => Rep1 ctx[acFX] (a[12], b[13], c[14], d[15], e[16]) | |
(Rep a[12], Rep b[13], Rep c[14], Rep d[15], Rep e[16], Rep f[17], Sat (ctx[acFq] a[12]), Sat (ctx[acFq] b[13]), Sat (ctx[acFq] c[14]), Sat (ctx[acFq] d[15]), Sat (ctx[acFq] e[16]), Sat (ctx[acFq] f[17])) => Rep1 ctx[acFq] (a[12], b[13], c[14], d[15], e[16], f[17]) | |
(Rep a[12], Rep b[13], Rep c[14], Rep d[15], Rep e[16], Rep f[17], Rep g[18], Sat (ctx[acEO] a[12]), Sat (ctx[acEO] b[13]), Sat (ctx[acEO] c[14]), Sat (ctx[acEO] d[15]), Sat (ctx[acEO] e[16]), Sat (ctx[acEO] f[17]), Sat (ctx[acEO] g[18])) => Rep1 ctx[acEO] (a[12], b[13], c[14], d[15], e[16], f[17], g[18]) | |