TypedSession.State.Pattern

Documentation

pattern Msg :: String -> [String] -> r -> r -> MsgOrLabel Creat r

pattern Label :: Int -> MsgOrLabel Creat r

pattern BranchSt :: bst -> Protocol Creat r bst -> BranchSt Creat r bst

pattern (:>) :: MsgOrLabel Creat r -> Protocol Creat r bst -> Protocol Creat r bst infixr 5

pattern Branch :: r -> [BranchSt Creat r bst] -> Protocol Creat r bst

pattern Goto :: Int -> Protocol Creat r bst

pattern Terminal :: Protocol Creat r bst