Safe Haskell	None
Language	Haskell2010

Network.Top.Types

Contents

Top access point configuration
Connection Protocols
Connection
WebSocket Connection
CHATS
Network Addresses
Re-exports
Orphan instances

Synopsis

Top access point configuration

newtype Config Source #

Top's access point configuration

Constructors

Config
Fields accessPoint :: WebSocketAddress IP4Address

Instances

Default Config Source #	The configuration for the default Top router
Methods def :: Config #

cfgIP :: Config -> String Source #

Return Top's access point IP

cfgPort :: Config -> Int Source #

Return Top's access point Port

cfgPath :: Config -> String Source #

Return Top's access point Path

def :: Default a => a #

The default value for this type.

Connection Protocols

newtype ByPattern a Source #

A routing protocol specified by a pattern and a type.

Once a connection is established, clients:

can send messages of the given type
will receive all messages of the same type, that match the given pattern, sent by other agents

Constructors

ByPattern Pattern

Instances

Eq (ByPattern a) Source #
Methods (==) :: ByPattern a -> ByPattern a -> Bool # (/=) :: ByPattern a -> ByPattern a -> Bool #
Ord (ByPattern a) Source #
Methods compare :: ByPattern a -> ByPattern a -> Ordering # (<) :: ByPattern a -> ByPattern a -> Bool # (<=) :: ByPattern a -> ByPattern a -> Bool # (>) :: ByPattern a -> ByPattern a -> Bool # (>=) :: ByPattern a -> ByPattern a -> Bool # max :: ByPattern a -> ByPattern a -> ByPattern a # min :: ByPattern a -> ByPattern a -> ByPattern a #
Show (ByPattern a) Source #
Methods showsPrec :: Int -> ByPattern a -> ShowS # show :: ByPattern a -> String # showList :: [ByPattern a] -> ShowS #
Generic (ByPattern a) Source #
Associated Types type Rep (ByPattern a) :: * -> * # Methods from :: ByPattern a -> Rep (ByPattern a) x # to :: Rep (ByPattern a) x -> ByPattern a #
Flat (ByPattern a) Source #
Methods encode :: ByPattern a -> Encoding # decode :: Get (ByPattern a) # size :: ByPattern a -> NumBits -> NumBits #
Model a => Model (ByPattern a) Source #
Methods envType :: Proxy * (ByPattern a) -> State Env HType #
type Rep (ByPattern a) Source #
type Rep (ByPattern a) = D1 (MetaData "ByPattern" "Data.Pattern.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" True) (C1 (MetaCons "ByPattern" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pattern)))

data ByType a Source #

A routing protocol specified by a type.

Once a connection is established, clients:

can send messages of the given type
will receive all messages of the same type sent by other agents

Constructors

ByType

Instances

Eq (ByType a) Source #
Methods (==) :: ByType a -> ByType a -> Bool # (/=) :: ByType a -> ByType a -> Bool #
Ord (ByType a) Source #
Methods compare :: ByType a -> ByType a -> Ordering # (<) :: ByType a -> ByType a -> Bool # (<=) :: ByType a -> ByType a -> Bool # (>) :: ByType a -> ByType a -> Bool # (>=) :: ByType a -> ByType a -> Bool # max :: ByType a -> ByType a -> ByType a # min :: ByType a -> ByType a -> ByType a #
Show (ByType a) Source #
Methods showsPrec :: Int -> ByType a -> ShowS # show :: ByType a -> String # showList :: [ByType a] -> ShowS #
Generic (ByType a) Source #
Associated Types type Rep (ByType a) :: * -> * # Methods from :: ByType a -> Rep (ByType a) x # to :: Rep (ByType a) x -> ByType a #
Flat (ByType a) Source #
Methods encode :: ByType a -> Encoding # decode :: Get (ByType a) # size :: ByType a -> NumBits -> NumBits #
Model a => Model (ByType a) Source #
Methods envType :: Proxy * (ByType a) -> State Env HType #
type Rep (ByType a) Source #
type Rep (ByType a) = D1 (MetaData "ByType" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "ByType" PrefixI False) U1)

byTypeRouter :: Type AbsRef -> TypedBLOB Source #

Return the value of the ByType router identifier for the given type

data ByAny a Source #

A routing protocol to receive all messages.

The ByAny type parameter indicates the type of the messages exchanged on the channel (usually:TypedBLOB).

Once a connection is established, clients:

can send messages of any type, as values of the ByAny type argument (for example: an Int value encoded as the corresponding TypedBLOB value)
will receive all messages sent by other agents

