File tree Expand file tree Collapse file tree 7 files changed +18
-18
lines changed
typed-protocols-examples/test/Network/TypedProtocol
typed-protocols/src/Network Expand file tree Collapse file tree 7 files changed +18
-18
lines changed Original file line number Diff line number Diff line change 1- {-# LANGUAGE CPP #-}
2- {-# LANGUAGE DataKinds #-}
3- {-# LANGUAGE FlexibleInstances #-}
4- {-# LANGUAGE GADTs #-}
5- {-# LANGUAGE NamedFieldPuns #-}
1+ {-# LANGUAGE CPP #-}
2+ {-# LANGUAGE DataKinds #-}
3+ {-# LANGUAGE FlexibleInstances #-}
4+ {-# LANGUAGE GADTs #-}
5+ {-# LANGUAGE NamedFieldPuns #-}
66
77-- orphaned arbitrary instances
88{-# OPTIONS_GHC -Wno-orphans #-}
Original file line number Diff line number Diff line change 1- {-# LANGUAGE CPP #-}
2- {-# LANGUAGE DataKinds #-}
3- {-# LANGUAGE FlexibleInstances #-}
4- {-# LANGUAGE GADTs #-}
5- {-# LANGUAGE NamedFieldPuns #-}
6- {-# LANGUAGE PolyKinds #-}
7- {-# LANGUAGE ScopedTypeVariables #-}
8- {-# LANGUAGE TupleSections #-}
1+ {-# LANGUAGE CPP #-}
2+ {-# LANGUAGE DataKinds #-}
3+ {-# LANGUAGE FlexibleInstances #-}
4+ {-# LANGUAGE GADTs #-}
5+ {-# LANGUAGE NamedFieldPuns #-}
6+ {-# LANGUAGE PolyKinds #-}
7+ {-# LANGUAGE ScopedTypeVariables #-}
8+ {-# LANGUAGE TupleSections #-}
99
1010-- orphaned arbitrary instances
1111{-# OPTIONS_GHC -Wno-orphans #-}
Original file line number Diff line number Diff line change @@ -18,8 +18,8 @@ module Network.TypedProtocol
1818 ) where
1919
2020import Network.TypedProtocol.Core
21- import Network.TypedProtocol.Peer
2221import Network.TypedProtocol.Driver
22+ import Network.TypedProtocol.Peer
2323import Network.TypedProtocol.Proofs
2424
2525
Original file line number Diff line number Diff line change @@ -51,7 +51,7 @@ module Network.TypedProtocol.Codec
5151 , prop_codecs_compatM
5252 , prop_codecs_compat
5353 , SomeState (.. )
54- -- ** StateToken
54+ -- ** StateToken
5555 , StateToken
5656 , StateTokenI (.. )
5757 ) where
Original file line number Diff line number Diff line change 11{-# LANGUAGE BangPatterns #-}
2- {-# LANGUAGE FlexibleContexts #-}
32{-# LANGUAGE DataKinds #-}
43{-# LANGUAGE EmptyCase #-}
4+ {-# LANGUAGE FlexibleContexts #-}
55{-# LANGUAGE GADTs #-}
66{-# LANGUAGE NamedFieldPuns #-}
77{-# LANGUAGE PolyKinds #-}
Original file line number Diff line number Diff line change 1414module Network.TypedProtocol.Peer.Client
1515 ( Client
1616 , ClientPipelined
17- , TP. PeerPipelined (ClientPipelined , runClientPipelined )
17+ , TP. PeerPipelined (ClientPipelined , runClientPipelined )
1818 , pattern Effect
1919 , pattern Yield
2020 , pattern Await
Original file line number Diff line number Diff line change 1414module Network.TypedProtocol.Peer.Server
1515 ( Server
1616 , ServerPipelined
17- , TP. PeerPipelined (ServerPipelined , runServerPipelined )
17+ , TP. PeerPipelined (ServerPipelined , runServerPipelined )
1818 , pattern Effect
1919 , pattern Yield
2020 , pattern Await
You can’t perform that action at this time.
0 commit comments