Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
Source project has a limited visibility.
  • Robbert Krebbers's avatar
    12e701ca
    Make `fmap` left associative. · 12e701ca
    Robbert Krebbers authored
    This follows the associativity in Haskell. So, something like
    
      f <$> g <$> h
    
    Is now parsed as:
    
      (f <$> g) <$> h
    
    Since the functor is a generalized form of function application, this also now
    also corresponds with the associativity of function application, which is also
    left associative.
    12e701ca
    History
    Make `fmap` left associative.
    Robbert Krebbers authored
    This follows the associativity in Haskell. So, something like
    
      f <$> g <$> h
    
    Is now parsed as:
    
      (f <$> g) <$> h
    
    Since the functor is a generalized form of function application, this also now
    also corresponds with the associativity of function application, which is also
    left associative.