TypedSession.State.Pipeline

Documentation

newtype Index

Constructors

Index Int

Instances

Num Index

Defined in TypedSession.State.Pipeline

Methods

(+) :: Index -> Index -> Index

(-) :: Index -> Index -> Index

(*) :: Index -> Index -> Index

negate :: Index -> Index

abs :: Index -> Index

signum :: Index -> Index

fromInteger :: Integer -> Index

Show Index

Defined in TypedSession.State.Pipeline

Methods

showsPrec :: Int -> Index -> ShowS

show :: Index -> String

showList :: [Index] -> ShowS

Eq Index

Defined in TypedSession.State.Pipeline

Methods

(==) :: Index -> Index -> Bool

(/=) :: Index -> Index -> Bool

Ord Index

Defined in TypedSession.State.Pipeline

Methods

compare :: Index -> Index -> Ordering

(<) :: Index -> Index -> Bool

(<=) :: Index -> Index -> Bool

(>) :: Index -> Index -> Bool

(>=) :: Index -> Index -> Bool

max :: Index -> Index -> Index

min :: Index -> Index -> Index

addIdxXTraverse :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State Int :+: (State Index :+: (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 (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

data CurrSt

Constructors

Decide

Undecide

Instances

Show CurrSt

Defined in TypedSession.State.Pipeline

Methods

showsPrec :: Int -> CurrSt -> ShowS

show :: CurrSt -> String

showList :: [CurrSt] -> ShowS

Eq CurrSt

Defined in TypedSession.State.Pipeline

Methods

(==) :: CurrSt -> CurrSt -> Bool

(/=) :: CurrSt -> CurrSt -> Bool

Ord CurrSt

Defined in TypedSession.State.Pipeline

Methods

compare :: CurrSt -> CurrSt -> Ordering

(<) :: CurrSt -> CurrSt -> Bool

(<=) :: CurrSt -> CurrSt -> Bool

(>) :: CurrSt -> CurrSt -> Bool

(>=) :: CurrSt -> CurrSt -> Bool

max :: CurrSt -> CurrSt -> CurrSt

min :: CurrSt -> CurrSt -> CurrSt

getRCurrSt :: forall r (sig :: (Type -> Type) -> Type -> Type) m. (Has (State (Map r CurrSt)) sig m, Ord r) => r -> m CurrSt

restoreWrapper1 :: forall r (sig :: (Type -> Type) -> Type -> Type) m a. Has (State (Map r CurrSt) :+: State r) sig m => m a -> m a

checkProtXFold :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State (Map r CurrSt) :+: (State r :+: Error (ProtocolError r bst))) sig m, Eq r, Ord r, Enum r, Bounded r) => XFold m (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

verifyProtXFold :: forall r bst (sig :: (Type -> Type) -> Type -> Type) m. (Has (State (IntMap (r, r)) :+: Error (ProtocolError r bst)) sig m, Enum r, Eq r) => XFold m (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 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)

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

pipe' :: 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 (PipeResult r bst)

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