ouroboros-network-framework-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Network.MuxMode

Description

Singletons to work with MuxMode kind.

Synopsis

Documentation

data SingHasInitiator (mode ∷ MuxMode) where Source #

Singleton for to match the HasInitiator mode ~ True constraint.

type WithMuxTuple mode a = WithMuxMode mode a a Source #

withInitiatorModeHasInitiator mode ~ TrueWithMuxMode mode a b → a Source #

withResponderModeHasResponder mode ~ TrueWithMuxMode mode a b → b Source #

data InResponderMode (mode ∷ MuxMode) a where Source #

Constructors

InResponderModeHasResponder mode ~ True ⇒ a → InResponderMode mode a 
NotInResponderModeInResponderMode mode a