eap-0.8.0.0: Extensible Authentication Protocol (EAP)

Copyright(c) Erick Gonzalez 2017
LicenseBSD3
Maintainererick@codemonkeylabs.de
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe
LanguageHaskell2010

Network.EAP.Types

Description

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 Source #

Instances

Eq Packet Source # 

Methods

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

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

Data Packet Source # 

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 Source # 

data PacketType Source #

Instances

Enum PacketType Source # 
Eq PacketType Source # 
Data PacketType Source # 

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 Source # 

data Message Source #

Instances

Eq Message Source # 

Methods

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

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

Data Message Source # 

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 Source # 

data AuthType Source #

Instances

Enum AuthType Source # 
Eq AuthType Source # 
Data AuthType Source # 

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 Source # 

data MSCHAPv2OpCode Source #

Instances

Enum MSCHAPv2OpCode Source # 
Eq MSCHAPv2OpCode Source # 
Data MSCHAPv2OpCode Source # 

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 Source # 

data MSCHAPv2Data Source #

Instances

Eq MSCHAPv2Data Source # 
Data MSCHAPv2Data Source # 

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 Source # 

data MSCHAPv2ResponseDataField Source #

Instances

Eq MSCHAPv2ResponseDataField Source # 
Data MSCHAPv2ResponseDataField Source # 

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 Source #