hans-3.0.2: Network Stack

Safe HaskellNone
LanguageHaskell2010

Hans.IP4.Packet

Synopsis

Documentation

newtype IP4 Source #

Constructors

IP4 Word32 

Instances

Eq IP4 Source # 

Methods

(==) :: IP4 -> IP4 -> Bool #

(/=) :: IP4 -> IP4 -> Bool #

Ord IP4 Source # 

Methods

compare :: IP4 -> IP4 -> Ordering #

(<) :: IP4 -> IP4 -> Bool #

(<=) :: IP4 -> IP4 -> Bool #

(>) :: IP4 -> IP4 -> Bool #

(>=) :: IP4 -> IP4 -> Bool #

max :: IP4 -> IP4 -> IP4 #

min :: IP4 -> IP4 -> IP4 #

Read IP4 Source # 
Show IP4 Source # 

Methods

showsPrec :: Int -> IP4 -> ShowS #

show :: IP4 -> String #

showList :: [IP4] -> ShowS #

Generic IP4 Source # 

Associated Types

type Rep IP4 :: * -> * #

Methods

from :: IP4 -> Rep IP4 x #

to :: Rep IP4 x -> IP4 #

Serialize IP4 Source # 

Methods

put :: Putter IP4 #

get :: Get IP4 #

Hashable IP4 Source # 

Methods

hashWithSalt :: Int -> IP4 -> Int #

hash :: IP4 -> Int #

Checksum IP4 Source # 
CodecAtom IP4 Source # 
Option IP4 Source # 
NetworkAddr IP4 Source # 
Network IP4 Source # 
type Rep IP4 Source # 
type Rep IP4 = D1 (MetaData "IP4" "Hans.IP4.Packet" "hans-3.0.2-GPIpvDF0acQKMmo8PFxkX0" True) (C1 (MetaCons "IP4" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))

getIP4 :: Get IP4 Source #

putIP4 :: Putter IP4 Source #

packIP4 :: Word8 -> Word8 -> Word8 -> Word8 -> IP4 Source #

unpackIP4 :: IP4 -> (Word8, Word8, Word8, Word8) Source #

showIP4 :: IP4 -> ShowS Source #

readIP4 :: ReadS IP4 Source #

pattern BroadcastIP4 :: IP4 Source #

pattern CurrentNetworkIP4 :: IP4 Source #

pattern WildcardIP4 :: IP4 Source #

data IP4Mask Source #

Constructors

IP4Mask !IP4 !Int

Between 0 and 32

Instances

hostmask :: Int -> Word32 Source #

netmask :: Int -> Word32 Source #

maskRange :: IP4Mask -> (IP4, IP4) Source #

maskBits :: IP4Mask -> Int Source #

maskAddr :: IP4Mask -> IP4 Source #

clearHostBits :: IP4Mask -> IP4 Source #

setHostBits :: IP4Mask -> IP4 Source #

broadcastAddress :: IP4Mask -> IP4 Source #

readIP4Mask :: ReadS IP4Mask Source #

showIP4Mask :: IP4Mask -> ShowS Source #

ip4PseudoHeader :: IP4 -> IP4 -> NetworkProtocol -> Int -> PartialChecksum Source #

source address | +--------+--------+--------+--------+ | destination address | +--------+--------+--------+--------+ | zero |protocol| length | +--------+--------+--------+--------+

type IP4Ident = Word16 Source #

data IP4Header Source #

Constructors

IP4Header 

Fields

Instances

emptyIP4Header :: IP4Header Source #

ip4DCSP :: Lens' IP4Header Word8 Source #

ip4ECN :: Lens' IP4Header Word8 Source #

ip4Fragment :: Lens' IP4Header Word16 Source #

ip4DontFragment :: Lens' IP4Header Bool Source #

ip4MoreFragments :: Lens' IP4Header Bool Source #

ip4FragmentOffset :: Lens' IP4Header Word16 Source #

The fragment offset, in bytes.

noMoreFragments :: IP4Header -> IP4Header Source #

moreFragments :: IP4Header -> IP4Header Source #

addOffset :: Word16 -> IP4Header -> IP4Header Source #

setIdent :: IP4Ident -> IP4Header -> IP4Header Source #

ip4PacketSize :: IP4Header -> ByteString -> Int Source #

Calculate the size of an IP4 packet

ip4HeaderSize :: IP4Header -> Int Source #

Calculate the size of an IP4 header

splitPacket :: Int -> IP4Header -> ByteString -> [(IP4Header, ByteString)] Source #

Fragment a single IP packet into one or more, given an MTU to fit into.

fragmentPacket :: Int64 -> IP4Header -> ByteString -> [(IP4Header, ByteString)] Source #

Given a fragment size and a packet, fragment the packet into multiple smaller ones.

ip4VersionIHL :: Int -> Word8 Source #

Compute the value of the version/header length byte.

getIP4Packet :: Get (IP4Header, Int, Int) Source #

Version| IHL |Type of Service| Total Length | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Identification |Flags| Fragment Offset | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Time to Live | Protocol | Header Checksum | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Source Address | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Destination Address | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

putIP4Header :: IP4Header -> Int -> Put Source #

renderIP4Options :: [IP4Option] -> (ByteString, Int) Source #

getIP4Options :: Int -> Get [IP4Option] Source #

data IP4Option Source #

Constructors

IP4Option 

Fields

Instances

ip4OptionSize :: IP4Option -> Int Source #

getIP4Option :: Get IP4Option Source #

ip4OptionType :: Bool -> Word8 -> Word8 -> Word8 Source #

putIP4Option :: Putter IP4Option Source #

data ArpPacket Source #

Arp packets, specialized to IP4 and Mac addresses.

Constructors

ArpPacket 

Fields

Instances

getArpPacket :: Get ArpPacket Source #

Parse an Arp packet, given a way to parse hardware and protocol addresses.

renderArpPacket :: ArpPacket -> ByteString Source #

putArpPacket :: Putter ArpPacket Source #

Render an Arp packet, given a way to render hardware and protocol addresses.

type ArpOper = Word16 Source #

pattern ArpRequest :: forall a. (Num a, Eq a) => a Source #

pattern ArpReply :: forall a. (Num a, Eq a) => a Source #

getArpOper :: Get ArpOper Source #

Parse an Arp operation.

putArpOper :: Putter ArpOper Source #

Render an Arp operation.