core-data 0.3.0.2 → 0.3.1.1
raw patch · 2 files changed
+11/−9 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Core.Data.Structures: instance Data.Bifoldable.Bifoldable Core.Data.Structures.Map
- Core.Data.Structures: type family E α :: *;
+ Core.Data.Structures: type family E α :: Type;
Files
- core-data.cabal +3/−3
- lib/Core/Data/Structures.hs +8/−6
core-data.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: core-data-version: 0.3.0.2+version: 0.3.1.1 synopsis: Convenience wrappers around common data structures and encodings description: Wrappers around common data structures and encodings. .@@ -16,12 +16,12 @@ <https://github.com/aesiniath/unbeliever/blob/master/README.markdown README> on GitHub. category: System-stability: experimental+stability: stable homepage: https://github.com/aesiniath/unbeliever#readme bug-reports: https://github.com/aesiniath/unbeliever/issues author: Andrew Cowie <istathar@gmail.com> maintainer: Andrew Cowie <istathar@gmail.com>-copyright: © 2018-2021 Athae Eredh Siniath and Others+copyright: © 2018-2022 Athae Eredh Siniath and Others license: MIT license-file: LICENSE build-type: Simple
lib/Core/Data/Structures.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE GeneralisedNewtypeDeriving #-} {-# LANGUAGE TypeFamilies #-}-{-# LANGUAGE TypeSynonymInstances #-}-{-# OPTIONS_GHC -fno-warn-orphans #-}+{-# OPTIONS_GHC -fno-warn-orphans -Wno-redundant-constraints #-} {- | Convenience wrappers around dictionary and collection types and tools@@ -38,10 +38,12 @@ import Core.Text.Bytes (Bytes) import Core.Text.Rope (Rope)+import Data.Bifoldable (Bifoldable) import qualified Data.ByteString as B (ByteString) import qualified Data.HashMap.Strict as HashMap import qualified Data.HashSet as HashSet import Data.Hashable (Hashable)+import Data.Kind (Type) import qualified Data.Map.Strict as OrdMap import qualified Data.Set as OrdSet import qualified Data.Text as T (Text)@@ -71,7 +73,7 @@ the keys' 'Ord' instance) -} newtype Map κ ν = Map (HashMap.HashMap κ ν)- deriving (Show, Eq)+ deriving (Show, Eq, Bifoldable) unMap :: Map κ ν -> HashMap.HashMap κ ν unMap (Map u) = u@@ -192,8 +194,8 @@ -- Many thanks for an elegant solution to the problem. -- class Dictionary α where- type K α :: *- type V α :: *+ type K α :: Type+ type V α :: Type fromMap :: Map (K α) (V α) -> α intoMap :: α -> Map (K α) (V α) @@ -301,7 +303,7 @@ instance for @[ε]@ lists described above. -} class Collection α where- type E α :: *+ type E α :: Type fromSet :: Set (E α) -> α intoSet :: α -> Set (E α)