strict-tuple 0.1.2 → 0.1.3
raw patch · 4 files changed
+830/−98 lines, 4 filesdep +bifunctorsdep ~basedep ~deepseqdep ~hashable
Dependencies added: bifunctors
Dependency ranges changed: base, deepseq, hashable
Files
- .travis.yml +132/−73
- CHANGELOG.md +5/−0
- src/Data/Tuple/Strict.hs +687/−20
- strict-tuple.cabal +6/−5
.travis.yml view
@@ -1,104 +1,163 @@ # This Travis job script has been generated by a script via #-# runghc make_travis_yml_2.hs 'strict-tuple.cabal'+# haskell-ci '--ghc-head' 'travis' 'strict-tuple.cabal' # # For more information, see https://github.com/haskell-CI/haskell-ci #+# version: 0.5.20190916+# language: c-sudo: false-+dist: xenial git:- submodules: false # whether to recursively clone submodules-+ # whether to recursively clone submodules+ submodules: false cache: directories: - $HOME/.cabal/packages - $HOME/.cabal/store- before_cache:- - rm -fv $HOME/.cabal/packages/hackage.haskell.org/build-reports.log+ - rm -fv $CABALHOME/packages/hackage.haskell.org/build-reports.log # remove files that are regenerated by 'cabal update'- - rm -fv $HOME/.cabal/packages/hackage.haskell.org/00-index.*- - rm -fv $HOME/.cabal/packages/hackage.haskell.org/*.json- - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.cache- - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar- - rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar.idx-- - rm -rfv $HOME/.cabal/packages/head.hackage-+ - rm -fv $CABALHOME/packages/hackage.haskell.org/00-index.*+ - rm -fv $CABALHOME/packages/hackage.haskell.org/*.json+ - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.cache+ - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar+ - rm -fv $CABALHOME/packages/hackage.haskell.org/01-index.tar.idx+ - rm -rfv $CABALHOME/packages/head.hackage matrix: include:- - compiler: "ghc-8.6.2"- # env: TEST=--disable-tests BENCH=--disable-benchmarks- addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-8.6.2], sources: [hvr-ghc]}}- - compiler: "ghc-8.4.4"- # env: TEST=--disable-tests BENCH=--disable-benchmarks- addons: {apt: {packages: [ghc-ppa-tools,cabal-install-2.4,ghc-8.4.4], sources: [hvr-ghc]}}-+ - compiler: ghc-8.8.1+ addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.8.1","cabal-install-3.0"]}}+ - compiler: ghc-8.6.5+ addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.6.5","cabal-install-3.0"]}}+ - compiler: ghc-8.4.4+ addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-8.4.4","cabal-install-3.0"]}}+ - compiler: ghc-head+ addons: {"apt":{"sources":["hvr-ghc"],"packages":["ghc-head","cabal-install-head"]}}+ allow_failures:+ - compiler: ghc-head before_install:- - HC=${CC}- - HCPKG=${HC/ghc/ghc-pkg}+ - HC=$(echo "/opt/$CC/bin/ghc" | sed 's/-/\//')+ - WITHCOMPILER="-w $HC"+ - HADDOCK=$(echo "/opt/$CC/bin/haddock" | sed 's/-/\//')+ - HCPKG="$HC-pkg" - unset CC- - ROOTDIR=$(pwd)- - mkdir -p $HOME/.local/bin- - "PATH=/opt/ghc/bin:/opt/ghc-ppa-tools/bin:$HOME/local/bin:$PATH"- - HCNUMVER=$(( $(${HC} --numeric-version|sed -E 's/([0-9]+)\.([0-9]+)\.([0-9]+).*/\1 * 10000 + \2 * 100 + \3/') ))+ - CABAL=/opt/ghc/bin/cabal+ - CABALHOME=$HOME/.cabal+ - export PATH="$CABALHOME/bin:$PATH"+ - TOP=$(pwd)+ - "HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\\d+)\\.(\\d+)\\.(\\d+)(\\.(\\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')" - echo $HCNUMVER-+ - CABAL="$CABAL -vnormal+nowrap+markoutput"+ - set -o pipefail+ - |+ echo 'function blue(s) { printf "\033[0;34m" s "\033[0m " }' >> .colorful.awk+ echo 'BEGIN { state = "output"; }' >> .colorful.awk+ echo '/^-----BEGIN CABAL OUTPUT-----$/ { state = "cabal" }' >> .colorful.awk+ echo '/^-----END CABAL OUTPUT-----$/ { state = "output" }' >> .colorful.awk+ echo '!/^(-----BEGIN CABAL OUTPUT-----|-----END CABAL OUTPUT-----)/ {' >> .colorful.awk+ echo ' if (state == "cabal") {' >> .colorful.awk+ echo ' print blue($0)' >> .colorful.awk+ echo ' } else {' >> .colorful.awk+ echo ' print $0' >> .colorful.awk+ echo ' }' >> .colorful.awk+ echo '}' >> .colorful.awk+ - cat .colorful.awk+ - |+ color_cabal_output () {+ awk -f $TOP/.colorful.awk+ }+ - echo text | color_cabal_output install:- - cabal --version+ - ${CABAL} --version - echo "$(${HC} --version) [$(${HC} --print-project-git-commit-id 2> /dev/null || echo '?')]"- - BENCH=${BENCH---enable-benchmarks}- - TEST=${TEST---enable-tests}- - HADDOCK=${HADDOCK-true}- - UNCONSTRAINED=${UNCONSTRAINED-true}- - NOINSTALLEDCONSTRAINTS=${NOINSTALLEDCONSTRAINTS-false}- - GHCHEAD=${GHCHEAD-false}- - travis_retry cabal update -v- - "sed -i.bak 's/^jobs:/-- jobs:/' ${HOME}/.cabal/config"- - rm -fv cabal.project cabal.project.local- - grep -Ev -- '^\s*--' ${HOME}/.cabal/config | grep -Ev '^\s*$'- - "printf 'packages: \".\"\\n' > cabal.project"- - touch cabal.project.local- - "if ! $NOINSTALLEDCONSTRAINTS; then for pkg in $($HCPKG list --simple-output); do echo $pkg | grep -vw -- strict-tuple | sed 's/^/constraints: /' | sed 's/-[^-]*$/ installed/' >> cabal.project.local; done; fi"+ - TEST=--enable-tests+ - BENCH=--enable-benchmarks+ - HEADHACKAGE=false+ - if [ $HCNUMVER -gt 80801 ] ; then HEADHACKAGE=true ; fi+ - rm -f $CABALHOME/config+ - |+ echo "verbose: normal +nowrap +markoutput" >> $CABALHOME/config+ echo "remote-build-reporting: anonymous" >> $CABALHOME/config+ echo "write-ghc-environment-files: always" >> $CABALHOME/config+ echo "remote-repo-cache: $CABALHOME/packages" >> $CABALHOME/config+ echo "logs-dir: $CABALHOME/logs" >> $CABALHOME/config+ echo "world-file: $CABALHOME/world" >> $CABALHOME/config+ echo "extra-prog-path: $CABALHOME/bin" >> $CABALHOME/config+ echo "symlink-bindir: $CABALHOME/bin" >> $CABALHOME/config+ echo "installdir: $CABALHOME/bin" >> $CABALHOME/config+ echo "build-summary: $CABALHOME/logs/build.log" >> $CABALHOME/config+ echo "store-dir: $CABALHOME/store" >> $CABALHOME/config+ echo "install-dirs user" >> $CABALHOME/config+ echo " prefix: $CABALHOME" >> $CABALHOME/config+ echo "repository hackage.haskell.org" >> $CABALHOME/config+ echo " url: http://hackage.haskell.org/" >> $CABALHOME/config+ - |+ if $HEADHACKAGE; then+ echo "allow-newer: $($HCPKG list --simple-output | sed -E 's/([a-zA-Z-]+)-[0-9.]+/*:\1/g')" >> $CABALHOME/config+ echo "repository head.hackage.ghc.haskell.org" >> $CABALHOME/config+ echo " url: https://ghc.gitlab.haskell.org/head.hackage/" >> $CABALHOME/config+ echo " secure: True" >> $CABALHOME/config+ echo " root-keys: 7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d" >> $CABALHOME/config+ echo " 26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329" >> $CABALHOME/config+ echo " f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89" >> $CABALHOME/config+ echo " key-threshold: 3" >> $CABALHOME/config+ fi+ - |+ echo "program-default-options" >> $CABALHOME/config+ echo " ghc-options: $GHCJOBS +RTS -M6G -RTS" >> $CABALHOME/config+ - cat $CABALHOME/config+ - rm -fv cabal.project cabal.project.local cabal.project.freeze+ - travis_retry ${CABAL} v2-update -v+ # Generate cabal.project+ - rm -rf cabal.project cabal.project.local cabal.project.freeze+ - touch cabal.project+ - |+ echo "packages: ." >> cabal.project+ - |+ - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(strict-tuple)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done" - cat cabal.project || true - cat cabal.project.local || true- - if [ -f "./configure.ac" ]; then- (cd "." && autoreconf -i);- fi- - rm -f cabal.project.freeze- - cabal new-build -w ${HC} ${TEST} ${BENCH} --project-file="cabal.project" --dep -j2 all- - cabal new-build -w ${HC} --disable-tests --disable-benchmarks --project-file="cabal.project" --dep -j2 all- - rm -rf .ghc.environment.* "."/dist- - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)--# Here starts the actual work to be performed for the package under test;-# any command which exits with a non-zero exit code causes the build to fail.+ - if [ -f "./configure.ac" ]; then (cd "." && autoreconf -i); fi+ - ${CABAL} v2-freeze $WITHCOMPILER ${TEST} ${BENCH} | color_cabal_output+ - "cat cabal.project.freeze | sed -E 's/^(constraints: *| *)//' | sed 's/any.//'"+ - rm cabal.project.freeze+ - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} --dep -j2 all | color_cabal_output+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks --dep -j2 all | color_cabal_output script:- # test that source-distributions can be generated- - cabal new-sdist all+ - DISTDIR=$(mktemp -d /tmp/dist-test.XXXX)+ # Packaging...+ - ${CABAL} v2-sdist all | color_cabal_output+ # Unpacking... - mv dist-newstyle/sdist/*.tar.gz ${DISTDIR}/ - cd ${DISTDIR} || false- - find . -maxdepth 1 -name '*.tar.gz' -exec tar -xvf '{}' \;- - "printf 'packages: strict-tuple-*/*.cabal\\n' > cabal.project"- - touch cabal.project.local- - "if ! $NOINSTALLEDCONSTRAINTS; then for pkg in $($HCPKG list --simple-output); do echo $pkg | grep -vw -- strict-tuple | sed 's/^/constraints: /' | sed 's/-[^-]*$/ installed/' >> cabal.project.local; done; fi"+ - find . -maxdepth 1 -type f -name '*.tar.gz' -exec tar -xvf '{}' \;+ - find . -maxdepth 1 -type f -name '*.tar.gz' -exec rm '{}' \;+ - PKGDIR_strict_tuple="$(find . -maxdepth 1 -type d -regex '.*/strict-tuple-[0-9.]*')"+ # Generate cabal.project+ - rm -rf cabal.project cabal.project.local cabal.project.freeze+ - touch cabal.project+ - |+ echo "packages: ${PKGDIR_strict_tuple}" >> cabal.project+ - |+ - "for pkg in $($HCPKG list --simple-output); do echo $pkg | sed 's/-[^-]*$//' | (grep -vE -- '^(strict-tuple)$' || true) | sed 's/^/constraints: /' | sed 's/$/ installed/' >> cabal.project.local; done" - cat cabal.project || true - cat cabal.project.local || true+ # Building... # this builds all libraries and executables (without tests/benchmarks)- - cabal new-build -w ${HC} --disable-tests --disable-benchmarks all-+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all | color_cabal_output+ # Building with tests and benchmarks... # build & run tests, build benchmarks- - cabal new-build -w ${HC} ${TEST} ${BENCH} all-- # cabal check- - (cd strict-tuple-* && cabal check)-- # haddock- - if $HADDOCK; then cabal new-haddock -w ${HC} ${TEST} ${BENCH} all; else echo "Skipping haddock generation";fi-- # Build without installed constraints for packages in global-db- - if $UNCONSTRAINED; then rm -f cabal.project.local; echo cabal new-build -w ${HC} --disable-tests --disable-benchmarks all; else echo "Not building without installed constraints"; fi+ - ${CABAL} v2-build $WITHCOMPILER ${TEST} ${BENCH} all | color_cabal_output+ # Testing...+ - ${CABAL} v2-test $WITHCOMPILER ${TEST} ${BENCH} all | color_cabal_output+ # cabal check...+ - (cd ${PKGDIR_strict_tuple} && ${CABAL} -vnormal check)+ # haddock...+ - ${CABAL} v2-haddock $WITHCOMPILER --with-haddock $HADDOCK ${TEST} ${BENCH} all | color_cabal_output+ # Building without installed constraints for packages in global-db...+ - rm -f cabal.project.local+ - ${CABAL} v2-build $WITHCOMPILER --disable-tests --disable-benchmarks all | color_cabal_output -# REGENDATA ["strict-tuple.cabal"]+# REGENDATA ["--ghc-head","travis","strict-tuple.cabal"] # EOF
CHANGELOG.md view
@@ -5,6 +5,11 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/) and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). +## [0.1.3] - 2019-10-20+### Added+- `Applicative`, `Biapplicative`, `Bifoldable`, `Bifunctor`, `Bitraversable`, `Foldable`, `Functor`, `Monad`, and `Traversable` instances+- `sfst`, `ssnd`, `scurry`, `suncurry`, `sswap`+ ## [0.1.2] - 2019-01-04 ### Added - `Hashable`, `Hashable1`, `Hashable2`, and `NFData` instances
src/Data/Tuple/Strict.hs view
@@ -1,24 +1,75 @@-{-# LANGUAGE DeriveGeneric, GeneralizedNewtypeDeriving, StrictData #-}+{-# LANGUAGE DeriveAnyClass #-}+{-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE DeriveFoldable #-}+{-# LANGUAGE DeriveFunctor #-}+{-# LANGUAGE DeriveTraversable #-}+{-# LANGUAGE DerivingStrategies #-}+{-# LANGUAGE GeneralizedNewtypeDeriving #-}+{-# LANGUAGE StandaloneDeriving #-}+{-# LANGUAGE StrictData #-} -- | Strict tuples. module Data.Tuple.Strict where + import Control.DeepSeq (NFData, rnf, rwhnf)++import Data.Biapplicative+import Data.Bifoldable+import Data.Bitraversable import Data.Hashable (Hashable, hash, hashWithSalt) import Data.Hashable.Lifted (Hashable1, Hashable2, defaultLiftHashWithSalt, hashWithSalt1, liftHashWithSalt, liftHashWithSalt2) import Data.Semigroup+ import GHC.Generics (Generic) + newtype T1 a = T1 a- deriving (Bounded, Eq, Generic, Hashable, Monoid, NFData, Ord, Read, Semigroup, Show)+ deriving stock (Bounded, Eq, Generic, Ord, Read, Show)+ deriving newtype (Hashable, Monoid, NFData, Semigroup) +-- | @since 0.1.3+deriving stock instance Foldable T1+-- | @since 0.1.3+deriving stock instance Functor T1+-- | @since 0.1.3+deriving stock instance Traversable T1++-- | @since 0.1.3+instance Applicative T1 where+ pure = T1+ T1 f <*> T1 a = T1 (f a)++-- | @since 0.1.3+instance Monad T1 where+ return = pure+ T1 a >>= f = f a+ data T2 a b = T2 a b- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T2 a)+-- | @since 0.1.3+deriving stock instance Functor (T2 a)+-- | @since 0.1.3+deriving stock instance Traversable (T2 a)++-- | @since 0.1.3+instance Monoid a => Applicative (T2 a) where+ pure b = T2 mempty b+ T2 a f <*> T2 a' b = T2 (a <> a') (f b)++-- | @since 0.1.3+instance Monoid a => Monad (T2 a) where+ return = pure+ T2 a b >>= f = case f b of+ T2 a' b' -> T2 (a <> a') b'+ instance (Hashable a, Hashable b) => Hashable (T2 a b) where hash (T2 a b) = hash a `hashWithSalt` b hashWithSalt = hashWithSalt1@@ -39,10 +90,75 @@ T2 a1 b1 <> T2 a2 b2 = T2 (a1 <> a2) (b1 <> b2) stimes ii (T2 a b) = T2 (stimes ii a) (stimes ii b) +-- | @since 0.1.3+instance Bifunctor T2 where+ bimap f g (T2 a b) = T2 (f a) (g b)++-- | @since 0.1.3+instance Biapplicative T2 where+ bipure = T2+ T2 f g <<*>> T2 a b = T2 (f a) (g b)++-- | @since 0.1.3+instance Bifoldable T2 where+ bifoldMap f g (T2 a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable T2 where+ bitraverse f g (T2 a b) = T2 <$> f a <*> g b++-- | A strict, 'T2'-based analog to 'fst'+--+-- @since 0.1.3+sfst :: T2 a b -> a+sfst (T2 a _) = a++-- | A strict, 'T2'-based analog to 'snd'+--+-- @since 0.1.3+ssnd :: T2 a b -> b+ssnd (T2 _ b) = b++-- | A strict, 'T2'-based analog to 'curry'+--+-- @since 0.1.3+scurry :: (T2 a b -> c) -> a -> b -> c+scurry f a b = f (T2 a b)++-- | A strict, 'T2'-based analog to 'uncurry'+--+-- @since 0.1.3+suncurry :: (a -> b -> c) -> T2 a b -> c+suncurry f (T2 a b) = f a b++-- | A strict, 'T2'-based analog to 'swap'+--+-- @since 0.1.3+sswap :: T2 a b -> T2 b a+sswap (T2 a b) = T2 b a+ data T3 a b c = T3 a b c- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T3 a b)+-- | @since 0.1.3+deriving stock instance Functor (T3 a b)+-- | @since 0.1.3+deriving stock instance Traversable (T3 a b)++-- | @since 0.1.3+instance (Monoid a, Monoid b) => Applicative (T3 a b) where+ pure c = T3 mempty mempty c+ T3 a b f <*> T3 a' b' c = T3 (a <> a') (b <> b') (f c)++-- | @since 0.1.3+instance (Monoid a, Monoid b) => Monad (T3 a b) where+ return = pure+ T3 a b c >>= f = case f c of+ T3 a' b' c' -> T3 (a <> a') (b <> b') c'+ instance (Hashable a, Hashable b, Hashable c) => Hashable (T3 a b c) where hash (T3 a b c) = hash a `hashWithSalt` b `hashWithSalt` c hashWithSalt = hashWithSalt1@@ -64,10 +180,40 @@ T3 a1 b1 c1 <> T3 a2 b2 c2 = T3 (a1 <> a2) (b1 <> b2) (c1 <> c2) stimes ii (T3 a b c) = T3 (stimes ii a) (stimes ii b) (stimes ii c) +-- | @since 0.1.3+instance Bifunctor (T3 x) where+ bimap f g (T3 x a b) = T3 x (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T3 x) where+ bifoldMap f g (T3 _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T3 x) where+ bitraverse f g (T3 x a b) = T3 x <$> f a <*> g b+ data T4 a b c d = T4 a b c d- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T4 a b c)+-- | @since 0.1.3+deriving stock instance Functor (T4 a b c)+-- | @since 0.1.3+deriving stock instance Traversable (T4 a b c)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c) => Applicative (T4 a b c) where+ pure d = T4 mempty mempty mempty d+ T4 a b c f <*> T4 a' b' c' d = T4 (a <> a') (b <> b') (c <> c') (f d)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c) => Monad (T4 a b c) where+ return = pure+ T4 a b c d >>= f = case f d of+ T4 a' b' c' d' -> T4 (a <> a') (b <> b') (c <> c') d'+ instance (Hashable a, Hashable b, Hashable c, Hashable d) => Hashable (T4 a b c d) where hash (T4 a b c d) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d hashWithSalt = hashWithSalt1@@ -89,10 +235,40 @@ T4 a1 b1 c1 d1 <> T4 a2 b2 c2 d2 = T4 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) stimes ii (T4 a b c d) = T4 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) +-- | @since 0.1.3+instance Bifunctor (T4 x y) where+ bimap f g (T4 x y a b) = T4 x y (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T4 x y) where+ bifoldMap f g (T4 _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T4 x y) where+ bitraverse f g (T4 x y a b) = T4 x y <$> f a <*> g b+ data T5 a b c d e = T5 a b c d e- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T5 a b c d)+-- | @since 0.1.3+deriving stock instance Functor (T5 a b c d)+-- | @since 0.1.3+deriving stock instance Traversable (T5 a b c d)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d) => Applicative (T5 a b c d) where+ pure e = T5 mempty mempty mempty mempty e+ T5 a b c d f <*> T5 a' b' c' d' e = T5 (a <> a') (b <> b') (c <> c') (d <> d') (f e)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d) => Monad (T5 a b c d) where+ return = pure+ T5 a b c d e >>= f = case f e of+ T5 a' b' c' d' e' -> T5 (a <> a') (b <> b') (c <> c') (d <> d') e'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e) => Hashable (T5 a b c d e) where hash (T5 a b c d e) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e hashWithSalt = hashWithSalt1@@ -114,10 +290,41 @@ T5 a1 b1 c1 d1 e1 <> T5 a2 b2 c2 d2 e2 = T5 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) stimes ii (T5 a b c d e) = T5 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) +-- | @since 0.1.3+instance Bifunctor (T5 x y z) where+ bimap f g (T5 x y z a b) = T5 x y z (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T5 x y z) where+ bifoldMap f g (T5 _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T5 x y z) where+ bitraverse f g (T5 x y z a b) = T5 x y z <$> f a <*> g b+ data T6 a b c d e f = T6 a b c d e f- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T6 a b c d e)+-- | @since 0.1.3+deriving stock instance Functor (T6 a b c d e)+-- | @since 0.1.3+deriving stock instance Traversable (T6 a b c d e)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Applicative (T6 a b c d e) where+ pure f = T6 mempty mempty mempty mempty mempty f+ T6 a b c d e f <*> T6 a' b' c' d' e' f' =+ T6 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f f')++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e) => Monad (T6 a b c d e) where+ return = pure+ T6 a b c d e f >>= g = case g f of+ T6 a' b' c' d' e' f' -> T6 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') f'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f) => Hashable (T6 a b c d e f) where hash (T6 a b c d e f) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f hashWithSalt = hashWithSalt1@@ -139,10 +346,41 @@ T6 a1 b1 c1 d1 e1 f1 <> T6 a2 b2 c2 d2 e2 f2 = T6 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) stimes ii (T6 a b c d e f) = T6 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) +-- | @since 0.1.3+instance Bifunctor (T6 x y z w) where+ bimap f g (T6 x y z w a b) = T6 x y z w (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T6 x y z w) where+ bifoldMap f g (T6 _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T6 x y z w) where+ bitraverse f g (T6 x y z w a b) = T6 x y z w <$> f a <*> g b+ data T7 a b c d e f g = T7 a b c d e f g- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T7 a b c d e f)+-- | @since 0.1.3+deriving stock instance Functor (T7 a b c d e f)+-- | @since 0.1.3+deriving stock instance Traversable (T7 a b c d e f)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => Applicative (T7 a b c d e f) where+ pure g = T7 mempty mempty mempty mempty mempty mempty g+ T7 a b c d e f g <*> T7 a' b' c' d' e' f' g' =+ T7 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g g')++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f) => Monad (T7 a b c d e f) where+ return = pure+ T7 a b c d e f g >>= h = case h g of+ T7 a' b' c' d' e' f' g' -> T7 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') g'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g) => Hashable (T7 a b c d e f g) where hash (T7 a b c d e f g) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g hashWithSalt = hashWithSalt1@@ -164,10 +402,43 @@ T7 a1 b1 c1 d1 e1 f1 g1 <> T7 a2 b2 c2 d2 e2 f2 g2 = T7 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) stimes ii (T7 a b c d e f g) = T7 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) +-- | @since 0.1.3+instance Bifunctor (T7 x y z w t) where+ bimap f g (T7 x y z w t a b) = T7 x y z w t (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T7 x y z w t) where+ bifoldMap f g (T7 _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T7 x y z w t) where+ bitraverse f g (T7 x y z w t a b) = T7 x y z w t <$> f a <*> g b++ data T8 a b c d e f g h = T8 a b c d e f g h- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T8 a b c d e f g)+-- | @since 0.1.3+deriving stock instance Functor (T8 a b c d e f g)+-- | @since 0.1.3+deriving stock instance Traversable (T8 a b c d e f g)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) => Applicative (T8 a b c d e f g) where+ pure h = T8 mempty mempty mempty mempty mempty mempty mempty h+ T8 a b c d e f g h <*> T8 a' b' c' d' e' f' g' h' =+ T8 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h h')++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g) => Monad (T8 a b c d e f g) where+ return = pure+ T8 a b c d e f g h >>= i = case i h of+ T8 a' b' c' d' e' f' g' h' ->+ T8 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') h'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h) => Hashable (T8 a b c d e f g h) where hash (T8 a b c d e f g h) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h hashWithSalt = hashWithSalt1@@ -189,10 +460,42 @@ T8 a1 b1 c1 d1 e1 f1 g1 h1 <> T8 a2 b2 c2 d2 e2 f2 g2 h2 = T8 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) stimes ii (T8 a b c d e f g h) = T8 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) +-- | @since 0.1.3+instance Bifunctor (T8 x y z w t u) where+ bimap f g (T8 x y z w t u a b) = T8 x y z w t u (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T8 x y z w t u) where+ bifoldMap f g (T8 _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T8 x y z w t u) where+ bitraverse f g (T8 x y z w t u a b) = T8 x y z w t u <$> f a <*> g b+ data T9 a b c d e f g h i = T9 a b c d e f g h i- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T9 a b c d e f g h)+-- | @since 0.1.3+deriving stock instance Functor (T9 a b c d e f g h)+-- | @since 0.1.3+deriving stock instance Traversable (T9 a b c d e f g h)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h) => Applicative (T9 a b c d e f g h) where+ pure i = T9 mempty mempty mempty mempty mempty mempty mempty mempty i+ T9 a b c d e f g h i <*> T9 a' b' c' d' e' f' g' h' i' =+ T9 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i i')++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h) => Monad (T9 a b c d e f g h) where+ return = pure+ T9 a b c d e f g h i >>= j = case j i of+ T9 a' b' c' d' e' f' g' h' i' ->+ T9 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') i'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i) => Hashable (T9 a b c d e f g h i) where hash (T9 a b c d e f g h i) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i hashWithSalt = hashWithSalt1@@ -214,10 +517,42 @@ T9 a1 b1 c1 d1 e1 f1 g1 h1 i1 <> T9 a2 b2 c2 d2 e2 f2 g2 h2 i2 = T9 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) stimes ii (T9 a b c d e f g h i) = T9 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) +-- | @since 0.1.3+instance Bifunctor (T9 x y z w t u v) where+ bimap f g (T9 x y z w t u v a b) = T9 x y z w t u v (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T9 x y z w t u v) where+ bifoldMap f g (T9 _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T9 x y z w t u v) where+ bitraverse f g (T9 x y z w t u v a b) = T9 x y z w t u v <$> f a <*> g b+ data T10 a b c d e f g h i j = T10 a b c d e f g h i j- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T10 a b c d e f g h i)+-- | @since 0.1.3+deriving stock instance Functor (T10 a b c d e f g h i)+-- | @since 0.1.3+deriving stock instance Traversable (T10 a b c d e f g h i)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i) => Applicative (T10 a b c d e f g h i) where+ pure j = T10 mempty mempty mempty mempty mempty mempty mempty mempty mempty j+ T10 a b c d e f g h i j <*> T10 a' b' c' d' e' f' g' h' i' j' =+ T10 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j j')++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i) => Monad (T10 a b c d e f g h i) where+ return = pure+ T10 a b c d e f g h i j >>= k = case k j of+ T10 a' b' c' d' e' f' g' h' i' j' ->+ T10 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') j'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j) => Hashable (T10 a b c d e f g h i j) where hash (T10 a b c d e f g h i j) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j hashWithSalt = hashWithSalt1@@ -239,10 +574,42 @@ T10 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 <> T10 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 = T10 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) stimes ii (T10 a b c d e f g h i j) = T10 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) +-- | @since 0.1.3+instance Bifunctor (T10 x y z w t u v p) where+ bimap f g (T10 x y z w t u v p a b) = T10 x y z w t u v p (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T10 x y z w t u v p) where+ bifoldMap f g (T10 _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T10 x y z w t u v p) where+ bitraverse f g (T10 x y z w t u v p a b) = T10 x y z w t u v p <$> f a <*> g b+ data T11 a b c d e f g h i j k = T11 a b c d e f g h i j k- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T11 a b c d e f g h i j)+-- | @since 0.1.3+deriving stock instance Functor (T11 a b c d e f g h i j)+-- | @since 0.1.3+deriving stock instance Traversable (T11 a b c d e f g h i j)++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j) => Applicative (T11 a b c d e f g h i j) where+ pure k = T11 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty k+ T11 a b c d e f g h i j k <*> T11 a' b' c' d' e' f' g' h' i' j' k' =+ T11 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k k')++-- | @since 0.1.3+instance (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j) => Monad (T11 a b c d e f g h i j) where+ return = pure+ T11 a b c d e f g h i j k >>= l = case l k of+ T11 a' b' c' d' e' f' g' h' i' j' k' ->+ T11 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') k'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k) => Hashable (T11 a b c d e f g h i j k) where hash (T11 a b c d e f g h i j k) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k hashWithSalt = hashWithSalt1@@ -264,10 +631,46 @@ T11 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 <> T11 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 = T11 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) stimes ii (T11 a b c d e f g h i j k) = T11 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) +-- | @since 0.1.3+instance Bifunctor (T11 x y z w t u v p q) where+ bimap f g (T11 x y z w t u v p q a b) = T11 x y z w t u v p q (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T11 x y z w t u v p q) where+ bifoldMap f g (T11 _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T11 x y z w t u v p q) where+ bitraverse f g (T11 x y z w t u v p q a b) = T11 x y z w t u v p q <$> f a <*> g b+ data T12 a b c d e f g h i j k l = T12 a b c d e f g h i j k l- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T12 a b c d e f g h i j k)+-- | @since 0.1.3+deriving stock instance Functor (T12 a b c d e f g h i j k)+-- | @since 0.1.3+deriving stock instance Traversable (T12 a b c d e f g h i j k)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k)+ => Applicative (T12 a b c d e f g h i j k) where+ pure l = T12 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty l+ T12 a b c d e f g h i j k l <*> T12 a' b' c' d' e' f' g' h' i' j' k' l' =+ T12 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l l')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k)+ => Monad (T12 a b c d e f g h i j k) where+ return = pure+ T12 a b c d e f g h i j k l >>= m = case m l of+ T12 a' b' c' d' e' f' g' h' i' j' k' l' ->+ T12 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') l'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l) => Hashable (T12 a b c d e f g h i j k l) where hash (T12 a b c d e f g h i j k l) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l hashWithSalt = hashWithSalt1@@ -289,10 +692,46 @@ T12 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 <> T12 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 = T12 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) stimes ii (T12 a b c d e f g h i j k l) = T12 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) +-- | @since 0.1.3+instance Bifunctor (T12 x y z w t u v p q r) where+ bimap f g (T12 x y z w t u v p q r a b) = T12 x y z w t u v p q r (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T12 x y z w t u v p q r) where+ bifoldMap f g (T12 _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T12 x y z w t u v p q r) where+ bitraverse f g (T12 x y z w t u v p q r a b) = T12 x y z w t u v p q r <$> f a <*> g b+ data T13 a b c d e f g h i j k l m = T13 a b c d e f g h i j k l m- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T13 a b c d e f g h i j k l)+-- | @since 0.1.3+deriving stock instance Functor (T13 a b c d e f g h i j k l)+-- | @since 0.1.3+deriving stock instance Traversable (T13 a b c d e f g h i j k l)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l)+ => Applicative (T13 a b c d e f g h i j k l) where+ pure m = T13 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty m+ T13 a b c d e f g h i j k l m <*> T13 a' b' c' d' e' f' g' h' i' j' k' l' m' =+ T13 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m m')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l)+ => Monad (T13 a b c d e f g h i j k l) where+ return = pure+ T13 a b c d e f g h i j k l m >>= n = case n m of+ T13 a' b' c' d' e' f' g' h' i' j' k' l' m' ->+ T13 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') m'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m) => Hashable (T13 a b c d e f g h i j k l m) where hash (T13 a b c d e f g h i j k l m) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m hashWithSalt = hashWithSalt1@@ -314,10 +753,46 @@ T13 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 <> T13 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 = T13 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) stimes ii (T13 a b c d e f g h i j k l m) = T13 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) +-- | @since 0.1.3+instance Bifunctor (T13 x y z w t u v p q r s) where+ bimap f g (T13 x y z w t u v p q r s a b) = T13 x y z w t u v p q r s (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T13 x y z w t u v p q r s) where+ bifoldMap f g (T13 _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T13 x y z w t u v p q r s) where+ bitraverse f g (T13 x y z w t u v p q r s a b) = T13 x y z w t u v p q r s <$> f a <*> g b+ data T14 a b c d e f g h i j k l m n = T14 a b c d e f g h i j k l m n- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T14 a b c d e f g h i j k l m)+-- | @since 0.1.3+deriving stock instance Functor (T14 a b c d e f g h i j k l m)+-- | @since 0.1.3+deriving stock instance Traversable (T14 a b c d e f g h i j k l m)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m)+ => Applicative (T14 a b c d e f g h i j k l m) where+ pure n = T14 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty n+ T14 a b c d e f g h i j k l m n <*> T14 a' b' c' d' e' f' g' h' i' j' k' l' m' n' =+ T14 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n n')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m)+ => Monad (T14 a b c d e f g h i j k l m) where+ return = pure+ T14 a b c d e f g h i j k l m n >>= o = case o n of+ T14 a' b' c' d' e' f' g' h' i' j' k' l' m' n' ->+ T14 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') n'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n) => Hashable (T14 a b c d e f g h i j k l m n) where hash (T14 a b c d e f g h i j k l m n) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m `hashWithSalt` n hashWithSalt = hashWithSalt1@@ -339,10 +814,46 @@ T14 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 <> T14 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 n2 = T14 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) (n1 <> n2) stimes ii (T14 a b c d e f g h i j k l m n) = T14 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) (stimes ii n) +-- | @since 0.1.3+instance Bifunctor (T14 x y z w t u v p q r s i) where+ bimap f g (T14 x y z w t u v p q r s i a b) = T14 x y z w t u v p q r s i (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T14 x y z w t u v p q r s i) where+ bifoldMap f g (T14 _ _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T14 x y z w t u v p q r s i) where+ bitraverse f g (T14 x y z w t u v p q r s i a b) = T14 x y z w t u v p q r s i <$> f a <*> g b+ data T15 a b c d e f g h i j k l m n o = T15 a b c d e f g h i j k l m n o- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T15 a b c d e f g h i j k l m n)+-- | @since 0.1.3+deriving stock instance Functor (T15 a b c d e f g h i j k l m n)+-- | @since 0.1.3+deriving stock instance Traversable (T15 a b c d e f g h i j k l m n)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n)+ => Applicative (T15 a b c d e f g h i j k l m n) where+ pure o = T15 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty o+ T15 a b c d e f g h i j k l m n o <*> T15 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' =+ T15 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o o')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n)+ => Monad (T15 a b c d e f g h i j k l m n) where+ return = pure+ T15 a b c d e f g h i j k l m n o >>= p = case p o of+ T15 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' ->+ T15 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') o'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o) => Hashable (T15 a b c d e f g h i j k l m n o) where hash (T15 a b c d e f g h i j k l m n o) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m `hashWithSalt` n `hashWithSalt` o hashWithSalt = hashWithSalt1@@ -364,10 +875,46 @@ T15 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 <> T15 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 n2 o2 = T15 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) (n1 <> n2) (o1 <> o2) stimes ii (T15 a b c d e f g h i j k l m n o) = T15 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) (stimes ii n) (stimes ii o) +-- | @since 0.1.3+instance Bifunctor (T15 x y z w t u v p q r s i j) where+ bimap f g (T15 x y z w t u v p q r s i j a b) = T15 x y z w t u v p q r s i j (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T15 x y z w t u v p q r s i j) where+ bifoldMap f g (T15 _ _ _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T15 x y z w t u v p q r s i j) where+ bitraverse f g (T15 x y z w t u v p q r s i j a b) = T15 x y z w t u v p q r s i j <$> f a <*> g b+ data T16 a b c d e f g h i j k l m n o p = T16 a b c d e f g h i j k l m n o p- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T16 a b c d e f g h i j k l m n o)+-- | @since 0.1.3+deriving stock instance Functor (T16 a b c d e f g h i j k l m n o)+-- | @since 0.1.3+deriving stock instance Traversable (T16 a b c d e f g h i j k l m n o)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o)+ => Applicative (T16 a b c d e f g h i j k l m n o) where+ pure p = T16 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty p+ T16 a b c d e f g h i j k l m n o p <*> T16 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' =+ T16 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p p')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o)+ => Monad (T16 a b c d e f g h i j k l m n o) where+ return = pure+ T16 a b c d e f g h i j k l m n o p >>= q = case q p of+ T16 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' ->+ T16 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') p'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p) => Hashable (T16 a b c d e f g h i j k l m n o p) where hash (T16 a b c d e f g h i j k l m n o p) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m `hashWithSalt` n `hashWithSalt` o `hashWithSalt` p hashWithSalt = hashWithSalt1@@ -389,10 +936,46 @@ T16 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 <> T16 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 n2 o2 p2 = T16 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) (n1 <> n2) (o1 <> o2) (p1 <> p2) stimes ii (T16 a b c d e f g h i j k l m n o p) = T16 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) (stimes ii n) (stimes ii o) (stimes ii p) +-- | @since 0.1.3+instance Bifunctor (T16 x y z w t u v p q r s i j k) where+ bimap f g (T16 x y z w t u v p q r s i j k a b) = T16 x y z w t u v p q r s i j k (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T16 x y z w t u v p q r s i j k) where+ bifoldMap f g (T16 _ _ _ _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T16 x y z w t u v p q r s i j k) where+ bitraverse f g (T16 x y z w t u v p q r s i j k a b) = T16 x y z w t u v p q r s i j k <$> f a <*> g b+ data T17 a b c d e f g h i j k l m n o p q = T17 a b c d e f g h i j k l m n o p q- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T17 a b c d e f g h i j k l m n o p)+-- | @since 0.1.3+deriving stock instance Functor (T17 a b c d e f g h i j k l m n o p)+-- | @since 0.1.3+deriving stock instance Traversable (T17 a b c d e f g h i j k l m n o p)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p)+ => Applicative (T17 a b c d e f g h i j k l m n o p) where+ pure q = T17 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty q+ T17 a b c d e f g h i j k l m n o p q <*> T17 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' q' =+ T17 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p <> p') (q q')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p)+ => Monad (T17 a b c d e f g h i j k l m n o p) where+ return = pure+ T17 a b c d e f g h i j k l m n o p q >>= r = case r q of+ T17 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' q' ->+ T17 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p <> p') q'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q) => Hashable (T17 a b c d e f g h i j k l m n o p q) where hash (T17 a b c d e f g h i j k l m n o p q) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m `hashWithSalt` n `hashWithSalt` o `hashWithSalt` p `hashWithSalt` q hashWithSalt = hashWithSalt1@@ -414,10 +997,46 @@ T17 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 q1 <> T17 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 n2 o2 p2 q2 = T17 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) (n1 <> n2) (o1 <> o2) (p1 <> p2) (q1 <> q2) stimes ii (T17 a b c d e f g h i j k l m n o p q) = T17 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) (stimes ii n) (stimes ii o) (stimes ii p) (stimes ii q) +-- | @since 0.1.3+instance Bifunctor (T17 x y z w t u v p q r s i j k l) where+ bimap f g (T17 x y z w t u v p q r s i j k l a b) = T17 x y z w t u v p q r s i j k l (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T17 x y z w t u v p q r s i j k l) where+ bifoldMap f g (T17 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T17 x y z w t u v p q r s i j k l) where+ bitraverse f g (T17 x y z w t u v p q r s i j k l a b) = T17 x y z w t u v p q r s i j k l <$> f a <*> g b+ data T18 a b c d e f g h i j k l m n o p q r = T18 a b c d e f g h i j k l m n o p q r- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T18 a b c d e f g h i j k l m n o p q)+-- | @since 0.1.3+deriving stock instance Functor (T18 a b c d e f g h i j k l m n o p q)+-- | @since 0.1.3+deriving stock instance Traversable (T18 a b c d e f g h i j k l m n o p q)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q)+ => Applicative (T18 a b c d e f g h i j k l m n o p q) where+ pure r = T18 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty r+ T18 a b c d e f g h i j k l m n o p q r <*> T18 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' q' r' =+ T18 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p <> p') (q <> q') (r r')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q)+ => Monad (T18 a b c d e f g h i j k l m n o p q) where+ return = pure+ T18 a b c d e f g h i j k l m n o p q r >>= s = case s r of+ T18 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' q' r' ->+ T18 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p <> p') (q <> q') r'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q, Hashable r) => Hashable (T18 a b c d e f g h i j k l m n o p q r) where hash (T18 a b c d e f g h i j k l m n o p q r) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m `hashWithSalt` n `hashWithSalt` o `hashWithSalt` p `hashWithSalt` q `hashWithSalt` r hashWithSalt = hashWithSalt1@@ -439,10 +1058,46 @@ T18 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 q1 r1 <> T18 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 n2 o2 p2 q2 r2 = T18 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) (n1 <> n2) (o1 <> o2) (p1 <> p2) (q1 <> q2) (r1 <> r2) stimes ii (T18 a b c d e f g h i j k l m n o p q r) = T18 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) (stimes ii n) (stimes ii o) (stimes ii p) (stimes ii q) (stimes ii r) +-- | @since 0.1.3+instance Bifunctor (T18 x y z w t u v p q r s i j k l m) where+ bimap f g (T18 x y z w t u v p q r s i j k l m a b) = T18 x y z w t u v p q r s i j k l m (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T18 x y z w t u v p q r s i j k l m) where+ bifoldMap f g (T18 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T18 x y z w t u v p q r s i j k l m) where+ bitraverse f g (T18 x y z w t u v p q r s i j k l m a b) = T18 x y z w t u v p q r s i j k l m <$> f a <*> g b+ data T19 a b c d e f g h i j k l m n o p q r s = T19 a b c d e f g h i j k l m n o p q r s- deriving (Bounded, Eq, Generic, Ord, Read, Show)+ deriving stock (Bounded, Eq, Ord, Read, Show, Generic) +-- | @since 0.1.3+deriving stock instance Foldable (T19 a b c d e f g h i j k l m n o p q r)+-- | @since 0.1.3+deriving stock instance Functor (T19 a b c d e f g h i j k l m n o p q r)+-- | @since 0.1.3+deriving stock instance Traversable (T19 a b c d e f g h i j k l m n o p q r)++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q, Monoid r)+ => Applicative (T19 a b c d e f g h i j k l m n o p q r) where+ pure s = T19 mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty mempty s+ T19 a b c d e f g h i j k l m n o p q r s <*> T19 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' q' r' s' =+ T19 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p <> p') (q <> q') (r <> r') (s s')++-- | @since 0.1.3+instance+ (Monoid a, Monoid b, Monoid c, Monoid d, Monoid e, Monoid f, Monoid g, Monoid h, Monoid i, Monoid j, Monoid k, Monoid l, Monoid m, Monoid n, Monoid o, Monoid p, Monoid q, Monoid r)+ => Monad (T19 a b c d e f g h i j k l m n o p q r) where+ return = pure+ T19 a b c d e f g h i j k l m n o p q r s >>= t = case t s of+ T19 a' b' c' d' e' f' g' h' i' j' k' l' m' n' o' p' q' r' s' ->+ T19 (a <> a') (b <> b') (c <> c') (d <> d') (e <> e') (f <> f') (g <> g') (h <> h') (i <> i') (j <> j') (k <> k') (l <> l') (m <> m') (n <> n') (o <> o') (p <> p') (q <> q') (r <> r') s'+ instance (Hashable a, Hashable b, Hashable c, Hashable d, Hashable e, Hashable f, Hashable g, Hashable h, Hashable i, Hashable j, Hashable k, Hashable l, Hashable m, Hashable n, Hashable o, Hashable p, Hashable q, Hashable r, Hashable s) => Hashable (T19 a b c d e f g h i j k l m n o p q r s) where hash (T19 a b c d e f g h i j k l m n o p q r s) = hash a `hashWithSalt` b `hashWithSalt` c `hashWithSalt` d `hashWithSalt` e `hashWithSalt` f `hashWithSalt` g `hashWithSalt` h `hashWithSalt` i `hashWithSalt` j `hashWithSalt` k `hashWithSalt` l `hashWithSalt` m `hashWithSalt` n `hashWithSalt` o `hashWithSalt` p `hashWithSalt` q `hashWithSalt` r `hashWithSalt` s hashWithSalt = hashWithSalt1@@ -463,3 +1118,15 @@ instance (Semigroup a, Semigroup b, Semigroup c, Semigroup d, Semigroup e, Semigroup f, Semigroup g, Semigroup h, Semigroup i, Semigroup j, Semigroup k, Semigroup l, Semigroup m, Semigroup n, Semigroup o, Semigroup p, Semigroup q, Semigroup r, Semigroup s) => Semigroup (T19 a b c d e f g h i j k l m n o p q r s) where T19 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 q1 r1 s1 <> T19 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 m2 n2 o2 p2 q2 r2 s2 = T19 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2) (e1 <> e2) (f1 <> f2) (g1 <> g2) (h1 <> h2) (i1 <> i2) (j1 <> j2) (k1 <> k2) (l1 <> l2) (m1 <> m2) (n1 <> n2) (o1 <> o2) (p1 <> p2) (q1 <> q2) (r1 <> r2) (s1 <> s2) stimes ii (T19 a b c d e f g h i j k l m n o p q r s) = T19 (stimes ii a) (stimes ii b) (stimes ii c) (stimes ii d) (stimes ii e) (stimes ii f) (stimes ii g) (stimes ii h) (stimes ii i) (stimes ii j) (stimes ii k) (stimes ii l) (stimes ii m) (stimes ii n) (stimes ii o) (stimes ii p) (stimes ii q) (stimes ii r) (stimes ii s)++-- | @since 0.1.3+instance Bifunctor (T19 x y z w t u v p q r s i j k l m n) where+ bimap f g (T19 x y z w t u v p q r s i j k l m n a b) = T19 x y z w t u v p q r s i j k l m n (f a) (g b)++-- | @since 0.1.3+instance Bifoldable (T19 x y z w t u v p q r s i j k l m n) where+ bifoldMap f g (T19 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ a b) = f a <> g b++-- | @since 0.1.3+instance Bitraversable (T19 x y z w t u v p q r s i j k l m n) where+ bitraverse f g (T19 x y z w t u v p q r s i j k l m n a b) = T19 x y z w t u v p q r s i j k l m n <$> f a <*> g b
strict-tuple.cabal view
@@ -1,7 +1,7 @@ cabal-version: 2.2 name: strict-tuple-version: 0.1.2+version: 0.1.3 category: Data description: Strict tuples. synopsis: Strict tuples@@ -13,7 +13,7 @@ license: BSD-3-Clause license-file: LICENSE build-type: Simple-tested-with: GHC == 8.4.4, GHC == 8.6.2+tested-with: GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.1 extra-source-files: .travis.yml@@ -26,9 +26,10 @@ library build-depends:- base ^>= 4.11 || ^>= 4.12- , deepseq >= 1.4.3.0- , hashable >= 1.2.5.0+ base ^>= 4.11 || ^>= 4.12 || ^>= 4.13+ , bifunctors ^>= 5.5+ , deepseq ^>= 1.4.3.0+ , hashable ^>= 1.2.5.0 || ^>= 1.3 default-language: Haskell2010 exposed-modules: