TypedSession.State.Pipeline

Documentation

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

pipeWithTracer :: (Enum r, Bounded r, Eq r, Ord r, Show bst) => 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)
• branchResultTypeInfo :: [(String, [(bst, [[String]], T bst)])]
• branchFunList :: [(r, String, T bst)]
• allMsgBATypes :: [(String, [T bst], [T bst])]