Searched defs:withReader (Results 1 – 3 of 3) sorted by relevance
104 :: (r' -> r) -- ^ The function to modify the environment.107 withReader = withReaderT function
130 withReader x k = MultiGSTT $ do function
142 withReader x k = MultiGSTT $ do function