diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-26 00:04:14 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-26 00:04:14 +0200 |
| commit | af51ad3cdce90ac6afe4727c8713426624ebaecd (patch) | |
| tree | f9cf215d8737c2fda66f94dd46f195a809865433 /src/Data.hs | |
| parent | 6a0381f9c6cfc56ac805801bf4cefda8305ff055 (diff) | |
Debugging
Diffstat (limited to 'src/Data.hs')
| -rw-r--r-- | src/Data.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Data.hs b/src/Data.hs index e951ef2..c5d6219 100644 --- a/src/Data.hs +++ b/src/Data.hs @@ -30,6 +30,10 @@ slistMap :: (forall t. f t -> g t) -> SList f list -> SList g list slistMap _ SNil = SNil slistMap f (SCons x list) = SCons (f x) (slistMap f list) +unSList :: (forall t. f t -> a) -> SList f list -> [a] +unSList _ SNil = [] +unSList f (x `SCons` l) = f x : unSList f l + sappend :: SList f l1 -> SList f l2 -> SList f (Append l1 l2) sappend SNil l = l sappend (SCons x xs) l = SCons x (sappend xs l) |