type-spine 0.1 → 0.1.1

raw patch · 2 files changed

+8/−1 lines, 2 files

Files

• Type/Spine/Stage0.hs +7/−0
• type-spine.cabal +1/−1

@@ -58,6 +58,13 @@ spineType :: Name -> Q [Dec] spineType n = do   (ks, k) <- tyConSignature n+  spineType_ n ks k+++-- | @spineType_ n ks k@ generates the @Spine@ instance for the type named @n@+-- with parameter kind @ks@ and range kind @k@.+spineType_ :: Name -> [Kind] -> Kind -> Q [Dec]+spineType_ n ks k = do   let kq = kTypeG $ foldr ArrowK k ks       t = [t| $kq $(conT n) |]   (:[]) `fmap` tySynInstD ''Spine [t] [t| TypeName $t |]

@@ -1,5 +1,5 @@ Name:           type-spine-Version:        0.1+Version:        0.1.1 License:        BSD3 License-File:   LICENSE Author:         Nicolas Frisby <nicolas.frisby@gmail.com>