extensible 0.4.9 → 0.4.10

raw patch · 6 files changed

+36/−9 lines, 6 filesdep +exceptionsdep +resourcetPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: exceptions, resourcet

API changes (from Hackage documentation)

Files

• extensible.cabal +3/−1
• src/Data/Extensible.hs +4/−0
• src/Data/Extensible/Effect/Default.hs +17/−0
• src/Data/Extensible/Field.hs +6/−5
• src/Data/Extensible/Internal.hs +5/−2
• src/Data/Extensible/Product.hs +1/−1

@@ -1,5 +1,5 @@ name:                extensible-version:             0.4.9+version:             0.4.10 synopsis:            Extensible, efficient, optics-friendly data types and effects homepage:            https://github.com/fumieval/extensible bug-reports:         http://github.com/fumieval/extensible/issues@@ -74,6 +74,7 @@     , comonad     , constraints     , deepseq+    , exceptions     , ghc-prim     , hashable     , monad-skeleton >= 0.1.2@@ -81,6 +82,7 @@     , prettyprinter     , primitive     , profunctors+    , resourcet     , QuickCheck     , semigroups     , StateVar

@@ -43,6 +43,8 @@   , module Data.Extensible.Tangle   , module Data.Extensible.TH   , module Data.Extensible.Wrapper+  , Proxy(..)+  , KnownSymbol   ) where  import Data.Extensible.Class@@ -60,3 +62,5 @@ import Data.Extensible.Tangle import Data.Extensible.TH import Data.Extensible.Wrapper+import Data.Proxy+import GHC.TypeLits

@@ -32,12 +32,29 @@ import Data.Extensible.Effect import Data.Extensible.Internal import Control.Monad.Except+import Control.Monad.Catch import Control.Monad.Reader.Class+import Control.Monad.Skeleton import Control.Monad.State.Strict+import Control.Monad.Trans.Resource import Control.Monad.Writer.Class  instance (MonadIO m, Associate "IO" m xs) => MonadIO (Eff xs) where   liftIO = liftEff (Proxy :: Proxy "IO") . liftIO++instance (MonadResource m, Associate "IO" m xs) => MonadResource (Eff xs) where+  liftResourceT = liftEff (Proxy :: Proxy "IO") . liftResourceT++instance (MonadThrow m, Associate "IO" m xs) => MonadThrow (Eff xs) where+  throwM = liftEff (Proxy :: Proxy "IO") . throwM++instance (MonadCatch m, Associate "IO" m xs) => MonadCatch (Eff xs) where+  catch m0 h = go m0 where+    go m = case debone m of+      Return a -> return a+      Instruction i t :>>= k -> case compareMembership (association :: Membership xs ("IO" ':> m)) i of+        Left _ -> boned $ Instruction i t :>>= go . k+        Right Refl -> boned $ Instruction i (try t) :>>= go . either h k   pReader :: Proxy "Reader" pReader = Proxy

@@ -324,8 +324,8 @@ -- -- @ -- foo :: 'Record' '["num" >: Int, "str" >: String]--- foo = #num @= 42---   <: #str @= "foo"+-- foo = #num \@= 42+--   <: #str \@= "foo" --   <: nil -- @ (@=) :: Wrapper h => FieldName k -> Repr h v -> Field h (k ':> v)@@ -334,11 +334,12 @@ infix 1 @=  -- | Lifted ('@=')+-- -- @ -- foo :: IO ('Record' '["num" >: Int, "str" >: String]) -- foo = hsequence---   $ #num <@=> readLn---   <: #str <@=> getLine+--   $ #num \<\@=\> readLn+--   <: #str \<\@=\> getLine --   <: nil -- @ (<@=>) :: (Functor f, Wrapper h) => FieldName k -> f (Repr h v) -> Comp f (Field h) (k ':> v)@@ -351,7 +352,7 @@ (@:>) _ = Field infix 1 @:> --- | Kind-monomorphic, unwrapped version of @('@=')@+-- | Kind-monomorphic, unwrapped version of '@=' (@==) :: FieldName (k :: Symbol) -> v -> Field Identity (k ':> v) (@==) = (@=) {-# INLINE (@==) #-}

@@ -2,8 +2,11 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE LambdaCase #-} {-# LANGUAGE OverloadedStrings #-}-{-# LANGUAGE MultiParamTypeClasses, UndecidableInstances, FunctionalDependencies #-}-{-# LANGUAGE ScopedTypeVariables, BangPatterns #-}+{-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE FunctionalDependencies #-}+{-# LANGUAGE BangPatterns #-}+{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE TemplateHaskell #-} -----------------------------------------------------------------------------

@@ -89,7 +89,7 @@ {-# NOINLINE nil #-} {-# RULES "toHList/nil" toHList nil = HList.HNil #-} --- | Convert 'L.HList' into a product.+-- | Convert 'HList.HList' into a product. fromHList :: HList.HList h xs -> h :* xs fromHList xs = hfrozen (newFromHList xs) {-# INLINE fromHList #-}