Generics.RepLib.PreludeReps

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

Documentation

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

rBool :: R Bool

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

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

rEither1 :: forall ctx[a9NQ] a[a9NH] b[a9NG]. (Rep a[a9NH], Rep b[a9NG]) => ctx[a9NQ] a[a9NH] -> ctx[a9NQ] b[a9NG] -> R1 ctx[a9NQ] (Either a[a9NH] b[a9NG])

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

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

rOrdering :: R Ordering

rTup3_1 :: forall ctx[a9Nh] a[12] b[13] c[14]. (Rep a[12], Rep b[13], Rep c[14]) => ctx[a9Nh] a[12] -> ctx[a9Nh] b[13] -> ctx[a9Nh] c[14] -> R1 ctx[a9Nh] ((,,) 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[a9MU] a[12] b[13] c[14] d[15]. (Rep a[12], Rep b[13], Rep c[14], Rep d[15]) => ctx[a9MU] a[12] -> ctx[a9MU] b[13] -> ctx[a9MU] c[14] -> ctx[a9MU] d[15] -> R1 ctx[a9MU] ((,,,) 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[a9Ms] 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[a9Ms] a[12] -> ctx[a9Ms] b[13] -> ctx[a9Ms] c[14] -> ctx[a9Ms] d[15] -> ctx[a9Ms] e[16] -> R1 ctx[a9Ms] ((,,,,) 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[a9LV] 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[a9LV] a[12] -> ctx[a9LV] b[13] -> ctx[a9LV] c[14] -> ctx[a9LV] d[15] -> ctx[a9LV] e[16] -> ctx[a9LV] f[17] -> R1 ctx[a9LV] ((,,,,,) 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[a9Lj] 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[a9Lj] a[12] -> ctx[a9Lj] b[13] -> ctx[a9Lj] c[14] -> ctx[a9Lj] d[15] -> ctx[a9Lj] e[16] -> ctx[a9Lj] f[17] -> ctx[a9Lj] g[18] -> R1 ctx[a9Lj] ((,,,,,,) 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])