git.iko.soy/servant
on master help sign in
ToSample instances for longer tuples (up to 7).
99d1402Matthias Fischmann
servant-docs/src/Servant/Docs/Internal.hs+66
compare with master
unifiedsplit
@@ -1006,3 +1006,69 @@ instance ( ToSample a a
1006 ", " <> te <>
1006 ", " <> te <>
1007 ")"
1007 ")"
1008 , (va, vb, vc, vd, ve))
1008 , (va, vb, vc, vd, ve))
1009+
1010+instance ( ToSample a a
1011+ , ToSample b b
1012+ , ToSample c c
1013+ , ToSample d d
1014+ , ToSample e e
1015+ , ToSample f f
1016+ ) => ToSample (a, b, c, d, e, f) (a, b, c, d, e, f) where
1017+ toSample _ = (,,,,,)
1018+ <$> toSample (Proxy :: Proxy a)
1019+ <*> toSample (Proxy :: Proxy b)
1020+ <*> toSample (Proxy :: Proxy c)
1021+ <*> toSample (Proxy :: Proxy d)
1022+ <*> toSample (Proxy :: Proxy e)
1023+ <*> toSample (Proxy :: Proxy f)
1024+ toSamples _ = render
1025+ <$> toSamples (Proxy :: Proxy a)
1026+ <*> toSamples (Proxy :: Proxy b)
1027+ <*> toSamples (Proxy :: Proxy c)
1028+ <*> toSamples (Proxy :: Proxy d)
1029+ <*> toSamples (Proxy :: Proxy e)
1030+ <*> toSamples (Proxy :: Proxy f)
1031+ where render (ta, va) (tb, vb) (tc, vc) (td, vd) (te, ve) (tf, vf)
1032+ = ("(" <> ta <>
1033+ ", " <> tb <>
1034+ ", " <> tc <>
1035+ ", " <> td <>
1036+ ", " <> te <>
1037+ ", " <> tf <>
1038+ ")"
1039+ , (va, vb, vc, vd, ve, vf))
1040+
1041+instance ( ToSample a a
1042+ , ToSample b b
1043+ , ToSample c c
1044+ , ToSample d d
1045+ , ToSample e e
1046+ , ToSample f f
1047+ , ToSample g g
1048+ ) => ToSample (a, b, c, d, e, f, g) (a, b, c, d, e, f, g) where
1049+ toSample _ = (,,,,,,)
1050+ <$> toSample (Proxy :: Proxy a)
1051+ <*> toSample (Proxy :: Proxy b)
1052+ <*> toSample (Proxy :: Proxy c)
1053+ <*> toSample (Proxy :: Proxy d)
1054+ <*> toSample (Proxy :: Proxy e)
1055+ <*> toSample (Proxy :: Proxy f)
1056+ <*> toSample (Proxy :: Proxy g)
1057+ toSamples _ = render
1058+ <$> toSamples (Proxy :: Proxy a)
1059+ <*> toSamples (Proxy :: Proxy b)
1060+ <*> toSamples (Proxy :: Proxy c)
1061+ <*> toSamples (Proxy :: Proxy d)
1062+ <*> toSamples (Proxy :: Proxy e)
1063+ <*> toSamples (Proxy :: Proxy f)
1064+ <*> toSamples (Proxy :: Proxy g)
1065+ where render (ta, va) (tb, vb) (tc, vc) (td, vd) (te, ve) (tf, vf) (tg, vg)
1066+ = ("(" <> ta <>
1067+ ", " <> tb <>
1068+ ", " <> tc <>
1069+ ", " <> td <>
1070+ ", " <> te <>
1071+ ", " <> tf <>
1072+ ", " <> tg <>
1073+ ")"
1074+ , (va, vb, vc, vd, ve, vf, vg))