list-tuple 0.1.0.0 → 0.1.1.0

raw patch · 5 files changed

+84/−7 lines, 5 filesdep ~base

Dependency ranges changed: base

Files

• ChangeLog.md +7/−0
• README.md +5/−1
• list-tuple.cabal +14/−6
• template/List.hs +52/−0
• template/ListAt.hs +6/−0

@@ -1,5 +1,12 @@ # Changelog for list-tuple +## 0.1.1.0++2019.10.11++Fix a build error.+Add missed extra-source-files.+ ## 0.1.0.0  2019.10.10

@@ -1,1 +1,5 @@-# homotuple+# list-tuple++[![CircleCI](https://circleci.com/gh/kakkun61/tuple/tree/master.svg?style=svg)](https://circleci.com/gh/kakkun61/tuple/tree/master)++[![Hackage](http://hackage.haskell.org/package/list-tuple)](https://matrix.hackage.haskell.org/api/v2/packages/list-tuple/badge)

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 8483043ca4b85bbe594829f7a49fa181056f2cfff834a8c26fe67d0562b4d8cc+-- hash: 915fa7da0759ab97248f8de0333559db953eadbdfbe9746cffcadd39cb307ed2  name:           list-tuple-version:        0.1.0.0+version:        0.1.1.0 synopsis:       List-like operations for tuples description:    List-like operations for tuples category:       Data@@ -22,6 +22,8 @@ extra-source-files:     README.md     ChangeLog.md+    template/List.hs+    template/ListAt.hs  source-repository head   type: git@@ -43,12 +45,14 @@       Paths_list_tuple   hs-source-dirs:       src-  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wpartial-fields -Wno-name-shadowing -Wno-unticked-promoted-constructors+  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wno-name-shadowing -Wno-unticked-promoted-constructors   build-depends:       OneTuple >=0.2 && <0.3     , Only >=0.1 && <0.2-    , base >=4.12 && <4.13+    , base >=4.10 && <4.13     , single-tuple >=0.1 && <0.2+  if impl(ghc >= 8.4.0)+    ghc-options: -Wmissing-export-lists -Wpartial-fields   default-language: Haskell2010  test-suite test@@ -60,14 +64,18 @@       Paths_list_tuple   hs-source-dirs:       test-  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wpartial-fields -Wno-name-shadowing -Wno-unticked-promoted-constructors -threaded -rtsopts -with-rtsopts=-N -Wno-missing-export-lists -Wno-missing-import-lists+  ghc-options: -Wall -Wcompat -Wincomplete-uni-patterns -Wincomplete-record-updates -Wmonomorphism-restriction -Wmissing-exported-signatures -Wmissing-home-modules -Wmissing-import-lists -Widentities -Wredundant-constraints -Wno-name-shadowing -Wno-unticked-promoted-constructors -threaded -rtsopts -with-rtsopts=-N -Wno-missing-import-lists   build-depends:       Only-    , base >=4.12 && <4.13+    , base >=4.10 && <4.13     , deepseq     , hspec     , list-tuple     , should-not-typecheck     , single-tuple     , text+  if impl(ghc >= 8.4.0)+    ghc-options: -Wmissing-export-lists -Wpartial-fields+  if impl(ghc >= 8.4.0)+    ghc-options: -Wno-missing-export-lists   default-language: Haskell2010

@@ -0,0 +1,52 @@+-- <length>++type instance Cons a <tail> = <tuple>+type instance Head <tuple> = a+type instance Tail <tuple> = <tail>+type instance Init <tuple> = <init>+type instance Last <tuple> = <last>+type instance Length <tuple> = <length>++instance HasHead' <tuple> a where+  head' <tuple-head> = a++instance HasTail' <tuple> <tail> where+  tail' <tuple-tail> = <tail>++instance HasInit' <tuple> <init> where+  init' <tuple-init> = <init>++instance HasLast' <tuple> <last> where+  last' <tuple-last> = <last>++instance HasCons' <tuple> a <tail> where+  cons' a <tail> = <tuple>++instance HasUncons' <tuple> a <tail> where+  uncons' <tuple> = (a, <tail>)++instance HasHead <tuple>++instance HasTail <tuple>++instance HasInit <tuple>++instance HasLast <tuple>++instance HasCons a <tail>++instance HasUncons <tuple>++instance HasLength <tuple>++{-# COMPLETE Cons' :: <cons> #-}+{-# COMPLETE Cons :: <cons> #-}++type instance Reverse <tuple> = <reverse>++instance HasReverse' <tuple> <reverse> where+  reverse' <tuple> = <reverse>++instance HasReverse <tuple>++---- has-at

@@ -0,0 +1,6 @@+type instance <tuple> !! <at> = <item>++instance HasAt' <tuple> <at> <item> where+  <tuple-at> !!! _ = <item>++instance HasAt <tuple> <at>