TypedSession.TH

Documentation

roleDecs :: Name -> Q [Dec]

protDecsAndMsgDecs :: (Show r, Show bst, Enum r, Bounded r) => String -> Name -> Name -> PipeResult r bst -> Q [Dec]

protocol :: (Enum r, Bounded r, Show r, Enum bst, Bounded bst, Show bst, Ord r) => String -> Name -> Name -> QuasiQuoter