Advertisement
Guest User

Untitled

a guest
Sep 28th, 2016
110
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.26 KB | None | 0 0
  1. module Data.NonEmpty.Extra where
  2.  
  3. import Prelude
  4. import Data.Monoid
  5. import Data.List
  6. import Data.NonEmpty
  7.  
  8. concat
  9. :: ∀ f a
  10. . (Semigroup f a)
  11. => NonEmpty f a
  12. -> NonEmpty f a
  13. -> NonEmpty f a
  14. concat (x :| xs) (y :| ys) = x :| xs <> pure y <> ys
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement