Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Split Nil (Cons x xs) (Cons x xs) | |
Split (Cons x xs) Nil (Cons x xs) | |
Split xs ys zs => Split (Cons (r, x) xs) (Cons (s, y) ys) (Cons (s, y) (Cons (r, x) zs)) | |
Split xs ys zs => Split (Cons (r, x) xs) (Cons (s, y) ys) (Cons (r, x) (Cons (s, y) zs)) | |
Split xs ys zs => Split (Cons x xs) (Cons x ys) (Cons x zs) | |
Split (Cons x Nil) (Cons x Nil) (Cons x Nil) |
class Split s t z where Source
Split Nil Nil Nil | |
Split Nil (Cons x xs) (Cons x xs) | |
Split (Cons x xs) Nil (Cons x xs) | |
Split xs ys zs => Split (Cons (r, x) xs) (Cons (s, y) ys) (Cons (s, y) (Cons (r, x) zs)) | |
Split xs ys zs => Split (Cons (r, x) xs) (Cons (s, y) ys) (Cons (r, x) (Cons (s, y) zs)) | |
Split xs ys zs => Split (Cons x xs) (Cons x ys) (Cons x zs) | |
Split (Cons x Nil) (Cons x Nil) (Cons x Nil) |