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 #
Instance details Methods rep :: R Bool Source #
Rep Ordering Source #
Instance details Methods rep :: R Ordering Source #
Rep1 ctx Bool Source #
Instance details Methods rep1 :: R1 ctx Bool Source #
Rep1 ctx Ordering Source #
Instance details Methods rep1 :: R1 ctx Ordering Source #
(Rep a, Sat (ctx a)) => Rep1 ctx (Maybe a) Source #
Instance details Methods rep1 :: R1 ctx (Maybe a) Source #
(Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx (Either a b) Source #
Instance details Methods rep1 :: R1 ctx (Either a b) Source #
(Rep a, Rep b, Rep c, Sat (ctx a), Sat (ctx b), Sat (ctx c)) => Rep1 ctx (a, b, c) Source #
Instance details Methods rep1 :: R1 ctx (a, b, c) Source #
(Rep a, Rep b, Rep c, Rep d, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d)) => Rep1 ctx (a, b, c, d) Source #
Instance details Methods rep1 :: R1 ctx (a, b, c, d) Source #
(Rep a, Rep b, Rep c, Rep d, Rep e, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d), Sat (ctx e)) => Rep1 ctx (a, b, c, d, e) Source #
Instance details Methods rep1 :: R1 ctx (a, b, c, d, e) Source #
(Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d), Sat (ctx e), Sat (ctx f)) => Rep1 ctx (a, b, c, d, e, f) Source #
Instance details Methods rep1 :: R1 ctx (a, b, c, d, e, f) Source #
(Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Rep g, Sat (ctx a), Sat (ctx b), Sat (ctx c), Sat (ctx d), Sat (ctx e), Sat (ctx f), Sat (ctx g)) => Rep1 ctx (a, b, c, d, e, f, g) Source #
Instance details Methods rep1 :: R1 ctx (a, b, c, d, e, f, g) Source #
Rep a => Rep (Maybe a) Source #
Instance details Methods rep :: R (Maybe a) Source #
(Rep a, Rep b) => Rep (Either a b) Source #
Instance details Methods rep :: R (Either a b) Source #
(Rep a, Rep b, Rep c) => Rep (a, b, c) Source #
Instance details Methods rep :: R (a, b, c) Source #
(Rep a, Rep b, Rep c, Rep d) => Rep (a, b, c, d) Source #
Instance details Methods rep :: R (a, b, c, d) Source #
(Rep a, Rep b, Rep c, Rep d, Rep e) => Rep (a, b, c, d, e) Source #
Instance details Methods rep :: R (a, b, c, d, e) Source #
(Rep a, Rep b, Rep c, Rep d, Rep e, Rep f) => Rep (a, b, c, d, e, f) Source #
Instance details Methods rep :: R (a, b, c, d, e, f) Source #
(Rep a, Rep b, Rep c, Rep d, Rep e, Rep f, Rep g) => Rep (a, b, c, d, e, f, g) Source #
Instance details Methods rep :: R (a, b, c, d, e, f, g) Source #