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 #-}
6
6
7
7
-- orphaned arbitrary instances
8
8
{-# 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 #-}
9
9
10
10
-- orphaned arbitrary instances
11
11
{-# OPTIONS_GHC -Wno-orphans #-}
Original file line number Diff line number Diff line change @@ -18,8 +18,8 @@ module Network.TypedProtocol
18
18
) where
19
19
20
20
import Network.TypedProtocol.Core
21
- import Network.TypedProtocol.Peer
22
21
import Network.TypedProtocol.Driver
22
+ import Network.TypedProtocol.Peer
23
23
import Network.TypedProtocol.Proofs
24
24
25
25
Original file line number Diff line number Diff line change @@ -51,7 +51,7 @@ module Network.TypedProtocol.Codec
51
51
, prop_codecs_compatM
52
52
, prop_codecs_compat
53
53
, SomeState (.. )
54
- -- ** StateToken
54
+ -- ** StateToken
55
55
, StateToken
56
56
, StateTokenI (.. )
57
57
) where
Original file line number Diff line number Diff line change 1
1
{-# LANGUAGE BangPatterns #-}
2
- {-# LANGUAGE FlexibleContexts #-}
3
2
{-# LANGUAGE DataKinds #-}
4
3
{-# LANGUAGE EmptyCase #-}
4
+ {-# LANGUAGE FlexibleContexts #-}
5
5
{-# LANGUAGE GADTs #-}
6
6
{-# LANGUAGE NamedFieldPuns #-}
7
7
{-# LANGUAGE PolyKinds #-}
Original file line number Diff line number Diff line change 14
14
module Network.TypedProtocol.Peer.Client
15
15
( Client
16
16
, ClientPipelined
17
- , TP. PeerPipelined (ClientPipelined , runClientPipelined )
17
+ , TP. PeerPipelined (ClientPipelined , runClientPipelined )
18
18
, pattern Effect
19
19
, pattern Yield
20
20
, pattern Await
Original file line number Diff line number Diff line change 14
14
module Network.TypedProtocol.Peer.Server
15
15
( Server
16
16
, ServerPipelined
17
- , TP. PeerPipelined (ServerPipelined , runServerPipelined )
17
+ , TP. PeerPipelined (ServerPipelined , runServerPipelined )
18
18
, pattern Effect
19
19
, pattern Yield
20
20
, pattern Await
You can’t perform that action at this time.
0 commit comments