Module

Erl.Kernel.Inet

Package: erl-kernel
Repository: id3as/purescript-erl-kernel

#ActiveError Source

data ActiveError

Constructors

Instances

#ActiveSocket Source

data ActiveSocket :: SocketMessageBehaviour

Instances

OptionsValid ActiveSocket options

#AddressFamily Source

data AddressFamily

Constructors

Instances

Eq AddressFamily
ToErl AddressFamily

#CommonOptions Source

type CommonOptions :: Row Type -> Row Typetype CommonOptions r = (active :: Maybe SocketActive, buffer :: Maybe NonNegInt, dontroute :: Maybe Boolean, header :: Maybe NonNegInt, high_msgq_watermark :: Maybe NonNegInt, ipv6_v6only :: Maybe Boolean, low_msgq_watermark :: Maybe NonNegInt, priority :: Maybe Int, raw :: Maybe (List Raw), recbuf :: Maybe NonNegInt, recvtclass :: Maybe Boolean, recvtos :: Maybe Boolean, recvttl :: Maybe Boolean, reuseaddr :: Maybe Boolean, sndbuf :: Maybe NonNegInt, tclass :: Maybe NonNegInt, tos :: Maybe Int, ttl :: Maybe NonNegInt | r)

#ConnectAddress Source

data ConnectAddress

Constructors

Instances

ToErl ConnectAddress

#ConnectError Source

data ConnectError

Constructors

Instances

#ConnectedSocket Source

data ConnectedSocket :: SocketType

#HostAddress Source

data HostAddress

Constructors

Host Hostname
Ip IpAddress

Instances

#Hostname Source

type Hostname = String

#InterfaceAddressRecord Source

type InterfaceAddressRecord ipType = { address :: ipType, broadcastAddress :: Maybe Ip4Address, dstAddress :: Maybe Ip4Address, netmask :: ipType }

#InterfaceAddresses Source

data InterfaceAddresses

Constructors

#InterfaceFlags Source

data InterfaceFlags

Constructors

#InterfaceName Source

type InterfaceName = Atom

#InterfaceOptions Source

newtype InterfaceOptions

Constructors

InterfaceOptions { addresses :: Maybe InterfaceAddresses, flags :: List InterfaceFlags, hwAddress :: Binary }

#Ip4Address Source

newtype Ip4Address

Constructors

Ip4Address (Tuple4 Octet Octet Octet Octet)

Instances

Eq Ip4Address
Generic Ip4Address _
Show Ip4Address
Newtype Ip4Address _
RuntimeType Ip4Address (RTTuple4 RTInt RTInt RTInt RTInt)
ToErl Ip4Address

#Ip6Address Source

newtype Ip6Address

Constructors

Ip6Address (Tuple8 Hextet Hextet Hextet Hextet Hextet Hextet Hextet Hextet)

Instances

Eq Ip6Address
Generic Ip6Address _
Show Ip6Address
Newtype Ip6Address _
RuntimeType Ip6Address (RTTuple8 RTInt RTInt RTInt RTInt RTInt RTInt RTInt RTInt)
ToErl Ip6Address

#IpAddress Source

data IpAddress

Constructors

Ip4 Ip4Address
Ip6 Ip6Address

Instances

#IpAddressUnion Source

type IpAddressUnion = Union (Ip4Address |+| Ip6Address |+| Nil)

#ListenSocket Source

data ListenSocket :: SocketType

#LocalAddress Source

type LocalAddress = String

#PassiveSocket Source

data PassiveSocket :: SocketMessageBehaviour

Instances

(Lacks "active" options) => OptionsValid PassiveSocket options

#Port Source

newtype Port

Constructors

Port Int

Instances

#PosixError Source

data PosixError

Constructors

Instances

Eq PosixError
Show PosixError

#Raw Source

data Raw

Constructors

Raw NonNegInt NonNegInt Binary

Instances

#SendError Source

data SendError

Constructors

SendClosed
SendPosix PosixError

Instances

#SocketActive Source

data SocketActive

Constructors

Instances

Eq SocketActive
ToErl SocketActive

#SocketAddress Source

data SocketAddress

Constructors

Instances

Eq SocketAddress
ToErl SocketAddress

#SocketMessageBehaviour Source

data SocketMessageBehaviour

#SocketMode Source

data SocketMode

Constructors

ListData
BinaryData

Instances

