Maintainer | Toshio Ito <debug.ito@gmail.com> |
---|---|
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data FindingID = FindingID {}
- idToText :: FindingID -> Text
- idFromText :: Text -> Maybe FindingID
- data FindingType
- typeToText :: FindingType -> Text
- typeFromText :: Text -> Maybe FindingType
- newtype IPv6ID = IPv6ID {}
- ipv6ToText :: IPv6ID -> Text
- ipv6FromText :: Text -> Maybe IPv6ID
- ipv6Only :: FindingID -> IPv6ID
FindingID
The node ID.
Basically a node is identified by its IPv6 address in RPL
network. FindingID
is distinguished by FindingType
as well,
because in RPL there can be difference between topology formed by
DIOs and DAOs.
FindingID | |
|
Instances
Eq FindingID Source # | |
Ord FindingID Source # | |
Defined in NetSpider.RPL.FindingID | |
Show FindingID Source # | |
Generic FindingID Source # | |
Hashable FindingID Source # | |
Defined in NetSpider.RPL.FindingID | |
ToJSON FindingID Source # | |
Defined in NetSpider.RPL.FindingID | |
FromJSON FindingID Source # | |
FromGraphSON FindingID Source # | |
Defined in NetSpider.RPL.FindingID parseGraphSON :: GValue -> Parser FindingID # | |
ToNodeID FindingID Source # | |
Defined in NetSpider.RPL.FindingID | |
type Rep FindingID Source # | |
Defined in NetSpider.RPL.FindingID type Rep FindingID = D1 (MetaData "FindingID" "NetSpider.RPL.FindingID" "net-spider-rpl-0.4.1.0-HMFW0RWqj9B9z2W8pzUm4C" False) (C1 (MetaCons "FindingID" PrefixI True) (S1 (MetaSel (Just "findingType") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 FindingType) :*: S1 (MetaSel (Just "nodeAddress") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 IPv6))) |
FindingType
data FindingType Source #
Type of local finding.
FindingDIO | Local finding about DIO (Upward) routes. |
FindingDAO | Local finding about DAO (Downward) routes. |
Instances
typeToText :: FindingType -> Text Source #
typeFromText :: Text -> Maybe FindingType Source #
IPv6ID
IPv6
address with additional type-class instances.
Instances
Eq IPv6ID Source # | |
Ord IPv6ID Source # | |
Show IPv6ID Source # | |
Generic IPv6ID Source # | |
Hashable IPv6ID Source # | |
Defined in NetSpider.RPL.FindingID | |
ToJSON IPv6ID Source # | Since: 0.4.1.0 |
Defined in NetSpider.RPL.FindingID | |
FromJSON IPv6ID Source # | |
FromGraphSON IPv6ID Source # | |
Defined in NetSpider.RPL.FindingID parseGraphSON :: GValue -> Parser IPv6ID # | |
ToNodeID IPv6ID Source # | |
Defined in NetSpider.RPL.FindingID | |
type Rep IPv6ID Source # | |
Defined in NetSpider.RPL.FindingID |
ipv6ToText :: IPv6ID -> Text Source #