linear-socket 0.3.3.2 → 0.3.3.3
raw patch · 4 files changed
+17/−50 lines, 4 filesdep −hlintdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: hlint
Dependency ranges changed: base
API changes (from Hackage documentation)
- Network.Typed.Socket: [SockAddrInet6] :: PortNumber -> !FlowInfo -> !HostAddress6 -> !ScopeID -> SockAddr InetV6
+ Network.Typed.Socket: [SockAddrInet6] :: PortNumber -> !FlowInfo -> !HostAddress6 -> !ScopeID -> SockAddr 'InetV6
- Network.Typed.Socket: [SockAddrInet] :: !PortNumber -> !HostAddress -> SockAddr InetV4
+ Network.Typed.Socket: [SockAddrInet] :: !PortNumber -> !HostAddress -> SockAddr 'InetV4
- Network.Typed.Socket: [SockAddrUnix] :: ![Char] -> SockAddr Unix
+ Network.Typed.Socket: [SockAddrUnix] :: ![Char] -> SockAddr 'Unix
- Network.Typed.Socket: accept :: SSocket f Tcp Listening sh -> IO (SSocket f Tcp Connected sh, SockAddr)
+ Network.Typed.Socket: accept :: SSocket f 'Tcp 'Listening sh -> IO (SSocket f 'Tcp 'Connected sh, SockAddr)
- Network.Typed.Socket: bind :: SockAddr f -> SSocket f p Unconnected sh -> IO (SSocket f p Bound sh)
+ Network.Typed.Socket: bind :: SockAddr f -> SSocket f p 'Unconnected sh -> IO (SSocket f p 'Bound sh)
- Network.Typed.Socket: close :: Closeable s ~ True => SSocket f p s sh -> IO (SSocket f p Closed sh)
+ Network.Typed.Socket: close :: Closeable s ~ 'True => SSocket f p s sh -> IO (SSocket f p 'Closed sh)
- Network.Typed.Socket: connect :: SockAddr f -> SSocket f Tcp Unconnected sh -> IO (SSocket f Tcp Connected Available)
+ Network.Typed.Socket: connect :: SockAddr f -> SSocket f 'Tcp 'Unconnected sh -> IO (SSocket f 'Tcp 'Connected 'Available)
- Network.Typed.Socket: listen :: Int -> SSocket f Tcp Bound sh -> IO (SSocket f Tcp Listening sh)
+ Network.Typed.Socket: listen :: Int -> SSocket f 'Tcp 'Bound sh -> IO (SSocket f 'Tcp 'Listening sh)
- Network.Typed.Socket: recv :: CanReceive sh ~ True => Int -> SSocket f Tcp Connected sh -> IO ByteString
+ Network.Typed.Socket: recv :: CanReceive sh ~ 'True => Int -> SSocket f 'Tcp 'Connected sh -> IO ByteString
- Network.Typed.Socket: recvFrom :: (CanReceive sh ~ True, SockFam f) => Int -> SSocket f Udp Unconnected sh -> IO (ByteString, SockAddr f)
+ Network.Typed.Socket: recvFrom :: (CanReceive sh ~ 'True, SockFam f) => Int -> SSocket f 'Udp 'Unconnected sh -> IO (ByteString, SockAddr f)
- Network.Typed.Socket: send :: CanSend sh ~ True => ByteString -> SSocket f Tcp Connected sh -> IO Int
+ Network.Typed.Socket: send :: CanSend sh ~ 'True => ByteString -> SSocket f 'Tcp 'Connected sh -> IO Int
- Network.Typed.Socket: sendTo :: CanSend sh ~ True => ByteString -> SockAddr f -> SSocket f Udp Unconnected sh -> IO Int
+ Network.Typed.Socket: sendTo :: CanSend sh ~ 'True => ByteString -> SockAddr f -> SSocket f 'Udp 'Unconnected sh -> IO Int
- Network.Typed.Socket: shutdownBoth :: CanShutdownBoth sh s ~ True => SSocket f p s sh -> IO (SSocket f p s (Shutdown sh ShutdownBoth))
+ Network.Typed.Socket: shutdownBoth :: CanShutdownBoth sh s ~ 'True => SSocket f p s sh -> IO (SSocket f p s (Shutdown sh 'ShutdownBoth))
- Network.Typed.Socket: shutdownReceive :: CanShutdownReceive sh s ~ True => SSocket f p s sh -> IO (SSocket f p s (Shutdown sh ShutdownReceive))
+ Network.Typed.Socket: shutdownReceive :: CanShutdownReceive sh s ~ 'True => SSocket f p s sh -> IO (SSocket f p s (Shutdown sh 'ShutdownReceive))
- Network.Typed.Socket: shutdownSend :: CanShutdownSend sh s ~ True => SSocket f p s sh -> IO (SSocket f p s (Shutdown sh ShutdownSend))
+ Network.Typed.Socket: shutdownSend :: CanShutdownSend sh s ~ 'True => SSocket f p s sh -> IO (SSocket f p s (Shutdown sh 'ShutdownSend))
- Network.Typed.Socket: socket :: forall f p. (SockFam f, SockProto p) => IO (SSocket f p Unconnected Available)
+ Network.Typed.Socket: socket :: forall f p. (SockFam f, SockProto p) => IO (SSocket f p 'Unconnected 'Available)
- Network.Typed.Socket: tcp4Socket :: IO (SSocket InetV4 Tcp Unconnected Available)
+ Network.Typed.Socket: tcp4Socket :: IO (SSocket 'InetV4 'Tcp 'Unconnected 'Available)
- Network.Typed.Socket: tcp6Socket :: IO (SSocket InetV6 Tcp Unconnected Available)
+ Network.Typed.Socket: tcp6Socket :: IO (SSocket 'InetV6 'Tcp 'Unconnected 'Available)
- Network.Typed.Socket: tcpUnixSocket :: IO (SSocket Unix Tcp Unconnected Available)
+ Network.Typed.Socket: tcpUnixSocket :: IO (SSocket 'Unix 'Tcp 'Unconnected 'Available)
- Network.Typed.Socket: udp4Socket :: IO (SSocket InetV4 Udp Unconnected Available)
+ Network.Typed.Socket: udp4Socket :: IO (SSocket 'InetV4 'Udp 'Unconnected 'Available)
- Network.Typed.Socket: udp6Socket :: IO (SSocket InetV6 Udp Unconnected Available)
+ Network.Typed.Socket: udp6Socket :: IO (SSocket 'InetV6 'Udp 'Unconnected 'Available)
- Network.Typed.Socket: udpUnixSocket :: IO (SSocket Unix Udp Unconnected Available)
+ Network.Typed.Socket: udpUnixSocket :: IO (SSocket 'Unix 'Udp 'Unconnected 'Available)
- Network.Typed.Socket: withSocket :: (SockFam f, SockProto p) => (SSocket f p Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withSocket :: (SockFam f, SockProto p) => (SSocket f p 'Unconnected 'Available -> IO a) -> IO a
- Network.Typed.Socket: withTcp4Socket :: (SSocket InetV4 Tcp Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withTcp4Socket :: (SSocket 'InetV4 'Tcp 'Unconnected 'Available -> IO a) -> IO a
- Network.Typed.Socket: withTcp6Socket :: (SSocket InetV6 Tcp Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withTcp6Socket :: (SSocket 'InetV6 'Tcp 'Unconnected 'Available -> IO a) -> IO a
- Network.Typed.Socket: withTcpUnixSocket :: (SSocket Unix Tcp Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withTcpUnixSocket :: (SSocket 'Unix 'Tcp 'Unconnected 'Available -> IO a) -> IO a
- Network.Typed.Socket: withUdp4Socket :: (SSocket InetV4 Udp Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withUdp4Socket :: (SSocket 'InetV4 'Udp 'Unconnected 'Available -> IO a) -> IO a
- Network.Typed.Socket: withUdp6Socket :: (SSocket InetV6 Udp Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withUdp6Socket :: (SSocket 'InetV6 'Udp 'Unconnected 'Available -> IO a) -> IO a
- Network.Typed.Socket: withUdpUnixSocket :: (SSocket Unix Udp Unconnected Available -> IO a) -> IO a
+ Network.Typed.Socket: withUdpUnixSocket :: (SSocket 'Unix 'Udp 'Unconnected 'Available -> IO a) -> IO a
Files
- README.md +1/−1
- changelog.md +5/−0
- linear-socket.cabal +11/−21
- test/HLint.hs +0/−28
README.md view
@@ -1,6 +1,6 @@ # linear-socket -| linear-socket | 0.3.3.2 |+| linear-socket | 0.3.3.3 | | ------------- | --------------------------------- | | Maintainer | Allele Dev (allele.dev@gmail.com) | | Funding | $0 USD |
changelog.md view
@@ -1,3 +1,8 @@+# 0.3.3.3 (Sep 29, 2018)++* fix some build issues+* update copyright year+ # 0.3.3.0 (Dec. 3, 2017) * remove ynot-prelude dependency
linear-socket.cabal view
@@ -1,20 +1,21 @@--- This file has been generated from package.yaml by hpack version 0.17.1.+-- This file has been generated from package.yaml by hpack version 0.28.2. -- -- see: https://github.com/sol/hpack+--+-- hash: a57db36447416378ee16cc46a30a221e63dad37bfe0cf296c1625cb1530de655 name: linear-socket-version: 0.3.3.2+version: 0.3.3.3 synopsis: Typed sockets description: Please see README.md license: GPL-3 license-file: LICENSE author: Allele Dev maintainer: allele.dev@gmail.com-copyright: Copyright (C) 2017 Allele Dev+copyright: Copyright (C) 2018 Allele Dev category: Network build-type: Simple cabal-version: >= 1.10- extra-source-files: changelog.md CODE_OF_CONDUCT.md@@ -29,27 +30,16 @@ src build-depends: base >=4.7 && <5- , network , bytestring+ , network exposed-modules: Network.Typed.Socket+ other-modules:+ Paths_linear_socket ghc-options: -Wall default-extensions: NoImplicitPrelude BinaryLiterals LambdaCase TupleSections NegativeLiterals OverloadedStrings ApplicativeDo Arrows BangPatterns MagicHash UnboxedTuples DeriveFoldable DeriveFunctor DeriveTraversable GeneralizedNewtypeDeriving StandaloneDeriving DisambiguateRecordFields DuplicateRecordFields NamedFieldPuns NamedWildCards RecordWildCards OverloadedLabels FlexibleInstances FunctionalDependencies MultiParamTypeClasses ConstraintKinds DataKinds EmptyCase EmptyDataDecls GADTs KindSignatures PartialTypeSignatures RankNTypes RoleAnnotations ScopedTypeVariables TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators TypeSynonymInstances default-language: Haskell2010 -executable linear-socket-hlint- main-is: HLint.hs- ghc-options: -w -threaded -rtsopts -with-rtsopts=-N- hs-source-dirs:- test- default-extensions: NoImplicitPrelude BinaryLiterals LambdaCase TupleSections NegativeLiterals OverloadedStrings ApplicativeDo Arrows BangPatterns MagicHash UnboxedTuples DeriveFoldable DeriveFunctor DeriveTraversable GeneralizedNewtypeDeriving StandaloneDeriving DisambiguateRecordFields DuplicateRecordFields NamedFieldPuns NamedWildCards RecordWildCards OverloadedLabels FlexibleInstances FunctionalDependencies MultiParamTypeClasses ConstraintKinds DataKinds EmptyCase EmptyDataDecls GADTs KindSignatures PartialTypeSignatures RankNTypes RoleAnnotations ScopedTypeVariables TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators TypeSynonymInstances- build-depends:- base- , hlint >=1.9.27- other-modules:- Spec- default-language: Haskell2010- test-suite linear-socket-test type: exitcode-stdio-1.0 hs-source-dirs:@@ -57,12 +47,12 @@ main-is: Spec.hs build-depends: base- , network+ , hspec , linear-socket+ , network , tasty-hspec- , hspec other-modules:- HLint+ Paths_linear_socket ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N default-extensions: NoImplicitPrelude BinaryLiterals LambdaCase TupleSections NegativeLiterals OverloadedStrings ApplicativeDo Arrows BangPatterns MagicHash UnboxedTuples DeriveFoldable DeriveFunctor DeriveTraversable GeneralizedNewtypeDeriving StandaloneDeriving DisambiguateRecordFields DuplicateRecordFields NamedFieldPuns NamedWildCards RecordWildCards OverloadedLabels FlexibleInstances FunctionalDependencies MultiParamTypeClasses ConstraintKinds DataKinds EmptyCase EmptyDataDecls GADTs KindSignatures PartialTypeSignatures RankNTypes RoleAnnotations ScopedTypeVariables TypeApplications TypeFamilies TypeFamilyDependencies TypeOperators TypeSynonymInstances default-language: Haskell2010
− test/HLint.hs
@@ -1,28 +0,0 @@--------------------------------------------------------------------------------- |--- Module : Main (linear-socket-hlint)--- Copyright : Copyright (C) 2017 Allele Dev--- License : GPL-3 (see the file LICENSE)--- Maintainer : allele.dev@gmail.com--- Stability : provisional--- Portability : portable------ This module runs HLint on the linear-socket source tree.------ Adapted from the lens project:--- - https://github.com/ekmett/lens/blob/master/tests/hlint.hs-------------------------------------------------------------------------------module Main where--import Prelude--import Control.Monad-import Language.Haskell.HLint-import System.Environment-import System.Exit--main :: IO ()-main = do- args <- getArgs- hints <- hlint $ ["src", "--cpp-define=HLINT", "--cpp-ansi"] ++ args- unless (null hints) exitFailure