TypedSession.State.Pipeline

Documentation

pipe :: (Enum r, Bounded r, Eq r, Ord r) => Protocol Creat r bst -> Either (ProtocolError r bst) (PipeResult r bst)

pipeWithTracer :: (Enum r, Bounded r, Eq r, Ord r) => Protocol Creat r bst -> (Seq (Tracer r bst), Either (ProtocolError r bst) (PipeResult r bst))

genGraph :: (Enum r, Bounded r, Show bst, Ord r, Show r) => PipeResult r bst -> String

data PipeResult r bst

Constructors

PipeResult

Fields

• msgT :: Protocol (MsgT r bst) r bst
• msgT1 :: Protocol (MsgT1 r bst) r bst
• dnySet :: Set Int
• stBound :: (Int, Int)