Eq SocketMode
ToErl SocketMode

#SocketType Source

data SocketType

#activeErrorToPurs Source

activeErrorToPurs :: Foreign -> Maybe ActiveError

#OptionToErl Source

class OptionToErl :: Symbol -> Type -> Constraintclass OptionToErl sym option  where

Members

optionToErl :: List Foreign -> Atom sym -> option -> List Foreign

Instances

OptionToErl "raw" (List Raw)
(IsSymbol name, ToErl a) => OptionToErl name (List a)
(IsSymbol name, ToErl a) => OptionToErl name a

#OptionsToErl Source

class OptionsToErl :: Row Type -> RowList Type -> Constraintclass OptionsToErl r rl  where

Members

makeTerms :: Proxy rl -> Record r -> List Foreign

Instances

OptionsToErl r Nil
(IsSymbol sym, Cons sym (Maybe a) t1 r, OptionsToErl r tail, OptionToErl sym a) => OptionsToErl r (Cons sym (Maybe a) tail)
(IsSymbol sym, Cons sym a t1 r, OptionsToErl r tail, OptionToErl sym a) => OptionsToErl r (Cons sym a tail)

#OptionsValid Source

class OptionsValid :: SocketMessageBehaviour -> Row Type -> Constraintclass OptionsValid socketMessageBehaviour options

Instances

OptionsValid ActiveSocket options
(Lacks "active" options) => OptionsValid PassiveSocket options

#Socket Source

class Socket socket  where

Members

send :: socket -> IOData -> Effect (Either SendError Unit)
recv :: socket -> NonNegInt -> Timeout -> Effect (Either ActiveError Binary)
close :: socket -> Effect Unit

#connectErrorToPurs Source

connectErrorToPurs :: Foreign -> Maybe ConnectError

#connectIp4Any Source

connectIp4Any :: ConnectAddress

#connectIp4Loopback Source

connectIp4Loopback :: ConnectAddress

#connectIp6Any Source

connectIp6Any :: ConnectAddress

#connectIp6Loopback Source

connectIp6Loopback :: ConnectAddress

#defaultCommonOptions Source

defaultCommonOptions :: forall r. Union r (CommonOptions ()) (CommonOptions r) => Record r -> Record (CommonOptions r)

#getIfAddresses Source

getIfAddresses :: Effect (Either PosixError (Map InterfaceName (List InterfaceOptions)))

#getIp4IfAddresses Source

getIp4IfAddresses :: InterfaceName -> Effect (List Ip4Address)

#ip4 Source

ip4 :: Int -> Int -> Int -> Int -> Maybe Ip4Address

#ip4Any Source

ip4Any :: Ip4Address

#ip4Loopback Source

ip4Loopback :: Ip4Address

#ip6 Source

ip6 :: Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Maybe Ip6Address

#ip6Any Source

ip6Any :: Ip6Address

#ip6Loopback Source

ip6Loopback :: Ip6Address

#ipMulticastAll Source

ipMulticastAll :: Boolean -> Raw

#isMulticast Source

isMulticast :: IpAddress -> Boolean

#macOsSoReusePort Source

macOsSoReusePort :: Boolean -> Raw

#ntoa Source

ntoa :: IpAddress -> String

#ntoa4 Source

ntoa4 :: Ip4Address -> String

#ntoa6 Source

ntoa6 :: Ip6Address -> String

#optionsToErl Source

optionsToErl :: forall r rl. RowToList r rl => OptionsToErl r rl => Record r -> List Foreign

#parseIp4Address Source

parseIp4Address :: String -> Maybe Ip4Address

#parseIp6Address Source

parseIp6Address :: String -> Maybe Ip6Address

#parseIpAddress Source

parseIpAddress :: String -> Maybe IpAddress

#posixErrorToPurs Source

posixErrorToPurs :: Foreign -> Maybe PosixError

#sendErrorToPurs Source

sendErrorToPurs :: Foreign -> Maybe SendError

#windowsSoReuseAddr Source

windowsSoReuseAddr :: Boolean -> Raw

Modules: Erl.Kernel.Application; Erl.Kernel.Erlang; Erl.Kernel.Ets; Erl.Kernel.File; Erl.Kernel.Inet; Erl.Kernel.Os; Erl.Kernel.Tcp; Erl.Kernel.Time; Erl.Kernel.Udp; Erl.Types