Constructors

ByAny

Instances

Eq (ByAny a) Source #
Methods (==) :: ByAny a -> ByAny a -> Bool # (/=) :: ByAny a -> ByAny a -> Bool #
Ord (ByAny a) Source #
Methods compare :: ByAny a -> ByAny a -> Ordering # (<) :: ByAny a -> ByAny a -> Bool # (<=) :: ByAny a -> ByAny a -> Bool # (>) :: ByAny a -> ByAny a -> Bool # (>=) :: ByAny a -> ByAny a -> Bool # max :: ByAny a -> ByAny a -> ByAny a # min :: ByAny a -> ByAny a -> ByAny a #
Show (ByAny a) Source #
Methods showsPrec :: Int -> ByAny a -> ShowS # show :: ByAny a -> String # showList :: [ByAny a] -> ShowS #
Generic (ByAny a) Source #
Associated Types type Rep (ByAny a) :: * -> * # Methods from :: ByAny a -> Rep (ByAny a) x # to :: Rep (ByAny a) x -> ByAny a #
Flat (ByAny a) Source #
Methods encode :: ByAny a -> Encoding # decode :: Get (ByAny a) # size :: ByAny a -> NumBits -> NumBits #
Model a => Model (ByAny a) Source #
Methods envType :: Proxy * (ByAny a) -> State Env HType #
type Rep (ByAny a) Source #
type Rep (ByAny a) = D1 (MetaData "ByAny" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "ByAny" PrefixI False) U1)

byAny :: ByAny TypedBLOB Source #

Shortcut to specify

data Echo a Source #

Echo protocol: any value sent in is returned verbatim to the sender (useful for testing purposes) Client can specify if received messages should be logged (for debugging purposes)

Constructors

Echo
Fields echoDebug :: Bool

Instances

Eq (Echo a) Source #
Methods (==) :: Echo a -> Echo a -> Bool # (/=) :: Echo a -> Echo a -> Bool #
Ord (Echo a) Source #
Methods compare :: Echo a -> Echo a -> Ordering # (<) :: Echo a -> Echo a -> Bool # (<=) :: Echo a -> Echo a -> Bool # (>) :: Echo a -> Echo a -> Bool # (>=) :: Echo a -> Echo a -> Bool # max :: Echo a -> Echo a -> Echo a # min :: Echo a -> Echo a -> Echo a #
Show (Echo a) Source #
Methods showsPrec :: Int -> Echo a -> ShowS # show :: Echo a -> String # showList :: [Echo a] -> ShowS #
Generic (Echo a) Source #
Associated Types type Rep (Echo a) :: * -> * # Methods from :: Echo a -> Rep (Echo a) x # to :: Rep (Echo a) x -> Echo a #
Flat (Echo a) Source #
Methods encode :: Echo a -> Encoding # decode :: Get (Echo a) # size :: Echo a -> NumBits -> NumBits #
Model a => Model (Echo a) Source #
Methods envType :: Proxy * (Echo a) -> State Env HType #
type Rep (Echo a) Source #
type Rep (Echo a) = D1 (MetaData "Echo" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "Echo" PrefixI True) (S1 (MetaSel (Just Symbol "echoDebug") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))

Connection

type App a r = Connection a -> IO r Source #

An application that connects to a channel of type a and eventually returns an IO r

data Connection a Source #

A typed bidirectional connection/channel

Constructors

Connection
Fields input :: IO a Block read till a value is received output :: a -> IO () Block write till a value is sent close :: IO () Close the connection

inputWithTimeout :: Int -> Connection a -> IO (Maybe a) Source #

Return a value received on the connection or Nothing if no value is received in the specified number of seconds

NOTE: In case of timeout, the connection will be closed.

WebSocket Connection

type WSApp r = App ByteString r Source #

An application that connects to a WebSocket channel of type a and eventually returns an IO r

type WSConnection = Connection ByteString Source #

A WebSocket connection

chatsProtocol :: ByteString Source #

CHATS binary identifier

chatsProtocolT :: Text Source #

CHATS textual identifier

CHATS

type WSChannelResult = ChannelSelectionResult (WebSocketAddress IP4Address) Source #

data ChannelSelectionResult addr Source #

The value returned by an access point, after receiving a routing channel setup request.

Constructors

Success	The channel has been permanently setup to the requested protocol
Failure	The access point is unable or unwilling to open a connection with the requested routing protocol
Fields reason :: String
RetryAt addr	User should retry with the same transport protocol at the indicated address

Instances

