diff options
| author | stuebinm | 2022-01-02 01:55:17 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:23:08 +0100 |
| commit | 6e929b4b1eb9b0b6a4707ed3d9f181544ed27a73 (patch) | |
| tree | 79e82e44f17f889959ccd4e27eeb8f3604ec7811 | |
| parent | c9c472a36b0db933771a6feb24709e78cae1822b (diff) | |
playing around with types
| -rw-r--r-- | lib/KindLinter.hs | 29 | ||||
| -rw-r--r-- | stack.yaml | 1 | ||||
| -rw-r--r-- | stack.yaml.lock | 7 | ||||
| -rw-r--r-- | walint.cabal | 4 |
4 files changed, 40 insertions, 1 deletions
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 @@ -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 |