playing around with types

lib/KindLinter.hs

+{-# 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

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

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

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