packages feed

type-combinators-quote 0.1.0.0 → 0.1.0.1

raw patch · 6 files changed

+24/−24 lines, 6 files

Files

src/Data/Type/Fin/Quote.hs view
@@ -16,7 +16,7 @@ {-# LANGUAGE GADTs #-}  module Data.Type.Fin.Quote-  ( qF+  ( qFin   ) where  import Data.Type.Quote@@ -24,13 +24,13 @@ import Language.Haskell.TH import Language.Haskell.TH.Quote -qF :: QuasiQuoter-qF = QuasiQuoter+qFin :: QuasiQuoter+qFin = QuasiQuoter   { quoteExp  = parseAsNatTerm qq varE [|FZ|]  $ \x -> [|FS $x|]   , quotePat  = parseAsNatTerm qq varP [p|FZ|] $ \x -> [p|FS $x|]   , quoteType = stub qq "quoteType"   , quoteDec  = stub qq "quoteDec"   }   where-  qq = "qF"+  qq = "qFin"
src/Data/Type/Index/Quote.hs view
@@ -10,7 +10,7 @@ {-# LANGUAGE LambdaCase #-}  module Data.Type.Index.Quote-  ( qI+  ( qIx   ) where  import Data.Type.Quote@@ -18,13 +18,13 @@ import Language.Haskell.TH import Language.Haskell.TH.Quote -qI :: QuasiQuoter-qI = QuasiQuoter+qIx :: QuasiQuoter+qIx = QuasiQuoter   { quoteExp  = parseAsNatTerm qq varE [|IZ|]  $ \x -> [|IS $x|]   , quotePat  = parseAsNatTerm qq varP [p|IZ|] $ \x -> [p|IS $x|]   , quoteType = stub qq "quoteType"   , quoteDec  = stub qq "quoteDec"   }   where-  qq = "qI"+  qq = "qIx"
src/Data/Type/Nat/Quote.hs view
@@ -16,7 +16,7 @@ {-# LANGUAGE GADTs #-}  module Data.Type.Nat.Quote-  ( qN+  ( qNat   ) where  import Data.Type.Quote@@ -27,13 +27,13 @@  import Control.Monad ((>=>)) -qN :: QuasiQuoter-qN = QuasiQuoter+qNat :: QuasiQuoter+qNat = QuasiQuoter   { quoteExp  = parseAsNatTerm qq varE [|Z_|]  $ \x -> [|S_ $x|]   , quotePat  = parseAsNatTerm qq varP [p|Z_|] $ \x -> [p|S_ $x|]   , quoteType = parseAsNatTerm qq varT [t|Z|] $ \x -> [t|S $x|]   , quoteDec  = stub qq "quoteDec"   }   where-  qq = "qN"+  qq = "qNat"
src/Data/Type/Product/Quote.hs view
@@ -5,7 +5,7 @@ {-# LANGUAGE LambdaCase #-}  module Data.Type.Product.Quote-  ( qP+  ( qProd   ) where  import Data.Type.Quote@@ -13,15 +13,15 @@ import Language.Haskell.TH import Language.Haskell.TH.Quote -qP :: QuasiQuoter-qP = QuasiQuoter+qProd :: QuasiQuoter+qProd = QuasiQuoter   { quoteExp  = parseProd (parseExp qq) prodExp   , quotePat  = parseProd (parsePat qq) prodPat   , quoteType = stub qq "quoteType not provided"   , quoteDec  = stub qq "quoteDec not provided"   }   where-  qq = "qP"+  qq = "qProd"  parseProd :: (String -> Q a) -> ([Q a] -> Q a) -> String -> Q a parseProd prs bld = bld . map prs . commaSep
src/Data/Type/Sym/Quote.hs view
@@ -6,7 +6,7 @@ {-# LANGUAGE LambdaCase #-}  module Data.Type.Sym.Quote-  ( qS+  ( qSym   ) where  import Data.Type.Quote@@ -14,15 +14,15 @@ import Language.Haskell.TH import Language.Haskell.TH.Quote -qS :: QuasiQuoter-qS = QuasiQuoter+qSym :: QuasiQuoter+qSym = QuasiQuoter   { quoteExp  = parseSymExp   , quotePat  = stub qq "quotePat"   , quoteType = parseSymType   , quoteDec  = stub qq "quoteDec"   }   where-  qq = "qS"+  qq = "qSym"  parseSymExp :: String -> Q Exp parseSymExp s = [| Sym :: $(parseSymType s) |]
type-combinators-quote.cabal view
@@ -1,5 +1,5 @@ name:                type-combinators-quote-version:             0.1.0.0+version:             0.1.0.1 synopsis:            Quasiquoters for the 'type-combinators' package. license:             BSD3 license-file:        LICENSE@@ -17,12 +17,12 @@  library   exposed-modules:+    Data.Type.Quote     Data.Type.Fin.Quote-    Data.Type.Sym.Quote-    Data.Type.Nat.Quote     Data.Type.Index.Quote     Data.Type.Product.Quote-    Data.Type.Quote+    Data.Type.Sym.Quote+    Data.Type.Nat.Quote   build-depends:     base >=4.8 && <4.9,     type-combinators >=0.2,