License	BSD
Maintainer	sweirich@cis.upenn.edu
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Generics.RepLib.PreludeReps

Contents

Orphan instances

Description

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) Source #

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) Source #

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) Source #

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) Source #

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) Source #

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

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) Source #

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

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

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

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

rOrdering :: R Ordering Source #

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

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

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

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

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

rBool :: R Bool Source #

Orphan instances

Rep Bool Source #
Methods rep :: R Bool Source #
Rep Ordering Source #
Methods rep :: R Ordering Source #
Rep1 ctx0 Ordering Source #
Methods rep1 :: R1 ctx0 Ordering Source #
Rep1 ctx0 Bool Source #
Methods rep1 :: R1 ctx0 Bool Source #
(Rep a0, Sat (ctx0 a0)) => Rep1 ctx0 (Maybe a0) Source #
Methods rep1 :: R1 ctx0 (Maybe a0) Source #
(Rep a0, Rep b0, Sat (ctx0 a0), Sat (ctx0 b0)) => Rep1 ctx0 (Either a0 b0) Source #
Methods rep1 :: R1 ctx0 (Either a0 b0) Source #
(Rep a0, Rep b0, Rep c0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0)) => Rep1 ctx0 (a0, b0, c0) Source #
Methods rep1 :: R1 ctx0 (a0, b0, c0) Source #
(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) Source #
Methods rep1 :: R1 ctx0 (a0, b0, c0, d0) Source #
(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) Source #
Methods rep1 :: R1 ctx0 (a0, b0, c0, d0, e0) Source #
(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) Source #
Methods rep1 :: R1 ctx0 (a0, b0, c0, d0, e0, f0) Source #
(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) Source #
Methods rep1 :: R1 ctx0 (a0, b0, c0, d0, e0, f0, g0) Source #
Rep a0 => Rep (Maybe a0) Source #
Methods rep :: R (Maybe a0) Source #
(Rep a0, Rep b0) => Rep (Either a0 b0) Source #
Methods rep :: R (Either a0 b0) Source #
(Rep a0, Rep b0, Rep c0) => Rep (a0, b0, c0) Source #
Methods rep :: R (a0, b0, c0) Source #
(Rep a0, Rep b0, Rep c0, Rep d0) => Rep (a0, b0, c0, d0) Source #
Methods rep :: R (a0, b0, c0, d0) Source #
(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0) => Rep (a0, b0, c0, d0, e0) Source #
Methods rep :: R (a0, b0, c0, d0, e0) Source #
(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0) => Rep (a0, b0, c0, d0, e0, f0) Source #
Methods rep :: R (a0, b0, c0, d0, e0, f0) Source #
(Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Rep g0) => Rep (a0, b0, c0, d0, e0, f0, g0) Source #
Methods rep :: R (a0, b0, c0, d0, e0, f0, g0) Source #