classy-prelude 0.9.3 → 0.9.4
raw patch · 2 files changed
+24/−1 lines, 2 filesdep +mtldep +primitivePVP ok
version bump matches the API change (PVP)
Dependencies added: mtl, primitive
API changes (from Hackage documentation)
+ ClassyPrelude: Identity :: a -> Identity a
+ ClassyPrelude: ReaderT :: (r -> m a) -> ReaderT r a
+ ClassyPrelude: ask :: MonadReader r m => m r
+ ClassyPrelude: class Monad m => MonadReader r (m :: * -> *) | m -> r
+ ClassyPrelude: class Prim a
+ ClassyPrelude: class Monad m => PrimMonad (m :: * -> *) where type family PrimState (m1 :: * -> *) :: *
+ ClassyPrelude: newtype Identity a :: * -> *
+ ClassyPrelude: newtype ReaderT r (m :: * -> *) a :: * -> (* -> *) -> * -> *
+ ClassyPrelude: primToIO :: (PrimMonad m, ~ * (PrimState m) RealWorld) => m a -> IO a
+ ClassyPrelude: primToPrim :: (PrimMonad m1, PrimMonad m2, ~ * (PrimState m1) (PrimState m2)) => m1 a -> m2 a
+ ClassyPrelude: primToST :: PrimMonad m => m a -> ST (PrimState m) a
+ ClassyPrelude: runIdentity :: Identity a -> a
+ ClassyPrelude: runReaderT :: ReaderT r a -> r -> m a
+ ClassyPrelude: type Reader r = ReaderT r Identity
Files
- ClassyPrelude.hs +21/−0
- classy-prelude.cabal +3/−1
ClassyPrelude.hs view
@@ -25,6 +25,14 @@ , orElseSTM , checkSTM , module Data.IORef.Lifted+ -- ** Primitive (exported since 0.9.4)+ , PrimMonad+ , PrimState+ , primToPrim+ , primToIO+ , primToST+ , module Data.Primitive.MutVar+ , Prim -- ** Debugging , trace , traceShow@@ -38,6 +46,12 @@ , defaultTimeLocale -- ** Generics (since 0.8.1) , Generic+ -- ** Transformers (since 0.9.4)+ , Identity (..)+ , MonadReader+ , ask+ , ReaderT (..)+ , Reader -- * Poly hierarchy , module Data.Foldable , module Data.Traversable@@ -187,6 +201,13 @@ import Data.Textual.Encoding import Data.Sequences.Lazy import GHC.Generics (Generic)++import Control.Monad.Primitive (PrimMonad, PrimState, primToPrim, primToIO, primToST)+import Data.Primitive.MutVar+import Data.Primitive.Types (Prim)++import Data.Functor.Identity (Identity (..))+import Control.Monad.Reader (MonadReader, ask, ReaderT (..), Reader) tshow :: Show a => a -> Text tshow = fromList . Prelude.show
classy-prelude.cabal view
@@ -1,5 +1,5 @@ name: classy-prelude-version: 0.9.3+version: 0.9.4 synopsis: A typeclass-based Prelude. description: Focuses on using common typeclasses when possible, and creating new ones to avoid name clashing. Exposes many recommended datastructures (Map, ByteString, etc) directly without requiring long import lists and qualified modules. homepage: https://github.com/snoyberg/classy-prelude@@ -34,6 +34,8 @@ , enclosed-exceptions , ghc-prim , stm+ , primitive+ , mtl ghc-options: -Wall -fno-warn-orphans test-suite test