Documentation

rBool1 :: forall ctx[acHK]. R1 ctx[acHK] BoolSource

rBool :: R BoolSource

rMaybe1 :: forall ctx[acHA] a[a1Nk]. Rep a[a1Nk] => ctx[acHA] a[a1Nk] -> R1 ctx[acHA] (Maybe a[a1Nk])Source

rMaybe :: forall a[a1Nk]. Rep a[a1Nk] => R (Maybe a[a1Nk])Source

rEither1 :: forall ctx[acHl] a[acHc] b[acHb]. (Rep a[acHc], Rep b[acHb]) => ctx[acHl] a[acHc] -> ctx[acHl] b[acHb] -> R1 ctx[acHl] (Either a[acHc] b[acHb])Source

rEither :: forall a[acHc] b[acHb]. (Rep a[acHc], Rep b[acHb]) => R (Either a[acHc] b[acHb])Source

rOrdering1 :: forall ctx[acH4]. R1 ctx[acH4] OrderingSource

rOrdering :: R OrderingSource

rTup3_1 :: forall ctx[acGM] a[12] b[13] c[14]. (Rep a[12], Rep b[13], Rep c[14]) => ctx[acGM] a[12] -> ctx[acGM] b[13] -> ctx[acGM] c[14] -> R1 ctx[acGM] ((,,) a[12] b[13] c[14])Source

rTup3 :: forall a[12] b[13] c[14]. (Rep a[12], Rep b[13], Rep c[14]) => R ((,,) a[12] b[13] c[14])Source

rTup4_1 :: forall ctx[acGp] a[12] b[13] c[14] d[15]. (Rep a[12], Rep b[13], Rep c[14], Rep d[15]) => ctx[acGp] a[12] -> ctx[acGp] b[13] -> ctx[acGp] c[14] -> ctx[acGp] d[15] -> R1 ctx[acGp] ((,,,) a[12] b[13] c[14] d[15])Source

rTup4 :: forall a[12] b[13] c[14] d[15]. (Rep a[12], Rep b[13], Rep c[14], Rep d[15]) => R ((,,,) a[12] b[13] c[14] d[15])Source

rTup5_1 :: forall 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]) => ctx[acFX] a[12] -> ctx[acFX] b[13] -> ctx[acFX] c[14] -> ctx[acFX] d[15] -> ctx[acFX] e[16] -> R1 ctx[acFX] ((,,,,) a[12] b[13] c[14] d[15] e[16])Source

rTup5 :: forall 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]) => R ((,,,,) a[12] b[13] c[14] d[15] e[16])Source

rTup6_1 :: forall 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]) => ctx[acFq] a[12] -> ctx[acFq] b[13] -> ctx[acFq] c[14] -> ctx[acFq] d[15] -> ctx[acFq] e[16] -> ctx[acFq] f[17] -> R1 ctx[acFq] ((,,,,,) a[12] b[13] c[14] d[15] e[16] f[17])Source

rTup6 :: forall 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]) => R ((,,,,,) a[12] b[13] c[14] d[15] e[16] f[17])Source

rTup7_1 :: forall ctx[acEO] a[12] b[13] c[14] d[15] e[16] f[17] g[18]. (Rep a[12], Rep b[13], Rep c[14], Rep d[15], Rep e[16], Rep f[17], Rep g[18]) => ctx[acEO] a[12] -> ctx[acEO] b[13] -> ctx[acEO] c[14] -> ctx[acEO] d[15] -> ctx[acEO] e[16] -> ctx[acEO] f[17] -> ctx[acEO] g[18] -> R1 ctx[acEO] ((,,,,,,) a[12] b[13] c[14] d[15] e[16] f[17] g[18])Source

rTup7 :: forall a[12] b[13] c[14] d[15] e[16] f[17] g[18]. (Rep a[12], Rep b[13], Rep c[14], Rep d[15], Rep e[16], Rep f[17], Rep g[18]) => R ((,,,,,,) a[12] b[13] c[14] d[15] e[16] f[17] g[18])Source