Safe Haskell | None |
---|---|
Language | Haskell2010 |
IP routing table is a tree of IPRange
to search one of them on the longest
match base. It is a kind of TRIE with one
way branching removed. Both IPv4 and IPv6
are supported.
For more information, see: http://www.mew.org/~kazu/proj/iproute/
Synopsis
- class Addr a => Routable a where
- data IPRTable k a
- empty :: Routable k => IPRTable k a
- insert :: Routable k => AddrRange k -> a -> IPRTable k a -> IPRTable k a
- delete :: Routable k => AddrRange k -> IPRTable k a -> IPRTable k a
- lookup :: Routable k => AddrRange k -> IPRTable k a -> Maybe a
- lookupKeyValue :: Routable k => AddrRange k -> IPRTable k a -> Maybe (AddrRange k, a)
- lookupAll :: Routable k => AddrRange k -> IPRTable k a -> [(AddrRange k, a)]
- findMatch :: Alternative m => Routable k => AddrRange k -> IPRTable k a -> m (AddrRange k, a)
- fromList :: Routable k => [(AddrRange k, a)] -> IPRTable k a
- toList :: Routable k => IPRTable k a -> [(AddrRange k, a)]
- foldlWithKey :: (b -> AddrRange k -> a -> b) -> b -> IPRTable k a -> b
- foldrWithKey :: (AddrRange k -> a -> b -> b) -> b -> IPRTable k a -> b
Documentation
Routable class
class Addr a => Routable a where Source #
A class to contain IPv4 and IPv6.
Type for IP routing table
The Tree structure for IP routing table based on TRIE with
one way branching removed. This is an abstract data type,
so you cannot touch its inside. Please use insert
or lookup
, instead.
Instances
Functions to manipulate an IP routing table
empty :: Routable k => IPRTable k a Source #
The empty
function returns an empty IP routing table.
>>>
(empty :: IPRTable IPv4 ()) == fromList []
True
lookup :: Routable k => AddrRange k -> IPRTable k a -> Maybe a Source #
The lookup
function looks up IPRTable
with a key of AddrRange
.
If a routing information in IPRTable
matches the key, its value
is returned.
>>>
let v4 = ["133.4.0.0/16","133.5.0.0/16","133.5.16.0/24","133.5.23.0/24"] :: [AddrRange IPv4]
>>>
let rt = fromList $ zip v4 v4
>>>
lookup "127.0.0.1" rt
Nothing>>>
lookup "133.3.0.1" rt
Nothing>>>
lookup "133.4.0.0" rt
Just 133.4.0.0/16>>>
lookup "133.4.0.1" rt
Just 133.4.0.0/16>>>
lookup "133.5.16.0" rt
Just 133.5.16.0/24>>>
lookup "133.5.16.1" rt
Just 133.5.16.0/24
lookupKeyValue :: Routable k => AddrRange k -> IPRTable k a -> Maybe (AddrRange k, a) Source #
The lookupKeyValue
function looks up IPRTable
with a key of AddrRange
.
If a routing information in IPRTable
matches the key, both key and value
are returned.
>>>
:set -XOverloadedStrings
>>>
let rt = fromList ([("192.168.0.0/24", 1), ("10.10.0.0/16", 2)] :: [(AddrRange IPv4, Int)])
>>>
lookupKeyValue "127.0.0.1" rt
Nothing>>>
lookupKeyValue "192.168.0.1" rt
Just (192.168.0.0/24,1)>>>
lookupKeyValue "10.10.0.1" rt
Just (10.10.0.0/16,2)
lookupAll :: Routable k => AddrRange k -> IPRTable k a -> [(AddrRange k, a)] Source #
lookupAll
is a version of lookup
that returns all entries matching the
given key, not just the longest match.
>>>
:set -XOverloadedStrings
>>>
let rt = fromList ([("192.168.0.0/24", 1), ("10.10.0.0/16", 2), ("10.0.0.0/8", 3)] :: [(AddrRange IPv4, Int)])
>>>
lookupAll "127.0.0.1" rt
[]>>>
lookupAll "192.168.0.1" rt
[(192.168.0.0/24,1)]>>>
lookupAll "10.10.0.1" rt
[(10.10.0.0/16,2),(10.0.0.0/8,3)]
findMatch :: Alternative m => Routable k => AddrRange k -> IPRTable k a -> m (AddrRange k, a) Source #
The findMatch
function looks up IPRTable
with a key of AddrRange
.
If the key matches routing informations in IPRTable
, they are
returned.
>>>
let v4 = ["133.4.0.0/16","133.5.0.0/16","133.5.16.0/24","133.5.23.0/24"] :: [AddrRange IPv4]
>>>
let rt = fromList $ zip v4 $ repeat ()
>>>
findMatch "133.4.0.0/15" rt :: [(AddrRange IPv4,())]
[(133.4.0.0/16,()),(133.5.0.0/16,()),(133.5.16.0/24,()),(133.5.23.0/24,())]
fromList :: Routable k => [(AddrRange k, a)] -> IPRTable k a Source #
The fromList
function creates a new IP routing table from
a list of a pair of IPrange
and value.
foldlWithKey :: (b -> AddrRange k -> a -> b) -> b -> IPRTable k a -> b Source #
O(n). Fold the keys and values in the IPRTable using the given left-associative binary operator. This function is equivalent to Data.Map.foldlWithKey with necessary to IPRTable changes. Since: 1.7.5
foldrWithKey :: (AddrRange k -> a -> b -> b) -> b -> IPRTable k a -> b Source #
O(n). Fold the keys and values in the IPRTable using the given right-associative binary operator. This function is equivalent to Data.Map.foldrWithKey with necessary to IPRTable changes. Since: 1.7.5