diff options
| author | Eugen Wissner <belka@caraus.de> | 2025-12-09 16:32:32 +0100 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2025-12-09 16:32:32 +0100 |
| commit | 3624c712d72d246f21d4e710cec7c11e052e0326 (patch) | |
| tree | f385cb51c72a0c5eeb2057609b75f5f8c6c4f272 /Haskell-book/07/src/VarietyPack.purs | |
| parent | c95abc31d62e296db4f1b537e3de440dd40defd1 (diff) | |
| download | book-exercises-3624c712d72d246f21d4e710cec7c11e052e0326.tar.gz | |
Add the haskell book
Diffstat (limited to 'Haskell-book/07/src/VarietyPack.purs')
| -rw-r--r-- | Haskell-book/07/src/VarietyPack.purs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Haskell-book/07/src/VarietyPack.purs b/Haskell-book/07/src/VarietyPack.purs new file mode 100644 index 0000000..602ae8d --- /dev/null +++ b/Haskell-book/07/src/VarietyPack.purs @@ -0,0 +1,9 @@ +module VarietyPack where + +import Data.Tuple (Tuple(..)) + +f :: forall a b c d e g + . Tuple (Tuple a b) c + -> Tuple (Tuple d e) g + -> Tuple (Tuple a d) (Tuple c g) +f (Tuple (Tuple a b) c) (Tuple (Tuple d e) g) = Tuple (Tuple a d) (Tuple c g) |