diff options
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 00790fe..155eeb3 100644 --- a/src/Data.hs +++ b/src/Data.hs @@ -43,6 +43,10 @@ unSList :: (forall t. f t -> a) -> SList f list -> [a] unSList _ SNil = [] unSList f (x `SCons` l) = f x : unSList f l +showSList :: (forall t. Int -> f t -> String) -> SList f list -> String +showSList _ SNil = "SNil" +showSList f (x `SCons` l) = f 11 x ++ " `SCons` " ++ showSList 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) |