-mEq :: SServerMethod m1 -> SServerMethod m2 -> Maybe (m1 :~~: m2)
-mEq m1 m2 = case (splitServerMethod m1, splitServerMethod m2) of
- (IsServerNot, IsServerNot) -> do
- Refl <- geq m1 m2
- pure HRefl
- (IsServerReq, IsServerReq) -> do
- Refl <- geq m1 m2
- pure HRefl
- _ -> Nothing
-
-mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (m1 :~~: m2)
-mEqClient m1 m2 = case (splitClientMethod m1, splitClientMethod m2) of
- (IsClientNot, IsClientNot) -> do
- Refl <- geq m1 m2
- pure HRefl
- (IsClientReq, IsClientReq) -> do
- Refl <- geq m1 m2
- pure HRefl
- _ -> Nothing