Searched refs:modifySystem (Results 1 – 2 of 2) sorted by relevance
311 , funExtLam = modifySystem (`apply` args) <$> extLam329 , funExtLam = modifySystem (\ _ -> __IMPOSSIBLE__) <$> extLam662 , funExtLam = modifySystem (abstract tel) <$> extLam674 , funExtLam = modifySystem (\ _ -> __IMPOSSIBLE__) <$> extLam
1909 modifySystem :: (System -> System) -> ExtLamInfo -> ExtLamInfo1910 modifySystem f e = let !e' = e { extLamSys = f <$> extLamSys e } in e' function