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

Orphan instances

Rep Bool

Methods

rep :: R Bool

Rep Ordering

Methods

rep :: R Ordering

Rep1 ctx0 Ordering

Methods

rep1 :: R1 ctx0 Ordering

Rep1 ctx0 Bool

Methods

rep1 :: R1 ctx0 Bool

(Rep a0, Sat (ctx0 a0)) => Rep1 ctx0 (Maybe a0)

Methods

rep1 :: R1 ctx0 (Maybe a0)

(Rep a0, Rep b0, Sat (ctx0 a0), Sat (ctx0 b0)) => Rep1 ctx0 (Either a0 b0)

Methods

rep1 :: R1 ctx0 (Either a0 b0)

(Rep a0, Rep b0, Rep c0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0)) => Rep1 ctx0 (a0, b0, c0)

Methods

rep1 :: R1 ctx0 (a0, b0, c0)

(Rep a0, Rep b0, Rep c0, Rep d0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0)) => Rep1 ctx0 (a0, b0, c0, d0)

Methods

rep1 :: R1 ctx0 (a0, b0, c0, d0)

(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0), Sat (ctx0 e0)) => Rep1 ctx0 (a0, b0, c0, d0, e0)

Methods

rep1 :: R1 ctx0 (a0, b0, c0, d0, e0)

(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0), Sat (ctx0 e0), Sat (ctx0 f0)) => Rep1 ctx0 (a0, b0, c0, d0, e0, f0)

Methods

rep1 :: R1 ctx0 (a0, b0, c0, d0, e0, f0)

(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Rep g0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0), Sat (ctx0 e0), Sat (ctx0 f0), Sat (ctx0 g0)) => Rep1 ctx0 (a0, b0, c0, d0, e0, f0, g0)

Methods

rep1 :: R1 ctx0 (a0, b0, c0, d0, e0, f0, g0)

Rep a0 => Rep (Maybe a0)

Methods

rep :: R (Maybe a0)

(Rep a0, Rep b0) => Rep (Either a0 b0)

Methods

rep :: R (Either a0 b0)

(Rep a0, Rep b0, Rep c0) => Rep (a0, b0, c0)

Methods

rep :: R (a0, b0, c0)

(Rep a0, Rep b0, Rep c0, Rep d0) => Rep (a0, b0, c0, d0)

Methods

rep :: R (a0, b0, c0, d0)

(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0) => Rep (a0, b0, c0, d0, e0)

Methods

rep :: R (a0, b0, c0, d0, e0)

(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0) => Rep (a0, b0, c0, d0, e0, f0)

Methods

rep :: R (a0, b0, c0, d0, e0, f0)

(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Rep g0) => Rep (a0, b0, c0, d0, e0, f0, g0)

Methods

rep :: R (a0, b0, c0, d0, e0, f0, g0)