Generics.RepLib.PreludeReps

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

Documentation

rTup7_1 :: forall ctx a b c d e f g. (Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Rep g) => (ctx a, ctx b, ctx c, ctx d, ctx e, ctx f, ctx g) -> R1 ctx ((,,,,,,) a b c d e f g)

rTup7 :: forall a b c d e f g. (Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Rep g) => R ((,,,,,,) a b c d e f g)

rTup6_1 :: forall ctx a b c d e f. (Rep a, Rep b, Rep c, Rep d, Rep e, Rep f) => (ctx a, ctx b, ctx c, ctx d, ctx e, ctx f) -> R1 ctx ((,,,,,) a b c d e f)

rTup6 :: forall a b c d e f. (Rep a, Rep b, Rep c, Rep d, Rep e, Rep f) => R ((,,,,,) a b c d e f)

rTup5_1 :: forall ctx a b c d e. (Rep a, Rep b, Rep c, Rep d, Rep e) => (ctx a, ctx b, ctx c, ctx d, ctx e) -> R1 ctx ((,,,,) a b c d e)

rTup5 :: forall a b c d e. (Rep a, Rep b, Rep c, Rep d, Rep e) => R ((,,,,) a b c d e)

rTup4_1 :: forall ctx a b c d. (Rep a, Rep b, Rep c, Rep d) => (ctx a, ctx b, ctx c, ctx d) -> R1 ctx ((,,,) a b c d)

rTup4 :: forall a b c d. (Rep a, Rep b, Rep c, Rep d) => R ((,,,) a b c d)

rTup3_1 :: forall ctx a b c. (Rep a, Rep b, Rep c) => (ctx a, ctx b, ctx c) -> R1 ctx ((,,) a b c)

rTup3 :: forall a b c. (Rep a, Rep b, Rep c) => R ((,,) a b c)

rOrdering1 :: forall ctx. () -> () -> () -> R1 ctx Ordering

rOrdering :: R Ordering

rEither1 :: forall ctx a b. (Rep a, Rep b) => ctx a -> ctx b -> R1 ctx (Either a b)

rEither :: forall a b. (Rep a, Rep b) => R (Either a b)

rMaybe1 :: forall ctx a. Rep a => () -> ctx a -> R1 ctx (Maybe a)

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

rBool1 :: forall ctx. () -> () -> R1 ctx Bool

rBool :: R Bool