diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-12-03 01:08:37 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
| commit | 412148ce5f7911e818c6fe1e50981c2cd94858b1 (patch) | |
| tree | 750ed1a5aaf56e3e5475ab9b6a7d9435e1617e14 /tests/bkpregex/regex-indef/Str.hsig | |
| parent | 49dca6e8963a8fcd4e30d76d65068e9fa76a4a8d (diff) | |
ghc-session: Add backpack test project
Diffstat (limited to 'tests/bkpregex/regex-indef/Str.hsig')
| -rw-r--r-- | tests/bkpregex/regex-indef/Str.hsig | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/bkpregex/regex-indef/Str.hsig b/tests/bkpregex/regex-indef/Str.hsig new file mode 100644 index 0000000..23bfb8c --- /dev/null +++ b/tests/bkpregex/regex-indef/Str.hsig @@ -0,0 +1,9 @@ +signature Str where + +data Str +instance Eq Str + +null :: Str -> Bool +singleton :: Char -> Str +splits :: Str -> [(Str, Str)] +parts :: Str -> [[Str]] |