diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-09-28 13:31:49 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-09-30 22:45:58 +0200 |
| commit | e6f8e2eeb66880950bd35fd82d439d87e7fa6bf5 (patch) | |
| tree | d1c225b647bfea85749dc65e25e931f1457309c0 /src/Network.hs-boot | |
| parent | 8865c86aa904243ae91a598327e9dc1768ae8f3a (diff) | |
Generic record member selection expression
Diffstat (limited to 'src/Network.hs-boot')
| -rw-r--r-- | src/Network.hs-boot | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Network.hs-boot b/src/Network.hs-boot new file mode 100644 index 0000000..820fdaf --- /dev/null +++ b/src/Network.hs-boot @@ -0,0 +1,4 @@ +module Network where + +data Node +data NodeName |