| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
MICP
Contents
- data IPhase
- data IPhase1Priv
- data IPhase1Msg
- iPhase1 :: MonadRandom m => Int -> m (IPhase1Priv, IPhase1Msg)
- data IPhase2Priv
- data IPhase2Params
- mkIPhase2Params :: ByteString -> RPhase1Msg -> IPhase2Params
- data IPhase2Msg
- iPhase2 :: MonadRandom m => IPhase2Params -> SPFM m (IPhase2Priv, IPhase2Msg)
- data IPhase3Params
- mkIPhase3Params :: IPhase1Priv -> IPhase1Msg -> IPhase2Priv -> IPhase2Msg -> RPhase1Msg -> RPhase2Msg -> IPhase3Params
- data IPhase3Msg
- = IPhase3Reject
- | IPhase3Msg { }
- iPhase3 :: MonadRandom m => IPhase3Params -> SPFM m IPhase3Msg
- data IPhase4Params
- mkIPhase4Params :: IPhase2Priv -> RPhase1Msg -> RPhase3Msg -> IPhase4Params
- data IPhase4Msg
- iPhase4 :: MonadRandom m => IPhase4Params -> SPFM m IPhase4Msg
- data IPhase5Msg
- iPhase5 :: IPhase2Priv -> IPhase5Msg
- iGetK1Map :: IPhase5Msg -> K1Map
- iGetK2Map :: IPhase4Msg -> Maybe K2Map
- data RPhase
- data RPhase1Priv
- data RPhase1Params
- mkRPhase1Params :: Int -> ByteString -> IPhase1Msg -> RPhase1Params
- data RPhase1Msg
- rPhase1 :: MonadRandom m => RPhase1Params -> SPFM m (RPhase1Priv, RPhase1Msg)
- data RPhase2Params
- mkRPhase2Params :: RPhase1Priv -> IPhase2Msg -> RPhase2Params
- data RPhase2Msg
- rPhase2 :: MonadRandom m => RPhase2Params -> SPFM m RPhase2Msg
- data RPhase3Params
- mkRPhase3Params :: RPhase1Priv -> RPhase1Msg -> RPhase2Msg -> IPhase1Msg -> IPhase2Msg -> IPhase3Msg -> RPhase3Params
- data RPhase3Msg
- rPhase3 :: MonadRandom m => RPhase3Params -> SPFM m RPhase3Msg
- data RPhase4Params
- mkRPhase4Params :: RPhase1Priv -> IPhase2Msg -> IPhase4Msg -> RPhase4Params
- data RPhase4Msg
- rPhase4 :: MonadRandom m => RPhase4Params -> SPFM m RPhase4Msg
- rGetK1Map :: RPhase4Msg -> K1Map
- rGetK2Map :: RPhase3Msg -> K2Map
Initiator Phases
data IPhase1Priv Source #
data IPhase1Msg Source #
iPhase1 :: MonadRandom m => Int -> m (IPhase1Priv, IPhase1Msg) Source #
data IPhase2Priv Source #
data IPhase2Params Source #
mkIPhase2Params :: ByteString -> RPhase1Msg -> IPhase2Params Source #
data IPhase2Msg Source #
iPhase2 :: MonadRandom m => IPhase2Params -> SPFM m (IPhase2Priv, IPhase2Msg) Source #
data IPhase3Params Source #
mkIPhase3Params :: IPhase1Priv -> IPhase1Msg -> IPhase2Priv -> IPhase2Msg -> RPhase1Msg -> RPhase2Msg -> IPhase3Params Source #
data IPhase3Msg Source #
Constructors
| IPhase3Reject | |
| IPhase3Msg | |
iPhase3 :: MonadRandom m => IPhase3Params -> SPFM m IPhase3Msg Source #
data IPhase4Params Source #
mkIPhase4Params :: IPhase2Priv -> RPhase1Msg -> RPhase3Msg -> IPhase4Params Source #
data IPhase4Msg Source #
iPhase4 :: MonadRandom m => IPhase4Params -> SPFM m IPhase4Msg Source #
data IPhase5Msg Source #
iPhase5 :: IPhase2Priv -> IPhase5Msg Source #
iGetK1Map :: IPhase5Msg -> K1Map Source #
Responder Phases
Constructors
| RPhase1 RPhase1Msg | |
| RPhase2 RPhase2Msg | |
| RPhase3 RPhase3Msg | |
| RPhase4 RPhase4Msg |
data RPhase1Priv Source #
data RPhase1Params Source #
mkRPhase1Params :: Int -> ByteString -> IPhase1Msg -> RPhase1Params Source #
data RPhase1Msg Source #
rPhase1 :: MonadRandom m => RPhase1Params -> SPFM m (RPhase1Priv, RPhase1Msg) Source #
data RPhase2Params Source #
mkRPhase2Params :: RPhase1Priv -> IPhase2Msg -> RPhase2Params Source #
data RPhase2Msg Source #
rPhase2 :: MonadRandom m => RPhase2Params -> SPFM m RPhase2Msg Source #
data RPhase3Params Source #
mkRPhase3Params :: RPhase1Priv -> RPhase1Msg -> RPhase2Msg -> IPhase1Msg -> IPhase2Msg -> IPhase3Msg -> RPhase3Params Source #
data RPhase3Msg Source #
rPhase3 :: MonadRandom m => RPhase3Params -> SPFM m RPhase3Msg Source #
data RPhase4Params Source #
mkRPhase4Params :: RPhase1Priv -> IPhase2Msg -> IPhase4Msg -> RPhase4Params Source #
data RPhase4Msg Source #
Final message in the protocol
rPhase4 :: MonadRandom m => RPhase4Params -> SPFM m RPhase4Msg Source #
rGetK1Map :: RPhase4Msg -> K1Map Source #
rGetK2Map :: RPhase3Msg -> K2Map Source #