diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2014-03-12 02:17:25 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2014-03-12 02:17:25 +1100 |
| commit | b5ff89d417c73d74a42a1756cb3ecd99b7a3e7f4 (patch) | |
| tree | 97bf2d3ad4e5eac7aec320b932ccf09fdf127871 /Library/Object.hs | |
| parent | ef81889c1eccb08acc27d47c9df652541134e3db (diff) | |
Removed some superfluous lambdas in intermediate functions
Diffstat (limited to 'Library/Object.hs')
| -rw-r--r-- | Library/Object.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Library/Object.hs b/Library/Object.hs index 9fc3b94..dd65ded 100644 --- a/Library/Object.hs +++ b/Library/Object.hs @@ -55,10 +55,10 @@ instance Show Object where makeSubst :: [Object] -> Maybe Substitution makeSubst l = let list = (map (mapMaybe objList)) . (mapMaybe objList) $ l - f = (\g h x -> (g . head $ x, h . last $ x)) + f g h x = (g . head $ x, h . last $ x) check = f (map (f objName objType)) (map (f objVar objTerm)) list g = all (\x -> (isJust . fst $ x) && (isJust . snd $ x)) - h = (\x -> (fromJust . fst $ x, fromJust . snd $ x)) + h x = (fromJust . fst $ x, fromJust . snd $ x) in if ((g . fst $ check) && (g . snd $ check)) then Just (map h (fst check), map h (snd check)) else Nothing |