validity-dlist (empty) → 0.1.0.0

raw patch · 5 files changed

+88/−0 lines, 5 filesdep +basedep +dlistdep +validity

Dependencies added: base, dlist, validity

Files

• CHANGELOG.md +7/−0
• LICENSE +21/−0
• src/Data/Validity/DList.hs +11/−0
• src/Data/Validity/DNonEmpty.hs +11/−0
• validity-dlist.cabal +38/−0

@@ -0,0 +1,7 @@+# Changelog++## [0.1.0.0] - 2024-08-06++### Added++* Instances for `DList` and `DNonEmpty`

@@ -0,0 +1,21 @@+The MIT License (MIT)++Copyright (c) 2016-2024 Tom Sydney Kerckhove, Clinton Mead++Permission is hereby granted, free of charge, to any person obtaining a copy+of this software and associated documentation files (the "Software"), to deal+in the Software without restriction, including without limitation the rights+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the Software is+furnished to do so, subject to the following conditions:++The above copyright notice and this permission notice shall be included in all+copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE+SOFTWARE.

@@ -0,0 +1,11 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}++module Data.Validity.DList () where++import Data.DList (DList)+import qualified Data.DList as DList+import Data.Validity (Validity (..))++-- | A 'DList' of things is valid if list of the same things is valid+instance (Validity v) => Validity (DList v) where+  validate = validate . DList.toList

@@ -0,0 +1,11 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}++module Data.Validity.DNonEmpty () where++import Data.DList.DNonEmpty (DNonEmpty)+import qualified Data.DList.DNonEmpty as DNonEmpty+import Data.Validity (Validity (..))++-- | A 'DNonEmpty' of things is valid if a 'NonEmpty' of the same things is valid+instance (Validity v) => Validity (DNonEmpty v) where+  validate = validate . DNonEmpty.toList

@@ -0,0 +1,38 @@+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.36.0.+--+-- see: https://github.com/sol/hpack++name:           validity-dlist+version:        0.1.0.0+synopsis:       Validity instances for containers+category:       Validity+homepage:       https://github.com/NorfairKing/validity#readme+bug-reports:    https://github.com/NorfairKing/validity/issues+author:         Tom Sydney Kerckhove, Clinton Mead+maintainer:     syd@cs-syd.eu+copyright:      Copyright: (c) 2016-2024 Tom Sydney Kerckhove, Clinton Mead+license:        MIT+license-file:   LICENSE+build-type:     Simple+extra-source-files:+    CHANGELOG.md++source-repository head+  type: git+  location: https://github.com/NorfairKing/validity++library+  exposed-modules:+      Data.Validity.DList+      Data.Validity.DNonEmpty+  other-modules:+      Paths_validity_dlist+  hs-source-dirs:+      src+  build-depends:+      base >=4.7 && <5+    , dlist+    , validity >=0.5+  default-language: Haskell2010