foundation 0.0.25 → 0.0.26
raw patch · 2 files changed
+2/−2 lines, 2 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Foundation: data Proxy (t :: k) :: forall k. () => k -> Type
- Foundation: fail :: Monad m => String -> m a
- Foundation.VFS: -- case of the <a>URI</a>, it is a the query, the fragment
- Foundation.VFS: -- of a <a>URI</a>, it is the schema, host, port...
- Foundation.VFS.Path: -- case of the <a>URI</a>, it is a the query, the fragment
- Foundation.VFS.Path: -- of a <a>URI</a>, it is the schema, host, port...
+ Foundation: data Proxy (t :: k)
+ Foundation.Monad.Except: instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (Foundation.Monad.Except.ExceptT e m)
+ Foundation.VFS: -- the case of the <a>URI</a>, it is a the query, the fragment
+ Foundation.VFS.Path: -- the case of the <a>URI</a>, it is a the query, the fragment
- Foundation: ($!) :: () => (a -> b) -> a -> b
+ Foundation: ($!) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
- Foundation: ($) :: () => (a -> b) -> a -> b
+ Foundation: ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
- Foundation: (.) :: Category cat => cat b c -> cat a b -> cat a c
+ Foundation: (.) :: forall (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c
- Foundation: Proxy :: Proxy
+ Foundation: Proxy :: Proxy (t :: k)
- Foundation: asProxyTypeOf :: () => a -> proxy a -> a
+ Foundation: asProxyTypeOf :: a -> proxy a -> a
- Foundation: asTypeOf :: () => a -> a -> a
+ Foundation: asTypeOf :: a -> a -> a
- Foundation: catMaybes :: () => [Maybe a] -> [a]
+ Foundation: catMaybes :: [Maybe a] -> [a]
- Foundation: const :: () => a -> b -> a
+ Foundation: const :: a -> b -> a
- Foundation: curry :: () => ((a, b) -> c) -> a -> b -> c
+ Foundation: curry :: ((a, b) -> c) -> a -> b -> c
- Foundation: either :: () => (a -> c) -> (b -> c) -> Either a b -> c
+ Foundation: either :: (a -> c) -> (b -> c) -> Either a b -> c
- Foundation: error :: HasCallStack => String -> a
+ Foundation: error :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => String -> a
- Foundation: flip :: () => (a -> b -> c) -> b -> a -> c
+ Foundation: flip :: (a -> b -> c) -> b -> a -> c
- Foundation: fromMaybe :: () => a -> Maybe a -> a
+ Foundation: fromMaybe :: a -> Maybe a -> a
- Foundation: id :: Category cat => cat a a
+ Foundation: id :: forall (a :: k). Category cat => cat a a
- Foundation: ifThenElse :: () => Bool -> a -> a -> a
+ Foundation: ifThenElse :: Bool -> a -> a -> a
- Foundation: infixr 0 $!
+ Foundation: infixr 0 `seq`
- Foundation: isJust :: () => Maybe a -> Bool
+ Foundation: isJust :: Maybe a -> Bool
- Foundation: isNothing :: () => Maybe a -> Bool
+ Foundation: isNothing :: Maybe a -> Bool
- Foundation: lefts :: () => [Either a b] -> [a]
+ Foundation: lefts :: [Either a b] -> [a]
- Foundation: listToMaybe :: () => [a] -> Maybe a
+ Foundation: listToMaybe :: [a] -> Maybe a
- Foundation: mapMaybe :: () => (a -> Maybe b) -> [a] -> [b]
+ Foundation: mapMaybe :: (a -> Maybe b) -> [a] -> [b]
- Foundation: maybe :: () => b -> (a -> b) -> Maybe a -> b
+ Foundation: maybe :: b -> (a -> b) -> Maybe a -> b
- Foundation: maybeToList :: () => Maybe a -> [a]
+ Foundation: maybeToList :: Maybe a -> [a]
- Foundation: on :: () => (b -> b -> c) -> (a -> b) -> a -> a -> c
+ Foundation: on :: (b -> b -> c) -> (a -> b) -> a -> a -> c
- Foundation: partitionEithers :: () => [Either a b] -> ([a], [b])
+ Foundation: partitionEithers :: [Either a b] -> ([a], [b])
- Foundation: rights :: () => [Either a b] -> [b]
+ Foundation: rights :: [Either a b] -> [b]
- Foundation: seq :: () => a -> b -> b
+ Foundation: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
- Foundation: swap :: () => (a, b) -> (b, a)
+ Foundation: swap :: (a, b) -> (b, a)
- Foundation: type family Difference a :: Type;
+ Foundation: type family Difference a;
- Foundation: uncurry :: () => (a -> b -> c) -> (a, b) -> c
+ Foundation: uncurry :: (a -> b -> c) -> (a, b) -> c
- Foundation: undefined :: HasCallStack => a
+ Foundation: undefined :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => a
- Foundation: until :: () => (a -> Bool) -> (a -> a) -> a -> a
+ Foundation: until :: (a -> Bool) -> (a -> a) -> a -> a
- Foundation.Array.Internal: withPtr :: (PrimMonad prim, PrimType ty) => UArray ty -> (Ptr ty -> prim a) -> prim a
+ Foundation.Array.Internal: withPtr :: forall ty prim a. (PrimMonad prim, PrimType ty) => UArray ty -> (Ptr ty -> prim a) -> prim a
- Foundation.Class.Storable: castPtr :: () => Ptr a -> Ptr b
+ Foundation.Class.Storable: castPtr :: Ptr a -> Ptr b
- Foundation.Collection: Builder :: State (Offset step, BuildingState collection mutCollection step (PrimState state), Maybe err) state a -> Builder collection step err a
+ Foundation.Collection: Builder :: State (Offset step, BuildingState collection mutCollection step (PrimState state), Maybe err) state a -> Builder collection (mutCollection :: Type -> Type) step (state :: Type -> Type) err a
- Foundation.Collection: BuildingState :: [collection] -> !CountOf step -> mutCollection state -> !CountOf step -> BuildingState collection step state
+ Foundation.Collection: BuildingState :: [collection] -> !CountOf step -> mutCollection state -> !CountOf step -> BuildingState collection (mutCollection :: Type -> Type) step state
- Foundation.Collection: [chunkSize] :: BuildingState collection step state -> !CountOf step
+ Foundation.Collection: [chunkSize] :: BuildingState collection (mutCollection :: Type -> Type) step state -> !CountOf step
- Foundation.Collection: [curChunk] :: BuildingState collection step state -> mutCollection state
+ Foundation.Collection: [curChunk] :: BuildingState collection (mutCollection :: Type -> Type) step state -> mutCollection state
- Foundation.Collection: [prevChunksSize] :: BuildingState collection step state -> !CountOf step
+ Foundation.Collection: [prevChunksSize] :: BuildingState collection (mutCollection :: Type -> Type) step state -> !CountOf step
- Foundation.Collection: [prevChunks] :: BuildingState collection step state -> [collection]
+ Foundation.Collection: [prevChunks] :: BuildingState collection (mutCollection :: Type -> Type) step state -> [collection]
- Foundation.Collection: [runBuilder] :: Builder collection step err a -> State (Offset step, BuildingState collection mutCollection step (PrimState state), Maybe err) state a
+ Foundation.Collection: [runBuilder] :: Builder collection (mutCollection :: Type -> Type) step (state :: Type -> Type) err a -> State (Offset step, BuildingState collection mutCollection step (PrimState state), Maybe err) state a
- Foundation.IO.Terminal: exitFailure :: () => IO a
+ Foundation.IO.Terminal: exitFailure :: IO a
- Foundation.IO.Terminal: exitSuccess :: () => IO a
+ Foundation.IO.Terminal: exitSuccess :: IO a
- Foundation.Monad: type family Failure (m :: Type -> Type) :: Type;
+ Foundation.Monad: type family Failure (m :: Type -> Type);
- Foundation.Numerical: type family Difference a :: Type;
+ Foundation.Numerical: type family Difference a;
- Foundation.String.Read: readFloatingExact :: () => String -> ReadFloatingCallback a -> Maybe a
+ Foundation.String.Read: readFloatingExact :: String -> ReadFloatingCallback a -> Maybe a
- Foundation.VFS: -- in the case of the <a>FilePath</a>, it is a void (i.e. `()`) in the
+ Foundation.VFS: -- in the case of the <a>FilePath</a>, it is a void (i.e. <tt>()</tt>) in
- Foundation.VFS.Path: -- in the case of the <a>FilePath</a>, it is a void (i.e. `()`) in the
+ Foundation.VFS.Path: -- in the case of the <a>FilePath</a>, it is a void (i.e. <tt>()</tt>) in
Files
- Foundation/Conduit/Internal.hs +1/−1
- foundation.cabal +1/−1
Foundation/Conduit/Internal.hs view
@@ -126,7 +126,7 @@ instance MonadCatch m => MonadCatch (Conduit i o m) where catch (Conduit c0) onExc = Conduit $ \rest -> let go (PipeM m) =- PipeM $ catch (liftM go m) (return . flip unConduit rest . onExc)+ PipeM $ catch (liftM go m) (\x -> return $ unConduit (onExc x) rest) go (Done r) = rest r go (Await p c) = Await (go . p) (go . c) go (Yield p m o) = Yield (go p) m o
foundation.cabal view
@@ -1,5 +1,5 @@ name: foundation-version: 0.0.25+version: 0.0.26 synopsis: Alternative prelude with batteries and no dependencies description: A custom prelude with no dependencies apart from base.