| Safe Haskell | Safe |
|---|---|
| Language | GHC2021 |
LambdaUC.UC.Shell
Documentation
idealToMultSid :: forall sid rest down x y. ConstrAllD Ord (sid : rest) -> KnownHPPortsD down -> SingleSidIdeal sid (HListPort x y) (HListPort x y) down -> MultSidIdeal rest sid (HListPort x y) (HListPort x y) down #
realToMultSid :: forall sid rest down x y. ConstrAllD Ord (sid : rest) -> KnownHPPortsD down -> SingleSidReal sid (HListPort x y) (HListPort x y) down -> MultSidReal rest sid (HListPort x y) (HListPort x y) down #
newtype ActiveCorrReq state up down #
Constructors
| ActiveCorrReq (state -> AsyncExT '[] ((() ':> Void) : (([Char] ':> ActiveCorrReq state up down) : MapFlattenedPorts (Concat2 '[] '[] (PortDual up) : MapConcat2 '[] '[] down))) 'NextSend 'NextRecv Void) |
type ActiveCorrResp = String #
newtype ActiveCorrWithErasures sid state up down #
Constructors
| ActiveCorrWithErasures | |
Fields
| |
activeCorruption :: forall up down state sid. state -> ActiveCorrWithErasures sid state up down -> SingleSidReal' sid (HListPort (ActiveCorrReq state up down) ActiveCorrResp) up down #