TypedSession.State.GenDoc

Documentation

genRole :: (Enum r, Bounded r, Show r) => String -> Doc ann

genSt :: String -> String -> PipleResult r bst -> Doc ann

genProtIns :: (Enum r, Bounded r, Show bst, Show r) => String -> String -> PipleResult r bst -> Doc ann

genGraph :: (Enum r, Bounded r, Show bst, Ord r, Show r) => StrFillEnv -> PipleResult r bst -> String

genAllDoc' :: (Enum r, Bounded r, Ord r, Show r, Show bst) => StrFillEnv -> Protocol Creat r bst -> String -> String -> String -> [String] -> Either (ProtocolError r bst) (Doc ann)

genAllDoc :: (Enum r, Bounded r, Ord r, Show r, Show bst) => StrFillEnv -> Protocol Creat r bst -> String -> String -> String -> [String] -> Either (ProtocolError r bst) String

genAllFile :: (Enum r, Bounded r, Ord r, Show r, Show bst) => StrFillEnv -> Protocol Creat r bst -> String -> String -> String -> [String] -> IO ()