(SingKind k1 (KProxy k1), Hashable (DemoteRep k1 (KProxy k1)), Dict1 k1 * Hashable f1) => Hashable (Some1 k1 f1) Source # | |
|
(SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), Hashable (DemoteRep k2 (KProxy k2)), Hashable (DemoteRep k1 (KProxy k1)), Dict2 k1 k2 * Hashable f2) => Hashable (Some2 k1 k2 f2) Source # | |
|
(SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), Hashable (DemoteRep k3 (KProxy k3)), Hashable (DemoteRep k2 (KProxy k2)), Hashable (DemoteRep k1 (KProxy k1)), Dict3 k1 k2 k3 * Hashable f3) => Hashable (Some3 k1 k2 k3 f3) Source # | |
|
(SingKind k4 (KProxy k4), SingKind k3 (KProxy k3), SingKind k2 (KProxy k2), SingKind k1 (KProxy k1), Hashable (DemoteRep k4 (KProxy k4)), Hashable (DemoteRep k3 (KProxy k3)), Hashable (DemoteRep k2 (KProxy k2)), Hashable (DemoteRep k1 (KProxy k1)), Dict4 k1 k2 k3 k4 * Hashable f4) => Hashable (Some4 k1 k2 k3 k4 f4) Source # | |
|