From 6e929b4b1eb9b0b6a4707ed3d9f181544ed27a73 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Sun, 2 Jan 2022 01:55:17 +0100
Subject: [PATCH] playing around with types
---
lib/KindLinter.hs | 29 +++++++++++++++++++++++++++++
stack.yaml | 1 +
stack.yaml.lock | 7 +++++++
walint.cabal | 4 +++-
4 files changed, 40 insertions(+), 1 deletion(-)
create mode 100644 lib/KindLinter.hs
diff --git a/lib/KindLinter.hs b/lib/KindLinter.hs
new file mode 100644
index 0000000..4ecf067
--- /dev/null
+++ b/lib/KindLinter.hs
@@ -0,0 +1,29 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE TypeApplications #-}
+
+module KindLinter where
+
+import Data.Map.Strict
+import Data.HList
+import GHC.TypeLits (Symbol, KnownSymbol)
+
+
+func :: a -> HList [Int, String]
+func _ = hBuild 10 "test"
+
+field :: forall a. KnownSymbol a => Label a
+field = Label
+
+
+record =
+ Label @"test" .=. 10 .*.
+ field @"x" .=. 20 .*.
+ emptyRecord
+
+-- TODO: these should be limited to Tagged "symbol" (LintWriter a)
+tileLints =
+ field @"test" .=. (\a -> a) .*.
+ emptyRecord
diff --git a/stack.yaml b/stack.yaml
index a72e0cd..78836a8 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -41,6 +41,7 @@ extra-deps:
- semialign-1.2.0.1@sha256:5efc30d6f53f8d2a8a26d9bf3a57c0f20f4ba3086797ccaa615f644abc21d42e,2814
- text-short-0.1.4@sha256:4f7a76e78baf391d262883007e8f8d8fb23a2805d56d9725d6abdf1428542e11,3575
- time-compat-1.9.6.1@sha256:381a2e8ed6e41d20ff5929d12d25c1d9337d459de5964ef1d90b06d115b31f07,5033
+ - HList-0.5.1.0@sha256:3ecb2d10ad2b3d36ad28e2f08505f9c3d7143ca737ef13b3e64db503635966c2,7525
allow-newer: true
# - acme-missiles-0.3
diff --git a/stack.yaml.lock b/stack.yaml.lock
index 71eec11..77b02f5 100644
--- a/stack.yaml.lock
+++ b/stack.yaml.lock
@@ -39,6 +39,13 @@ packages:
sha256: dd54303f712dd2b8dc05942061921b0d06e0bd501b42c965a9ac6a0a37cd3128
original:
hackage: time-compat-1.9.6.1@sha256:381a2e8ed6e41d20ff5929d12d25c1d9337d459de5964ef1d90b06d115b31f07,5033
+- completed:
+ hackage: HList-0.5.1.0@sha256:3ecb2d10ad2b3d36ad28e2f08505f9c3d7143ca737ef13b3e64db503635966c2,7525
+ pantry-tree:
+ size: 5800
+ sha256: fe9d53555847bd16ffd46e3fb6013751c23f375a95d05b4d4c8de0bb22911e72
+ original:
+ hackage: HList-0.5.1.0@sha256:3ecb2d10ad2b3d36ad28e2f08505f9c3d7143ca737ef13b3e64db503635966c2,7525
snapshots:
- completed:
size: 586286
diff --git a/walint.cabal b/walint.cabal
index 414f9e2..e43ae12 100644
--- a/walint.cabal
+++ b/walint.cabal
@@ -41,6 +41,7 @@ library
Badges
LayerData
Dirgraph
+ KindLinter
build-depends: base,
aeson,
bytestring,
@@ -58,7 +59,8 @@ library
dotgen,
text-metrics,
uri-encode,
- network-uri
+ network-uri,
+ HList
-- TODO: move more stuff into lib, these dependencies are silly
executable walint
--
GitLab