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.

Note that not nearly all 50+ EAP authentication types are supported. Contributions for further types are definitely welcome.

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

MSCHAPv2Message

Fields

• getMSCHAPv2OpCode :: MSCHAPv2OpCode
• getMSCHAPv2Id :: Word8
• getMSCHAPv2Length :: Word16
• getMSCHAPv2Data :: MSCHAPv2Data

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

data AuthType

Constructors

MD5ChallengeAuth

OTPAuth

GenericTokenCardAuth

RSAPubKeyAuth

TLSAuth

MSCHAPv2Auth

Instances

Enum AuthType

Methods

succ :: AuthType -> AuthType

pred :: AuthType -> AuthType

toEnum :: Int -> AuthType

fromEnum :: AuthType -> Int

enumFrom :: AuthType -> [AuthType]

enumFromThen :: AuthType -> AuthType -> [AuthType]

enumFromTo :: AuthType -> AuthType -> [AuthType]

enumFromThenTo :: AuthType -> AuthType -> AuthType -> [AuthType]

Eq AuthType

Methods

(==) :: AuthType -> AuthType -> Bool

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

Data AuthType

Methods

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

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

toConstr :: AuthType -> Constr

dataTypeOf :: AuthType -> DataType

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

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

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

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

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

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

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

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

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

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

Show AuthType

Methods

showsPrec :: Int -> AuthType -> ShowS

show :: AuthType -> String

showList :: [AuthType] -> ShowS

data MSCHAPv2OpCode

Constructors

MSCHAPv2Challenge

MSCHAPv2Response

MSCHAPv2Success

MSCHAPv2Failure

MSCHAPv2ChangePassword

Instances

Enum MSCHAPv2OpCode

Methods

succ :: MSCHAPv2OpCode -> MSCHAPv2OpCode

pred :: MSCHAPv2OpCode -> MSCHAPv2OpCode

toEnum :: Int -> MSCHAPv2OpCode

fromEnum :: MSCHAPv2OpCode -> Int

enumFrom :: MSCHAPv2OpCode -> [MSCHAPv2OpCode]

enumFromThen :: MSCHAPv2OpCode -> MSCHAPv2OpCode -> [MSCHAPv2OpCode]

enumFromTo :: MSCHAPv2OpCode -> MSCHAPv2OpCode -> [MSCHAPv2OpCode]

enumFromThenTo :: MSCHAPv2OpCode -> MSCHAPv2OpCode -> MSCHAPv2OpCode -> [MSCHAPv2OpCode]

Eq MSCHAPv2OpCode

Methods

(==) :: MSCHAPv2OpCode -> MSCHAPv2OpCode -> Bool

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

Data MSCHAPv2OpCode

Methods

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

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

toConstr :: MSCHAPv2OpCode -> Constr

dataTypeOf :: MSCHAPv2OpCode -> DataType

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

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

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

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

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

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

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

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

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

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

Show MSCHAPv2OpCode

Methods

showsPrec :: Int -> MSCHAPv2OpCode -> ShowS

show :: MSCHAPv2OpCode -> String

showList :: [MSCHAPv2OpCode] -> ShowS

data MSCHAPv2Data

Constructors

MSCHAPv2ChallengeData

Fields

• getMSCHAPv2Challenge :: ByteString
• getMSCHAPv2ChallengeName :: ByteString

MSCHAPv2ResponseData

Fields

• getMSCHAPv2ResponseData :: MSCHAPv2ResponseDataField
• getMSCHAPv2ResponseName :: ByteString

MSCHAPv2SuccessRequestData

Fields

• getMSCHAPv2SuccessRequestMessage :: ByteString

MSCHAPv2FailureRequestData

Fields

• getMSCHAPv2FailureRequestMessage :: ByteString

MSCHAPv2ChangePasswordData

Fields

• getMSCHAPv2EncryptedPassword :: ByteString
• getMSCHAPv2EncryptedHash :: ByteString
• getMSCHAPv2PeerChallenge :: ByteString
• getMSCHAPv2NTResponse :: ByteString

MSCHAPv2NoData

Instances

Eq MSCHAPv2Data

Methods

(==) :: MSCHAPv2Data -> MSCHAPv2Data -> Bool

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

Data MSCHAPv2Data

Methods

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

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

toConstr :: MSCHAPv2Data -> Constr

dataTypeOf :: MSCHAPv2Data -> DataType

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

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

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

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

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

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

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

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

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

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

Show MSCHAPv2Data

Methods

showsPrec :: Int -> MSCHAPv2Data -> ShowS

show :: MSCHAPv2Data -> String

showList :: [MSCHAPv2Data] -> ShowS

data MSCHAPv2ResponseDataField

Constructors

MSCHAPv2ResponseDataField

Fields

• getMSCHAPv2ResponsePeerChallenge :: ByteString
• getMSCHAPv2ResponseNTResponse :: ByteString

Instances

Eq MSCHAPv2ResponseDataField

Methods

(==) :: MSCHAPv2ResponseDataField -> MSCHAPv2ResponseDataField -> Bool

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

Data MSCHAPv2ResponseDataField

Methods

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

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

toConstr :: MSCHAPv2ResponseDataField -> Constr

dataTypeOf :: MSCHAPv2ResponseDataField -> DataType

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

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

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

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

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

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

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

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

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

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

Show MSCHAPv2ResponseDataField

Methods

showsPrec :: Int -> MSCHAPv2ResponseDataField -> ShowS

show :: MSCHAPv2ResponseDataField -> String

showList :: [MSCHAPv2ResponseDataField] -> ShowS