extensible 0.7.1 → 0.8

raw patch · 9 files changed

+13/−71 lines, 9 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +6/−0
• extensible.cabal +2/−1
• src/Data/Extensible/Class.hs +0/−4
• src/Data/Extensible/Field.hs +3/−41
• src/Data/Extensible/Label.hs +0/−13
• src/Data/Extensible/Product.hs +0/−1
• src/Data/Extensible/Struct.hs +2/−2
• src/Data/Extensible/Sum.hs +0/−4
• src/Data/Extensible/Tangle.hs +0/−5

@@ -1,3 +1,9 @@+0.8+------------------------------------------------++* Removed `Associate`, `AssocKey`, `AssocValue`, `ValueIs`, `KeyIs`, `KeyValue`, `proxyAssocKey`, `proxyAssocValue`, `stringAssokKey`, `xlb`, `:*`, `:|`+* Reverted deprecation of `Data.Extensible.Tangle`+ 0.7.1 ------------------------------------------------ * Removed `vector` and `prettyprinter` orphans

@@ -1,6 +1,6 @@ cabal-version:       2.4 name:                extensible-version:             0.7.1+version:             0.8 synopsis:            Extensible, efficient, optics-friendly data types and effects homepage:            https://github.com/fumieval/extensible bug-reports:         http://github.com/fumieval/extensible/issues@@ -70,6 +70,7 @@     , FlexibleInstances     , PolyKinds     , CPP+    , NoStarIsType   build-depends:       base >= 4.8 && <5     , aeson     , bytestring

