ouroboros-network-framework-0.13.2.0: Ouroboros network framework
Safe HaskellSafe-Inferred
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 #

data InResponderMode (mode ∷ MuxMode) a where Source #

Constructors

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