tonalude 0.1.1.0 → 0.1.1.1
raw patch · 2 files changed
+21/−22 lines, 2 filesdep ~basedep ~bytestringdep ~rionew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, bytestring, rio, unliftio
API changes (from Hackage documentation)
- Tonalude: data Proxy (t :: k) :: forall k. () => k -> Type
- Tonalude: fail :: Monad m => String -> m a
- Tonalude: newtype Const a (b :: k) :: forall k. () => Type -> k -> Type
- Tonalude: sconcat :: Semigroup a => NonEmpty a -> a
- Tonalude: stimes :: (Semigroup a, Integral b) => b -> a -> a
+ Tonalude: data Proxy (t :: k)
+ Tonalude: newtype Const a (b :: k)
+ Tonalude: newtype ReaderT r (m :: Type -> Type) a
- Tonalude: ($!) :: () => (a -> b) -> a -> b
+ Tonalude: ($!) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
- Tonalude: ($) :: () => (a -> b) -> a -> b
+ Tonalude: ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
- Tonalude: (&) :: () => a -> (a -> b) -> b
+ Tonalude: (&) :: a -> (a -> b) -> b
- Tonalude: (++) :: () => [a] -> [a] -> [a]
+ Tonalude: (++) :: [a] -> [a] -> [a]
- Tonalude: (.) :: () => (b -> c) -> (a -> b) -> a -> c
+ Tonalude: (.) :: (b -> c) -> (a -> b) -> a -> c
- Tonalude: (>>>) :: Category cat => cat a b -> cat b c -> cat a c
+ Tonalude: (>>>) :: forall k cat (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c
- Tonalude: Const :: a -> Const a
+ Tonalude: Const :: a -> Const a (b :: k)
- Tonalude: Proxy :: Proxy
+ Tonalude: Proxy :: Proxy (t :: k)
- Tonalude: ReaderT :: (r -> m a) -> ReaderT r
+ Tonalude: ReaderT :: (r -> m a) -> ReaderT r (m :: Type -> Type) a
- Tonalude: [getConst] :: Const a -> a
+ Tonalude: [getConst] :: Const a (b :: k) -> a
- Tonalude: [runReaderT] :: ReaderT r -> r -> m a
+ Tonalude: [runReaderT] :: ReaderT r (m :: Type -> Type) a -> r -> m a
- Tonalude: absurd :: () => Void -> a
+ Tonalude: absurd :: Void -> a
- Tonalude: asTypeOf :: () => a -> a -> a
+ Tonalude: asTypeOf :: a -> a -> a
- Tonalude: bool :: () => a -> a -> Bool -> a
+ Tonalude: bool :: a -> a -> Bool -> a
- Tonalude: break :: () => (a -> Bool) -> [a] -> ([a], [a])
+ Tonalude: break :: (a -> Bool) -> [a] -> ([a], [a])
- Tonalude: catMaybes :: () => [Maybe a] -> [a]
+ Tonalude: catMaybes :: [Maybe a] -> [a]
- Tonalude: const :: () => a -> b -> a
+ Tonalude: const :: a -> b -> a
- Tonalude: curry :: () => ((a, b) -> c) -> a -> b -> c
+ Tonalude: curry :: ((a, b) -> c) -> a -> b -> c
- Tonalude: drop :: () => Int -> [a] -> [a]
+ Tonalude: drop :: Int -> [a] -> [a]
- Tonalude: dropWhile :: () => (a -> Bool) -> [a] -> [a]
+ Tonalude: dropWhile :: (a -> Bool) -> [a] -> [a]
- Tonalude: either :: () => (a -> c) -> (b -> c) -> Either a b -> c
+ Tonalude: either :: (a -> c) -> (b -> c) -> Either a b -> c
- Tonalude: error :: HasCallStack => [Char] -> a
+ Tonalude: error :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => [Char] -> a
- Tonalude: filter :: () => (a -> Bool) -> [a] -> [a]
+ Tonalude: filter :: (a -> Bool) -> [a] -> [a]
- Tonalude: first :: Arrow a => a b c -> a (b, d) (c, d)
+ Tonalude: first :: Bifunctor p => (a -> b) -> p a c -> p b c
- Tonalude: fix :: () => (a -> a) -> a
+ Tonalude: fix :: (a -> a) -> a
- Tonalude: flip :: () => (a -> b -> c) -> b -> a -> c
+ Tonalude: flip :: (a -> b -> c) -> b -> a -> c
- Tonalude: fromMaybe :: () => a -> Maybe a -> a
+ Tonalude: fromMaybe :: a -> Maybe a -> a
- Tonalude: fst :: () => (a, b) -> a
+ Tonalude: fst :: (a, b) -> a
- Tonalude: gmapQr :: Data a => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r
+ Tonalude: gmapQr :: forall r r'. Data a => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r
- Tonalude: id :: () => a -> a
+ Tonalude: id :: a -> a
- Tonalude: infix 4 <=
+ Tonalude: infix 4 <
- Tonalude: isJust :: () => Maybe a -> Bool
+ Tonalude: isJust :: Maybe a -> Bool
- Tonalude: isLeft :: () => Either a b -> Bool
+ Tonalude: isLeft :: Either a b -> Bool
- Tonalude: isNothing :: () => Maybe a -> Bool
+ Tonalude: isNothing :: Maybe a -> Bool
- Tonalude: isRight :: () => Either a b -> Bool
+ Tonalude: isRight :: Either a b -> Bool
- Tonalude: lefts :: () => [Either a b] -> [a]
+ Tonalude: lefts :: [Either a b] -> [a]
- Tonalude: listToMaybe :: () => [a] -> Maybe a
+ Tonalude: listToMaybe :: [a] -> Maybe a
- Tonalude: map :: () => (a -> b) -> [a] -> [b]
+ Tonalude: map :: (a -> b) -> [a] -> [b]
- Tonalude: mapMaybe :: () => (a -> Maybe b) -> [a] -> [b]
+ Tonalude: mapMaybe :: (a -> Maybe b) -> [a] -> [b]
- Tonalude: maybe :: () => b -> (a -> b) -> Maybe a -> b
+ Tonalude: maybe :: b -> (a -> b) -> Maybe a -> b
- Tonalude: maybeToList :: () => Maybe a -> [a]
+ Tonalude: maybeToList :: Maybe a -> [a]
- Tonalude: on :: () => (b -> b -> c) -> (a -> b) -> a -> a -> c
+ Tonalude: on :: (b -> b -> c) -> (a -> b) -> a -> a -> c
- Tonalude: partitionEithers :: () => [Either a b] -> ([a], [b])
+ Tonalude: partitionEithers :: [Either a b] -> ([a], [b])
- Tonalude: replicate :: () => Int -> a -> [a]
+ Tonalude: replicate :: Int -> a -> [a]
- Tonalude: reverse :: () => [a] -> [a]
+ Tonalude: reverse :: [a] -> [a]
- Tonalude: rights :: () => [Either a b] -> [b]
+ Tonalude: rights :: [Either a b] -> [b]
- Tonalude: runReader :: () => Reader r a -> r -> a
+ Tonalude: runReader :: Reader r a -> r -> a
- Tonalude: second :: Arrow a => a b c -> a (d, b) (d, c)
+ Tonalude: second :: Bifunctor p => (b -> c) -> p a b -> p a c
- Tonalude: seq :: () => a -> b -> b
+ Tonalude: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
- Tonalude: snd :: () => (a, b) -> b
+ Tonalude: snd :: (a, b) -> b
- Tonalude: span :: () => (a -> Bool) -> [a] -> ([a], [a])
+ Tonalude: span :: (a -> Bool) -> [a] -> ([a], [a])
- Tonalude: take :: () => Int -> [a] -> [a]
+ Tonalude: take :: Int -> [a] -> [a]
- Tonalude: takeWhile :: () => (a -> Bool) -> [a] -> [a]
+ Tonalude: takeWhile :: (a -> Bool) -> [a] -> [a]
- Tonalude: trace :: () => Text -> a -> a
+ Tonalude: trace :: Text -> a -> a
- Tonalude: traceEvent :: () => Text -> a -> a
+ Tonalude: traceEvent :: Text -> a -> a
- Tonalude: traceMarker :: () => Text -> a -> a
+ Tonalude: traceMarker :: Text -> a -> a
- Tonalude: traceStack :: () => Text -> a -> a
+ Tonalude: traceStack :: Text -> a -> a
- Tonalude: uncurry :: () => (a -> b -> c) -> (a, b) -> c
+ Tonalude: uncurry :: (a -> b -> c) -> (a, b) -> c
- Tonalude: undefined :: HasCallStack => a
+ Tonalude: undefined :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => a
- Tonalude: zip :: () => [a] -> [b] -> [(a, b)]
+ Tonalude: zip :: [a] -> [b] -> [(a, b)]
Files
- test/DocTest.hs +1/−3
- tonalude.cabal +20/−19
test/DocTest.hs view
@@ -16,8 +16,7 @@ ghcExtensions :: [String] ghcExtensions =- [ "-XAutoDeriveTypeable"- , "-XBangPatterns"+ [ "-XBangPatterns" , "-XBinaryLiterals" , "-XConstraintKinds" , "-XDataKinds"@@ -38,7 +37,6 @@ , "-XInstanceSigs" , "-XKindSignatures" , "-XLambdaCase"- , "-XMonadFailDesugaring" , "-XMultiParamTypeClasses" , "-XMultiWayIf" , "-XNamedFieldPuns"
tonalude.cabal view
@@ -1,11 +1,13 @@--- This file has been generated from package.yaml by hpack version 0.28.2.+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack ----- hash: 913c0a8b30f75978f0b2f3e8cfa680318f773a43866839bbca1f153ad6e24922+-- hash: fa68c2b3443518c8b8a8aa0fbd398c47fe2fef2bf724f722b1d813c5ab65b666 name: tonalude-version: 0.1.1.0+version: 0.1.1.1 synopsis: A standard library for Tonatona framework. description: Tonaparser provides a way to pass runtime configurations. This library is supposed to be used with @tonatona@. The Tonalude module works as a prelude replacement for Tonatona framework, providing more functionality and types out of the box than the standard prelude (such as common data types like ByteString and Text), as well as removing common "gotchas", like partial functions and lazy I/O. category: Control, Library, Tonatona@@ -17,7 +19,6 @@ license: MIT license-file: LICENSE build-type: Simple-cabal-version: >= 1.10 extra-source-files: README.md @@ -39,13 +40,13 @@ Tonalude.Prelude.Trace hs-source-dirs: src- default-extensions: AutoDeriveTypeable BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedStrings PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeSynonymInstances ViewPatterns+ default-extensions: BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedStrings PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeSynonymInstances ViewPatterns ghc-options: -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints build-depends:- base >=4.7 && <5- , bytestring >=0.10- , rio >=0.1.5- , unliftio >=0.2.4+ base >=4.7 && <4.15+ , bytestring >=0.10 && <0.11+ , rio >=0.1.5 && <0.2+ , unliftio >=0.2.4 && <0.3 default-language: Haskell2010 test-suite doctest@@ -53,15 +54,15 @@ main-is: DocTest.hs hs-source-dirs: test- default-extensions: AutoDeriveTypeable BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedStrings PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeSynonymInstances ViewPatterns+ default-extensions: BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedStrings PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeSynonymInstances ViewPatterns ghc-options: -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints build-depends: Glob- , base >=4.7 && <5- , bytestring >=0.10+ , base >=4.7 && <4.15+ , bytestring >=0.10 && <0.11 , doctest- , rio >=0.1.5- , unliftio >=0.2.4+ , rio >=0.1.5 && <0.2+ , unliftio >=0.2.4 && <0.3 default-language: Haskell2010 test-suite spec@@ -69,11 +70,11 @@ main-is: Spec.hs hs-source-dirs: test- default-extensions: AutoDeriveTypeable BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedStrings PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeSynonymInstances ViewPatterns+ default-extensions: BangPatterns BinaryLiterals ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DoAndIfThenElse EmptyDataDecls ExistentialQuantification FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses MultiWayIf NamedFieldPuns NoImplicitPrelude OverloadedStrings PartialTypeSignatures PatternGuards PolyKinds RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TupleSections TypeFamilies TypeSynonymInstances ViewPatterns ghc-options: -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints build-depends:- base >=4.7 && <5- , bytestring >=0.10- , rio >=0.1.5- , unliftio >=0.2.4+ base >=4.7 && <4.15+ , bytestring >=0.10 && <0.11+ , rio >=0.1.5 && <0.2+ , unliftio >=0.2.4 && <0.3 default-language: Haskell2010