@@ -38,7 +38,6 @@   , Assoc(..)   , type (>:)   , Lookup(..)-  , Associate   -- * Misc   , Head   , Last@@ -101,6 +100,3 @@ type family Last (x :: [k]) :: k where   Last '[x] = x   Last (x ': xs) = Last xs--type Associate k v xs = Lookup xs k v-{-# DEPRECATED Associate "Use Lookup instead" #-}

@@ -43,14 +43,6 @@   , KeyIs   , TargetIs   , KeyTargetAre-  -- * deprecated-  , AssocKey-  , AssocValue-  , ValueIs-  , KeyValue-  , proxyAssocKey-  , stringAssocKey-  , proxyAssocValue   -- * Internal   , LabelPhantom   , Labelling@@ -59,9 +51,6 @@ import Control.DeepSeq (NFData) import qualified Data.Aeson as J import Data.Coerce-#if __GLASGOW_HASKELL__ < 802-import Data.Constraint-#endif #ifdef CASSAVA import qualified Data.Csv as Csv #endif@@ -90,7 +79,7 @@  -- | A @'Field' h (k ':> v)@ is @h v@ annotated with the field name @k@. ----- @'Field' :: (v -> *) -> Assoc k v -> *@+-- @'Field' :: (v -> Type) -> Assoc k v -> Type@ -- newtype Field (h :: v -> Type) (kv :: Assoc k v)   = Field { getField :: h (TargetOf kv) }@@ -202,13 +191,13 @@  -- | The type of records which contain several fields. ----- @RecordOf :: (v -> *) -> [Assoc k v] -> *@+-- @RecordOf :: (v -> Type) -> [Assoc k v] -> Type@ -- type RecordOf h xs = xs :& Field h  -- | The dual of 'RecordOf' ----- @VariantOf :: (v -> *) -> [Assoc k v] -> *@+-- @VariantOf :: (v -> Type) -> [Assoc k v] -> Type@ -- type VariantOf h xs = xs :/ Field h @@ -314,30 +303,3 @@ (@==) = (@=) {-# INLINE (@==) #-} infix 1 @==--type AssocKey kv = KeyOf kv-{-# DEPRECATED AssocKey "Use KeyOf instead" #-}--type AssocValue kv = TargetOf kv-{-# DEPRECATED AssocValue "Use TargetOf instead" #-}--type ValueIs = TargetIs-{-# DEPRECATED ValueIs "Use TargetIs instead" #-}--type KeyValue = KeyTargetAre-{-# DEPRECATED KeyValue "Use KeyTargetAre instead" #-}--proxyAssocKey :: proxy kv -> Proxy (KeyOf kv)-proxyAssocKey = proxyKeyOf-{-# INLINE proxyAssocKey #-}-{-# DEPRECATED proxyAssocKey "Use proxyKeyOf instead" #-}--proxyAssocValue :: proxy kv -> Proxy (TargetOf kv)-proxyAssocValue = proxyTargetOf-{-# INLINE proxyAssocValue #-}-{-# DEPRECATED proxyAssocValue "Use proxyTargetOf instead" #-}--stringAssocKey :: (IsString a, KnownSymbol (KeyOf kv)) => proxy kv -> a-stringAssocKey = stringKeyOf-{-# INLINE stringAssocKey #-}-{-# DEPRECATED stringAssocKey "Use stringKeyOf instead" #-}

@@ -21,17 +21,8 @@ import Data.Extensible.Wrapper  instance k ~ l => IsLabel k (Proxy l) where-#if __GLASGOW_HASKELL__ >= 802   fromLabel = Proxy-#else-  fromLabel _ = Proxy-#endif --- | Specialised version of 'itemAssoc'.-訊 :: Proxy k -> FieldOptic k-訊 = itemAssoc-{-# DEPRECATED 訊 "Use xlb instead" #-}- -- | Specialised version of 'itemAssoc'. Stands for "eXtensible LaBel" xlb :: Proxy k -> FieldOptic k xlb = itemAssoc@@ -47,11 +38,7 @@   , rep ~ rep'   )   => IsLabel k (p rep (f rep') -> p s (f t)) where-#if __GLASGOW_HASKELL__ >= 802   fromLabel = itemAssoc (Proxy :: Proxy k)-#else-  fromLabel _ = itemAssoc (Proxy :: Proxy k)-#endif  instance (Lookup xs k v, Wrapper h, Repr h v ~ a) => HasField k (RecordOf h xs) a where   getField = unwrap . hlookup (association :: Membership xs (k >: v))

@@ -16,7 +16,6 @@ module Data.Extensible.Product (   -- * Basic operations   (:&)-  , (:*)   , nil   , (<:)   , (<!)

@@ -202,9 +202,9 @@  -- | The type of extensible products. ----- @(:&) :: [k] -> (k -> *) -> *@+-- @(:&) :: [k] -> (k -> Type) -> Type@ ---data (s :: [k]) :& (h :: k -> *) = HProduct (SmallArray# Any)+data (s :: [k]) :& (h :: k -> Type) = HProduct (SmallArray# Any)  type h :* xs = xs :& h {-# DEPRECATED (:*) "Use :& instead" #-}

@@ -14,7 +14,6 @@ ------------------------------------------------------------------------ module Data.Extensible.Sum (   (:/)(..)-  , (:|)   , hoist   , embed   , strike@@ -37,9 +36,6 @@ -- data (xs :: [k]) :/ (h :: k -> Type) where   EmbedAt :: !(Membership xs x) -> h x -> xs :/ h--type h :| xs = xs :/ h-{-# DEPRECATED (:|) "Use :/ instead" #-}  instance Enum (xs :/ Proxy) where   fromEnum (EmbedAt m _) = fromIntegral $ getMemberId m

@@ -32,7 +32,6 @@ newtype TangleT xs h m a = TangleT   { unTangleT :: RWST (xs :& Comp (TangleT xs h m) h) () (xs :& Nullable h) m a }   deriving (Functor, Applicative, Monad)-{-# DEPRECATED TangleT "Use the tangle package instead" #-}  instance MonadTrans (TangleT xs h) where   lift = TangleT . lift@@ -49,7 +48,6 @@   => FieldName k -> TangleT xs h m (Repr h (k ':> v)) lasso _ = view _Wrapper <$> hitchAt (association :: Membership xs (k ':> v)) {-# INLINE lasso #-}-{-# DEPRECATED lasso "Use the tangle package instead" #-}  -- | Take a value from the tangles. The result is memoized. hitchAt :: Monad m => Membership xs x -> TangleT xs h m (h x)@@ -62,7 +60,6 @@       a <- unTangleT $ getComp $ hlookup k tangles       modify $ over (pieceAt k) $ const $ Nullable $ Just a       return a-{-# DEPRECATED hitchAt "Use the tangle package instead" #-}  -- | Run a 'TangleT' action and return the result and the calculated values. runTangleT :: Monad m@@ -73,7 +70,6 @@ runTangleT tangles rec0 (TangleT m) = (\(a, s, _) -> (a, s))   <$> runRWST m tangles rec0 {-# INLINE runTangleT #-}-{-# DEPRECATED runTangleT "Use the tangle package instead" #-}  -- | Run a 'TangleT' action. evalTangleT :: Monad m@@ -83,7 +79,6 @@   -> m a evalTangleT tangles rec0 (TangleT m) = fst <$> evalRWST m tangles rec0 {-# INLINE evalTangleT #-}-{-# DEPRECATED evalTangleT "Use the tangle package instead" #-}  -- | Run tangles and collect all the results as a 'Record'. runTangles :: Monad m