packages feed

char-qq (empty) → 0.1

raw patch · 5 files changed

+193/−0 lines, 5 filesdep +basedep +template-haskellsetup-changed

Dependencies added: base, template-haskell

Files

+ LICENSE view
@@ -0,0 +1,22 @@+Copyright (c) 2019, Metrix.AI++Permission is hereby granted, free of charge, to any person+obtaining a copy of this software and associated documentation+files (the "Software"), to deal in the Software without+restriction, including without limitation the rights to use,+copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the+Software is furnished to do so, subject to the following+conditions:++The above copyright notice and this permission notice shall be+included in all copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES+OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT+HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,+WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING+FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR+OTHER DEALINGS IN THE SOFTWARE.
+ Setup.hs view
@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain
+ char-qq.cabal view
@@ -0,0 +1,30 @@+name: char-qq+version: 0.1+category: QuasiQuotes+synopsis: Quasiquoters for characters and codepoints+description: A set of quasiquoters providing compile-time conversions between characters and codepoints.+homepage: https://github.com/metrix-ai/char-qq+bug-reports: https://github.com/metrix-ai/char-qq/issues+author: Nikita Volkov <nikita.y.volkov@mail.ru>+maintainer: Metrix.AI Tech Team <tech@metrix.ai>+copyright: (c) 2019 Metrix.AI+license: MIT+license-file: LICENSE+build-type: Simple+cabal-version: >=1.10++source-repository head+  type: git+  location: git://github.com/metrix-ai/char-qq.git++library+  hs-source-dirs: library+  default-extensions: Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, PatternSynonyms, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeApplications, TypeFamilies, TypeOperators, UnboxedTuples+  default-language: Haskell2010+  exposed-modules:+    CharQq+  other-modules:+    CharQq.Prelude+  build-depends:+    base >=4.9 && <5,+    template-haskell >=2.9 && <3
+ library/CharQq.hs view
@@ -0,0 +1,68 @@+module CharQq+(+  ord,+  ords,+)+where++import CharQq.Prelude hiding (ord, chr)+import Language.Haskell.TH.Syntax+import Language.Haskell.TH.Quote+import qualified CharQq.Prelude as Prelude+++-- * Quasi-quoters+-------------------------++{-|+A quasi-quoter which produces a unicode codepoint integer literal of a char.+E.g.,++>>> [CharQq.ord|Z|]+90++Works in the context of expressions and patterns.+-}+ord :: QuasiQuoter+ord = QuasiQuoter exp pat typ dec where+  exp = stringOrdExpQ+  pat = stringOrdPatQ+  typ = const (fail "Unsupported")+  dec = const (fail "Unsupported")++{-|+A quasi-quoter which produces a list of unicode codepoint integral literals of a sequence of chars.+E.g.,++>>> [CharQq.ords|абв|]+[1072,1073,1074]++Works in the context of expressions and patterns.+-}+ords :: QuasiQuoter+ords = QuasiQuoter exp pat typ dec where+  exp = stringOrdsExpQ+  pat = stringOrdsPatQ+  typ = const (fail "Unsupported")+  dec = const (fail "Unsupported")++-- * Q+-------------------------++stringOrdExpQ :: String -> Q Exp+stringOrdExpQ = \ case+  [char] -> return (LitE (IntegerL (fromIntegral (Prelude.ord char))))+  [] -> fail "Empty quotation"+  _ -> fail "Overlong quotation"++stringOrdPatQ :: String -> Q Pat+stringOrdPatQ = \ case+  [char] -> return (LitP (IntegerL (fromIntegral (Prelude.ord char))))+  [] -> fail "Empty quotation"+  _ -> fail "Overlong quotation"++stringOrdsExpQ :: String -> Q Exp+stringOrdsExpQ = return . ListE . map (LitE . IntegerL . fromIntegral . Prelude.ord)++stringOrdsPatQ :: String -> Q Pat+stringOrdsPatQ = return . ListP . map (LitP . IntegerL . fromIntegral . Prelude.ord)
+ library/CharQq/Prelude.hs view
@@ -0,0 +1,71 @@+module CharQq.Prelude+(+  module Exports,+)+where+++-- base+-------------------------+import Control.Applicative as Exports+import Control.Arrow as Exports+import Control.Category as Exports+import Control.Concurrent as Exports+import Control.Exception as Exports+import Control.Monad as Exports hiding (mapM_, sequence_, forM_, msum, mapM, sequence, forM)+import Control.Monad.IO.Class as Exports+import Control.Monad.Fix as Exports hiding (fix)+import Control.Monad.ST as Exports+import Data.Bits as Exports+import Data.Bool as Exports+import Data.Char as Exports+import Data.Coerce as Exports+import Data.Complex as Exports+import Data.Data as Exports+import Data.Dynamic as Exports+import Data.Either as Exports+import Data.Fixed as Exports+import Data.Foldable as Exports+import Data.Function as Exports hiding (id, (.))+import Data.Functor as Exports+import Data.Functor.Identity as Exports+import Data.Int as Exports+import Data.IORef as Exports+import Data.Ix as Exports+import Data.List as Exports hiding (sortOn, isSubsequenceOf, uncons, concat, foldr, foldl1, maximum, minimum, product, sum, all, and, any, concatMap, elem, foldl, foldr1, notElem, or, find, maximumBy, minimumBy, mapAccumL, mapAccumR, foldl')+import Data.Maybe as Exports+import Data.Monoid as Exports hiding (Last(..), First(..))+import Data.Ord as Exports+import Data.Proxy as Exports+import Data.Ratio as Exports+import Data.STRef as Exports+import Data.String as Exports+import Data.Traversable as Exports+import Data.Tuple as Exports+import Data.Unique as Exports+import Data.Version as Exports+import Data.Word as Exports+import Debug.Trace as Exports+import Foreign.ForeignPtr as Exports+import Foreign.Ptr as Exports+import Foreign.StablePtr as Exports+import Foreign.Storable as Exports hiding (sizeOf, alignment)+import GHC.Conc as Exports hiding (withMVar, threadWaitWriteSTM, threadWaitWrite, threadWaitReadSTM, threadWaitRead)+import GHC.Exts as Exports (lazy, inline, sortWith, groupWith)+import GHC.Generics as Exports (Generic)+import GHC.IO.Exception as Exports+import Numeric as Exports+import Prelude as Exports hiding (concat, foldr, mapM_, sequence_, foldl1, maximum, minimum, product, sum, all, and, any, concatMap, elem, foldl, foldr1, notElem, or, mapM, sequence, id, (.))+import System.Environment as Exports+import System.Exit as Exports+import System.IO as Exports+import System.IO.Error as Exports+import System.IO.Unsafe as Exports+import System.Mem as Exports+import System.Mem.StableName as Exports+import System.Timeout as Exports+import Text.ParserCombinators.ReadP as Exports (ReadP, ReadS, readP_to_S, readS_to_P)+import Text.ParserCombinators.ReadPrec as Exports (ReadPrec, readPrec_to_P, readP_to_Prec, readPrec_to_S, readS_to_Prec)+import Text.Printf as Exports (printf, hPrintf)+import Text.Read as Exports (Read(..), readMaybe, readEither)+import Unsafe.Coerce as Exports