aboutsummaryrefslogtreecommitdiff
path: root/vendor/cabal-helper-0.8.1.2/tests/bkpregex
diff options
context:
space:
mode:
authorYuchen Pei <hi@ypei.me>2022-06-06 21:10:38 +1000
committerYuchen Pei <hi@ypei.me>2022-06-06 21:10:38 +1000
commitc5b33045238aa22a108c5ffd6989770e94b206eb (patch)
tree70f0325044b9d4748870a62adebca5c0e46f9e59 /vendor/cabal-helper-0.8.1.2/tests/bkpregex
parent93825d12f0e3c97a5db4a48b4fe6ae4865256a67 (diff)
Replacing cabal-helper-0.8.1.2 with 1.1.0.0
Diffstat (limited to 'vendor/cabal-helper-0.8.1.2/tests/bkpregex')
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/Setup.hs2
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/bkpregex.cabal29
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-example/Main.hs12
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs14
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig9
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-types/Regex/Types.hs7
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/ByteString.hs17
-rw-r--r--vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/String.hs21
8 files changed, 0 insertions, 111 deletions
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/Setup.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/Setup.hs
deleted file mode 100644
index 9a994af..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/Setup.hs
+++ /dev/null
@@ -1,2 +0,0 @@
-import Distribution.Simple
-main = defaultMain
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/bkpregex.cabal b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/bkpregex.cabal
deleted file mode 100644
index 5d8d813..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/bkpregex.cabal
+++ /dev/null
@@ -1,29 +0,0 @@
-name: bkpregex
-version: 0.1.0.0
-build-type: Simple
-cabal-version: 2.0
-
-library str-impls
- build-depends: base, bytestring
- exposed-modules: Str.String, Str.ByteString
- hs-source-dirs: str-impls
-
-library regex-types
- build-depends: base
- exposed-modules: Regex.Types
- hs-source-dirs: regex-types
-
-library regex-indef
- build-depends: base, regex-types
- signatures: Str
- exposed-modules: Regex
- hs-source-dirs: regex-indef
-
-executable regex-example
- main-is: Main.hs
- build-depends: base, regex-indef, regex-types, str-impls
- mixins: regex-indef (Regex as Regex.String)
- requires (Str as Str.String),
- regex-indef (Regex as Regex.ByteString)
- requires (Str as Str.ByteString)
- hs-source-dirs: regex-example
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-example/Main.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-example/Main.hs
deleted file mode 100644
index 76d2974..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-example/Main.hs
+++ /dev/null
@@ -1,12 +0,0 @@
-{-# LANGUAGE OverloadedStrings #-}
-module Main where
-
-import Regex.Types
-import qualified Regex.String
-import qualified Regex.ByteString
-
-nocs = Rep (Alt (Sym 'a') (Sym 'b'))
-onec = Seq nocs (Sym 'c')
-evencs = Seq (Rep (Seq onec onec)) nocs
-main = print (Regex.String.accept evencs "acc") >>
- print (Regex.ByteString.accept evencs "acc")
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs
deleted file mode 100644
index 506566b..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Regex.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-module Regex where
-
-import Prelude hiding (null)
-import Str
-import Regex.Types
-
-accept :: Reg -> Str -> Bool
-accept Eps u = null u
-accept (Sym c) u = u == singleton c
-accept (Alt p q) u = accept p u || accept q u
-accept (Seq p q) u =
- or [accept p u1 && accept q u2 | (u1, u2) <- splits u]
-accept (Rep r) u =
- or [and [accept r ui | ui <- ps] | ps <- parts u]
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig
deleted file mode 100644
index 23bfb8c..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-indef/Str.hsig
+++ /dev/null
@@ -1,9 +0,0 @@
-signature Str where
-
-data Str
-instance Eq Str
-
-null :: Str -> Bool
-singleton :: Char -> Str
-splits :: Str -> [(Str, Str)]
-parts :: Str -> [[Str]]
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-types/Regex/Types.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-types/Regex/Types.hs
deleted file mode 100644
index 2900749..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/regex-types/Regex/Types.hs
+++ /dev/null
@@ -1,7 +0,0 @@
-module Regex.Types where
-
-data Reg = Eps
- | Sym Char
- | Alt Reg Reg
- | Seq Reg Reg
- | Rep Reg
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/ByteString.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/ByteString.hs
deleted file mode 100644
index cd49fed..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/ByteString.hs
+++ /dev/null
@@ -1,17 +0,0 @@
-module Str.ByteString(module Data.ByteString.Char8, module Str.ByteString) where
-
-import Prelude hiding (length, null, splitAt)
-import Data.ByteString.Char8
-import Data.ByteString
-
-type Str = ByteString
-
-splits :: Str -> [(Str, Str)]
-splits s = fmap (\n -> splitAt n s) [0..length s]
-
-parts :: Str -> [[Str]]
-parts s | null s = [[]]
- | otherwise = do
- n <- [1..length s]
- let (l, r) = splitAt n s
- fmap (l:) (parts r)
diff --git a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/String.hs b/vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/String.hs
deleted file mode 100644
index bba89de..0000000
--- a/vendor/cabal-helper-0.8.1.2/tests/bkpregex/str-impls/Str/String.hs
+++ /dev/null
@@ -1,21 +0,0 @@
-module Str.String where
-
-import Prelude hiding (null)
-import qualified Prelude as P
-
-type Str = String
-
-null :: Str -> Bool
-null = P.null
-
-singleton :: Char -> Str
-singleton c = [c]
-
-splits :: Str -> [(Str, Str)]
-splits [] = [([], [])]
-splits (c:cs) = ([], c:cs):[(c:s1,s2) | (s1,s2) <- splits cs]
-
-parts :: Str -> [[Str]]
-parts [] = [[]]
-parts [c] = [[[c]]]
-parts (c:cs) = concat [[(c:p):ps, [c]:p:ps] | p:ps <- parts cs]