on dcd32cb help sign in
10 lines 225 B history raw
1module OpenAPI.Checker.Common
2 ( zipAll
3 )
4where
6zipAll :: [a] -> [b] -> Maybe [(a, b)]
7zipAll [] [] = Just []
8zipAll (x : xs) (y : ys) = ((x, y) :) <$> zipAll xs ys
9zipAll (_ : _) [] = Nothing
10zipAll [] (_ : _) = Nothing