Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sweirich@cis.upenn.edu |
Safe Haskell | None |
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
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
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
rOrdering1 :: forall ctx. () -> () -> () -> R1 ctx OrderingSource