Eq addr => Eq (ChannelSelectionResult addr) Source #
Methods (==) :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Bool # (/=) :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Bool #
Ord addr => Ord (ChannelSelectionResult addr) Source #
Methods compare :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Ordering # (<) :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Bool # (<=) :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Bool # (>) :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Bool # (>=) :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> Bool # max :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> ChannelSelectionResult addr # min :: ChannelSelectionResult addr -> ChannelSelectionResult addr -> ChannelSelectionResult addr #
Show addr => Show (ChannelSelectionResult addr) Source #
Methods showsPrec :: Int -> ChannelSelectionResult addr -> ShowS # show :: ChannelSelectionResult addr -> String # showList :: [ChannelSelectionResult addr] -> ShowS #
Generic (ChannelSelectionResult addr) Source #
Associated Types type Rep (ChannelSelectionResult addr) :: * -> * # Methods from :: ChannelSelectionResult addr -> Rep (ChannelSelectionResult addr) x # to :: Rep (ChannelSelectionResult addr) x -> ChannelSelectionResult addr #
Flat addr => Flat (ChannelSelectionResult addr) Source #
Methods encode :: ChannelSelectionResult addr -> Encoding # decode :: Get (ChannelSelectionResult addr) # size :: ChannelSelectionResult addr -> NumBits -> NumBits #
Model a => Model (ChannelSelectionResult a) Source #
Methods envType :: Proxy * (ChannelSelectionResult a) -> State Env HType #
type Rep (ChannelSelectionResult addr) Source #
type Rep (ChannelSelectionResult addr) = D1 (MetaData "ChannelSelectionResult" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) ((:+:) (C1 (MetaCons "Success" PrefixI False) U1) ((:+:) (C1 (MetaCons "Failure" PrefixI True) (S1 (MetaSel (Just Symbol "reason") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "RetryAt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 addr)))))

Network Addresses

data WebSocketAddress ip Source #

The full address of a WebSocket endpoint

Constructors

WebSocketAddress
Fields secure :: Bool True if the connection is wss (secure), False if is ws host :: SocketAddress ip Host endpoint, example: SocketAddress (DNSAddress "quid2.net") (HostPort 80) path :: String Path to the WebSocket access point, example: "/ws"

Instances

Eq ip => Eq (WebSocketAddress ip) Source #
Methods (==) :: WebSocketAddress ip -> WebSocketAddress ip -> Bool # (/=) :: WebSocketAddress ip -> WebSocketAddress ip -> Bool #
Ord ip => Ord (WebSocketAddress ip) Source #
Methods compare :: WebSocketAddress ip -> WebSocketAddress ip -> Ordering # (<) :: WebSocketAddress ip -> WebSocketAddress ip -> Bool # (<=) :: WebSocketAddress ip -> WebSocketAddress ip -> Bool # (>) :: WebSocketAddress ip -> WebSocketAddress ip -> Bool # (>=) :: WebSocketAddress ip -> WebSocketAddress ip -> Bool # max :: WebSocketAddress ip -> WebSocketAddress ip -> WebSocketAddress ip # min :: WebSocketAddress ip -> WebSocketAddress ip -> WebSocketAddress ip #
Show ip => Show (WebSocketAddress ip) Source #
Methods showsPrec :: Int -> WebSocketAddress ip -> ShowS # show :: WebSocketAddress ip -> String # showList :: [WebSocketAddress ip] -> ShowS #
Generic (WebSocketAddress ip) Source #
Associated Types type Rep (WebSocketAddress ip) :: * -> * # Methods from :: WebSocketAddress ip -> Rep (WebSocketAddress ip) x # to :: Rep (WebSocketAddress ip) x -> WebSocketAddress ip #
Flat ip => Flat (WebSocketAddress ip) Source #
Methods encode :: WebSocketAddress ip -> Encoding # decode :: Get (WebSocketAddress ip) # size :: WebSocketAddress ip -> NumBits -> NumBits #
Model ip => Model (WebSocketAddress ip) Source #
Methods envType :: Proxy * (WebSocketAddress ip) -> State Env HType #
type Rep (WebSocketAddress ip) Source #
type Rep (WebSocketAddress ip) = D1 (MetaData "WebSocketAddress" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "WebSocketAddress" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "secure") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((::) (S1 (MetaSel (Just Symbol "host") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (SocketAddress ip))) (S1 (MetaSel (Just Symbol "path") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

data SocketAddress ip Source #

The address of a network socket

Constructors

SocketAddress
Fields socketAddress :: HostAddress ip socketPort :: HostPort

Instances

Eq ip => Eq (SocketAddress ip) Source #
Methods (==) :: SocketAddress ip -> SocketAddress ip -> Bool # (/=) :: SocketAddress ip -> SocketAddress ip -> Bool #
Ord ip => Ord (SocketAddress ip) Source #
Methods compare :: SocketAddress ip -> SocketAddress ip -> Ordering # (<) :: SocketAddress ip -> SocketAddress ip -> Bool # (<=) :: SocketAddress ip -> SocketAddress ip -> Bool # (>) :: SocketAddress ip -> SocketAddress ip -> Bool # (>=) :: SocketAddress ip -> SocketAddress ip -> Bool # max :: SocketAddress ip -> SocketAddress ip -> SocketAddress ip # min :: SocketAddress ip -> SocketAddress ip -> SocketAddress ip #
Show ip => Show (SocketAddress ip) Source #
Methods showsPrec :: Int -> SocketAddress ip -> ShowS # show :: SocketAddress ip -> String # showList :: [SocketAddress ip] -> ShowS #
Generic (SocketAddress ip) Source #
Associated Types type Rep (SocketAddress ip) :: * -> * # Methods from :: SocketAddress ip -> Rep (SocketAddress ip) x # to :: Rep (SocketAddress ip) x -> SocketAddress ip #
Flat ip => Flat (SocketAddress ip) Source #
Methods encode :: SocketAddress ip -> Encoding # decode :: Get (SocketAddress ip) # size :: SocketAddress ip -> NumBits -> NumBits #
Model ip => Model (SocketAddress ip) Source #
Methods envType :: Proxy * (SocketAddress ip) -> State Env HType #
type Rep (SocketAddress ip) Source #
type Rep (SocketAddress ip) = D1 (MetaData "SocketAddress" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "SocketAddress" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "socketAddress") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (HostAddress ip))) (S1 (MetaSel (Just Symbol "socketPort") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HostPort))))

data IP4Address Source #

An IP4 address

Constructors

IP4Address Word8 Word8 Word8 Word8

Instances

Eq IP4Address Source #
Methods (==) :: IP4Address -> IP4Address -> Bool # (/=) :: IP4Address -> IP4Address -> Bool #
Ord IP4Address Source #
Methods compare :: IP4Address -> IP4Address -> Ordering # (<) :: IP4Address -> IP4Address -> Bool # (<=) :: IP4Address -> IP4Address -> Bool # (>) :: IP4Address -> IP4Address -> Bool # (>=) :: IP4Address -> IP4Address -> Bool # max :: IP4Address -> IP4Address -> IP4Address # min :: IP4Address -> IP4Address -> IP4Address #
Show IP4Address Source #
Methods showsPrec :: Int -> IP4Address -> ShowS # show :: IP4Address -> String # showList :: [IP4Address] -> ShowS #
Generic IP4Address Source #
Associated Types type Rep IP4Address :: * -> * # Methods from :: IP4Address -> Rep IP4Address x # to :: Rep IP4Address x -> IP4Address #
Flat IP4Address Source #
Methods encode :: IP4Address -> Encoding # decode :: Get IP4Address # size :: IP4Address -> NumBits -> NumBits #
Model IP4Address Source #
Methods envType :: Proxy * IP4Address -> State Env HType #
Pretty IP4Address Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> IP4Address -> Doc # pPrint :: IP4Address -> Doc # pPrintList :: PrettyLevel -> [IP4Address] -> Doc #
type Rep IP4Address Source #
type Rep IP4Address = D1 (MetaData "IP4Address" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "IP4Address" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))))

data IP6Address Source #

An IP6 address

Instances

Eq IP6Address Source #
Methods (==) :: IP6Address -> IP6Address -> Bool # (/=) :: IP6Address -> IP6Address -> Bool #
Ord IP6Address Source #
Methods compare :: IP6Address -> IP6Address -> Ordering # (<) :: IP6Address -> IP6Address -> Bool # (<=) :: IP6Address -> IP6Address -> Bool # (>) :: IP6Address -> IP6Address -> Bool # (>=) :: IP6Address -> IP6Address -> Bool # max :: IP6Address -> IP6Address -> IP6Address # min :: IP6Address -> IP6Address -> IP6Address #
Show IP6Address Source #
Methods showsPrec :: Int -> IP6Address -> ShowS # show :: IP6Address -> String # showList :: [IP6Address] -> ShowS #
Generic IP6Address Source #
Associated Types type Rep IP6Address :: * -> * # Methods from :: IP6Address -> Rep IP6Address x # to :: Rep IP6Address x -> IP6Address #
Flat IP6Address Source #
Methods encode :: IP6Address -> Encoding # decode :: Get IP6Address # size :: IP6Address -> NumBits -> NumBits #
Model IP6Address Source #
Methods envType :: Proxy * IP6Address -> State Env HType #
type Rep IP6Address Source #
type Rep IP6Address = D1 (MetaData "IP6Address" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "IP6Address" PrefixI False) ((::) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)))) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))))))

