idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-03 00:55:00 +03:00
Code Issues Projects Releases Wiki Activity

removed RWST function reader

Browse Source
This commit is contained in:
stefan-hoeck 2021-01-19 14:41:26 +01:00
parent 8cb2220e58
commit 8eb0e855f1
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libs/base/Control/Monad/RWS/CPS.idr
View File

@ -141,11 +141,6 @@ public export %inline
asks : Applicative m => (r -> a) -> RWST r w s m a
asks f = MkRWST \r,s,w => pure (f r,s,w)
||| Constructor for computations in the reader monad (equivalent to `asks`).
public export %inline
reader : Applicative m => (r -> a) -> RWST r w s m a
reader = asks
||| Fetch the value of the environment.
public export %inline
ask : Applicative m => RWST r w s m r