Generics.RepLib.PreludeReps

Representations for Prelude types, necessary to (automatically) derive representations of user defined types.

Documentation

rBool1 :: forall ctx[aaHE]. R1 ctx[aaHE] Bool

rBool :: R Bool

rMaybe1 :: forall ctx[aaHu] a[a1IU]. Rep a[a1IU] => ctx[aaHu] a[a1IU] -> R1 ctx[aaHu] (Maybe a[a1IU])

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

rEither1 :: forall ctx[aaHf] a[aaH6] b[aaH5]. (Rep a[aaH6], Rep b[aaH5]) => ctx[aaHf] a[aaH6] -> ctx[aaHf] b[aaH5] -> R1 ctx[aaHf] (Either a[aaH6] b[aaH5])

rEither :: forall a[aaH6] b[aaH5]. (Rep a[aaH6], Rep b[aaH5]) => R (Either a[aaH6] b[aaH5])

rOrdering1 :: forall ctx[aaGY]. R1 ctx[aaGY] Ordering

rOrdering :: R Ordering

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

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

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

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])

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

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])

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

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])

rTup7_1 :: forall ctx[aaEI] 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[aaEI] a[12] -> ctx[aaEI] b[13] -> ctx[aaEI] c[14] -> ctx[aaEI] d[15] -> ctx[aaEI] e[16] -> ctx[aaEI] f[17] -> ctx[aaEI] g[18] -> R1 ctx[aaEI] ((,,,,,,) a[12] b[13] c[14] d[15] e[16] f[17] g[18])

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])