diff options
| author | tv <tv@krebsco.de> | 2026-03-10 04:20:40 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-03-10 04:20:40 +0100 |
| commit | a8b82d308126a69b5c679e90d99d8f036721f919 (patch) | |
| tree | 5e2cc45f5ba7efc831fdeb54b3a6441fd0ddfd07 | |
| parent | 8e27c64502f709474a91854f70e65d14358b7a50 (diff) | |
| -rw-r--r-- | src/Data/Seq2.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Data/Seq2.hs b/src/Data/Seq2.hs index 29178bc..23352f7 100644 --- a/src/Data/Seq2.hs +++ b/src/Data/Seq2.hs @@ -5,3 +5,8 @@ module Data.Seq2 where class Seq2 outer inner where type Element inner + + split2 + :: (Element inner -> Bool) + -> outer inner + -> [outer inner] |