TypedSession.TH
protocol :: (Enum r, Bounded r, Show r, Enum bst, Bounded bst, Show bst, Ord r) => String -> Name -> Name -> QuasiQuoter Source #
protocol' :: (Enum r, Bounded r, Show r, Enum bst, Bounded bst, Show bst, Ord r) => String -> Name -> Name -> Bool -> QuasiQuoter Source #