typed-session-0.3.0.1: typed session framework
Safe HaskellNone
LanguageHaskell2010

TypedSession.TH

Documentation

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 #