mirror of https://github.com/voidlizard/hbs2
wip
This commit is contained in:
parent
37065c62da
commit
d76aef7eca
|
@ -17,7 +17,7 @@ class (Hashable (Peer e), Eq (Peer e)) => HasPeer e where
|
||||||
data family (Peer e) :: Type
|
data family (Peer e) :: Type
|
||||||
|
|
||||||
|
|
||||||
class MonadIO m => Response e p (m :: Type -> Type) | p -> e where
|
class (MonadIO m, HasProtocol e p) => Response e p m | p -> e where
|
||||||
response :: p -> m ()
|
response :: p -> m ()
|
||||||
deferred :: Proxy p -> m () -> m ()
|
deferred :: Proxy p -> m () -> m ()
|
||||||
|
|
||||||
|
|
|
@ -61,7 +61,6 @@ instance HasProtocol Fake (BlockSize Fake) where
|
||||||
|
|
||||||
blockSizeHandler :: forall e m s . ( MonadIO m
|
blockSizeHandler :: forall e m s . ( MonadIO m
|
||||||
, Response e (BlockSize e) m
|
, Response e (BlockSize e) m
|
||||||
, HasProtocol e (BlockSize e)
|
|
||||||
, s ~ SimpleStorage HbSync
|
, s ~ SimpleStorage HbSync
|
||||||
)
|
)
|
||||||
=> s
|
=> s
|
||||||
|
|
Loading…
Reference in New Issue