TypedSession.State.Piple

Documentation

addIdxXTraverse :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State Int :+: (State (Set Int) :+: Error (ProtocolError r bst))) sig m, Enum r, Bounded r, Ord r) => XTraverse m Creat Idx r bst

reRankXTraverse :: Monad m => IntMap Int -> XTraverse m Idx Idx r bst

addNumsXTraverse :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State Int :+: Error (ProtocolError r bst)) sig m, Enum r, Bounded r, Ord r) => XTraverse m Idx AddNums r bst

toGenConstrXTraverse :: Monad m => XTraverse m AddNums (GenConst r) r bst

genConstrXFold :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State (IntMap [Int]) :+: (State [Int] :+: (Writer (Seq Constraint) :+: Error (ProtocolError r bst)))) sig m, Enum r) => XFold m (GenConst r) r bst

replXTraverse :: Monad m => SubMap -> XTraverse m (GenConst r) (GenConst r) r bst

collectBranchDynValXFold :: forall (sig :: (Type -> Type) -> Type -> Type) m r bst. (Has (State (Set Int)) sig m, Enum r) => XFold m (GenConst r) r bst

genT :: forall bst (sig :: (Type -> Type) -> Type -> Type) m. Has (Reader (Set Int) :+: State bst) sig m => (bst -> Int -> T bst) -> Int -> m (T bst)

genMsgTXTraverse :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (Reader (Set Int) :+: State bst) sig m, Enum r, Eq r, Bounded r) => XTraverse m (GenConst r) (MsgT r bst) r bst

getFirstXV :: Protocol (MsgT r bst) r bst -> [T bst]

genMsgT1XTraverse :: (Monad m, Enum r) => XTraverse m (MsgT r bst) (MsgT1 r bst) r bst

data PipleResult r bst

Constructors

PipleResult

Fields

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

reRank :: Set Int -> Int -> IntMap Int

piple' :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (Error (ProtocolError r bst)) sig m, Enum r, Bounded r, Eq r, Ord r) => (Tracer r bst -> m ()) -> Protocol Creat r bst -> m (PipleResult r bst)

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

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

genDocXFold :: forall r bst ann (sig :: (Type -> Type) -> Type -> Type) m. (Has (Writer [Doc ann]) sig m, Show r, Show bst) => String -> String -> XFold m (MsgT1 r bst) r bst

genDoc :: (Show r, Show bst) => String -> String -> Protocol (MsgT1 r bst) r bst -> [Doc ann]