data HostAddress ip Source #

A host address, either an IP or a DNS domain

Constructors

IPAddress ip
DNSAddress String

Instances

Eq ip => Eq (HostAddress ip) Source #
Methods (==) :: HostAddress ip -> HostAddress ip -> Bool # (/=) :: HostAddress ip -> HostAddress ip -> Bool #
Ord ip => Ord (HostAddress ip) Source #
Methods compare :: HostAddress ip -> HostAddress ip -> Ordering # (<) :: HostAddress ip -> HostAddress ip -> Bool # (<=) :: HostAddress ip -> HostAddress ip -> Bool # (>) :: HostAddress ip -> HostAddress ip -> Bool # (>=) :: HostAddress ip -> HostAddress ip -> Bool # max :: HostAddress ip -> HostAddress ip -> HostAddress ip # min :: HostAddress ip -> HostAddress ip -> HostAddress ip #
Show ip => Show (HostAddress ip) Source #
Methods showsPrec :: Int -> HostAddress ip -> ShowS # show :: HostAddress ip -> String # showList :: [HostAddress ip] -> ShowS #
Generic (HostAddress ip) Source #
Associated Types type Rep (HostAddress ip) :: * -> * # Methods from :: HostAddress ip -> Rep (HostAddress ip) x # to :: Rep (HostAddress ip) x -> HostAddress ip #
Flat ip => Flat (HostAddress ip) Source #
Methods encode :: HostAddress ip -> Encoding # decode :: Get (HostAddress ip) # size :: HostAddress ip -> NumBits -> NumBits #
Model ip => Model (HostAddress ip) Source #
Methods envType :: Proxy * (HostAddress ip) -> State Env HType #
Pretty ip => Pretty (HostAddress ip) Source #
Methods pPrintPrec :: PrettyLevel -> Rational -> HostAddress ip -> Doc # pPrint :: HostAddress ip -> Doc # pPrintList :: PrettyLevel -> [HostAddress ip] -> Doc #
type Rep (HostAddress ip) Source #
type Rep (HostAddress ip) = D1 (MetaData "HostAddress" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) ((:+:) (C1 (MetaCons "IPAddress" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ip))) (C1 (MetaCons "DNSAddress" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data HostPort Source #

A Sockets port (e.g. 80)

Constructors

HostPort
Fields port :: Word16

Instances

Eq HostPort Source #
Methods (==) :: HostPort -> HostPort -> Bool # (/=) :: HostPort -> HostPort -> Bool #
Ord HostPort Source #
Methods compare :: HostPort -> HostPort -> Ordering # (<) :: HostPort -> HostPort -> Bool # (<=) :: HostPort -> HostPort -> Bool # (>) :: HostPort -> HostPort -> Bool # (>=) :: HostPort -> HostPort -> Bool # max :: HostPort -> HostPort -> HostPort # min :: HostPort -> HostPort -> HostPort #
Show HostPort Source #
Methods showsPrec :: Int -> HostPort -> ShowS # show :: HostPort -> String # showList :: [HostPort] -> ShowS #
Generic HostPort Source #
Associated Types type Rep HostPort :: * -> * # Methods from :: HostPort -> Rep HostPort x # to :: Rep HostPort x -> HostPort #
Flat HostPort Source #
Methods encode :: HostPort -> Encoding # decode :: Get HostPort # size :: HostPort -> NumBits -> NumBits #
Model HostPort Source #
Methods envType :: Proxy * HostPort -> State Env HType #
type Rep HostPort Source #
type Rep HostPort = D1 (MetaData "HostPort" "Network.Top.Types" "top-0.2.4-7a1nh8xG3Hf47wJEwYUttt" False) (C1 (MetaCons "HostPort" PrefixI True) (S1 (MetaSel (Just Symbol "port") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)))

Re-exports

Orphan instances

Lift PRef Source #
Methods lift :: PRef -> Q Exp #
Lift a => Lift (Pat a) Source #
Methods lift :: Pat a -> Q Exp #