Searched refs:succeedT (Results 1 – 2 of 2) sorted by relevance
52 succeedT,173 succeedT :: (Monad m) => r -> ExceptRT r m e174 succeedT r = ExceptRT (return r) function