diff options
Diffstat (limited to 'utils/mkUserGuidePart/DList.hs')
| -rw-r--r-- | utils/mkUserGuidePart/DList.hs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/utils/mkUserGuidePart/DList.hs b/utils/mkUserGuidePart/DList.hs deleted file mode 100644 index c4b9283e52..0000000000 --- a/utils/mkUserGuidePart/DList.hs +++ /dev/null @@ -1,13 +0,0 @@ -module DList where - -newtype DList a = DList ([a] -> [a]) - -snoc :: DList a -> a -> DList a -DList f `snoc` x = DList (f . (x:)) - -toList :: DList a -> [a] -toList (DList f) = f [] - -instance Monoid (DList a) where - mempty = DList id - DList a `mappend` DList b = DList (a . b) |