Network.EAP.Types

The types in this module are pretty much self explanatory. See RFC 3748 for further information on what a given type or definition means.

Documentation

data Packet

Constructors

Packet

Fields

• getPacketType :: PacketType
• getPacketId :: Word8
• getPacketMessage :: Maybe Message

Instances

Eq Packet

Methods

(==) :: Packet -> Packet -> Bool

(/=) :: Packet -> Packet -> Bool

Data Packet

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Packet -> c Packet

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Packet

toConstr :: Packet -> Constr

dataTypeOf :: Packet -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Packet)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Packet)

gmapT :: (forall b. Data b => b -> b) -> Packet -> Packet

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Packet -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Packet -> r

gmapQ :: (forall d. Data d => d -> u) -> Packet -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Packet -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Packet -> m Packet

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Packet -> m Packet

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Packet -> m Packet

Show Packet

Methods

showsPrec :: Int -> Packet -> ShowS

show :: Packet -> String

showList :: [Packet] -> ShowS

data PacketType

Constructors

RequestPacket

ResponsePacket

SuccessPacket

FailurePacket

Instances

Enum PacketType

Methods

succ :: PacketType -> PacketType

pred :: PacketType -> PacketType

toEnum :: Int -> PacketType

fromEnum :: PacketType -> Int

enumFrom :: PacketType -> [PacketType]

enumFromThen :: PacketType -> PacketType -> [PacketType]

enumFromTo :: PacketType -> PacketType -> [PacketType]

enumFromThenTo :: PacketType -> PacketType -> PacketType -> [PacketType]

Eq PacketType

Methods

(==) :: PacketType -> PacketType -> Bool

(/=) :: PacketType -> PacketType -> Bool

Data PacketType

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PacketType -> c PacketType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PacketType

toConstr :: PacketType -> Constr

dataTypeOf :: PacketType -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PacketType)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PacketType)

gmapT :: (forall b. Data b => b -> b) -> PacketType -> PacketType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PacketType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PacketType -> r

gmapQ :: (forall d. Data d => d -> u) -> PacketType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PacketType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PacketType -> m PacketType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PacketType -> m PacketType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PacketType -> m PacketType

Show PacketType

Methods

showsPrec :: Int -> PacketType -> ShowS

show :: PacketType -> String

showList :: [PacketType] -> ShowS

data Message

Constructors

IdentityMessage

Fields

• getIdentityMessage :: ByteString

NotificationMessage

Fields

• getNotificationMessage :: ByteString

NakMessage

Fields

• getAuthenticationType :: Word8

MD5ChallengeMessage

Fields

• getMD5ChallengeValue :: ByteString
• getMD5ChallengeName :: ByteString

OTPMessage

Fields

• getOTPMessage :: ByteString

GenericTokenCardMessage

Fields

• getGenericTokenCardMessage :: ByteString

Instances

Eq Message

Methods

(==) :: Message -> Message -> Bool

(/=) :: Message -> Message -> Bool

Data Message

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Message -> c Message

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Message

toConstr :: Message -> Constr

dataTypeOf :: Message -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Message)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Message)

gmapT :: (forall b. Data b => b -> b) -> Message -> Message

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Message -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Message -> r

gmapQ :: (forall d. Data d => d -> u) -> Message -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Message -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Message -> m Message

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Message -> m Message

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Message -> m Message

Show Message

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS