|
Error
|
made functions in EitherT and MaybeT public export
|
2021-01-19 17:38:59 +01:00 |
|
Reader
|
removed MonadReader functions from RWS.CPS.idr
|
2021-01-20 05:45:32 +01:00 |
|
RWS
|
strict, not stricht
|
2021-01-21 13:24:40 +01:00 |
|
State
|
removed MonadState functions from RWS.CPS.idr
|
2021-01-20 05:51:39 +01:00 |
|
Writer
|
fixed doc for WriterT
|
2021-01-21 13:25:48 +01:00 |
|
Identity.idr
|
Add libraries
|
2020-05-18 14:00:08 +01:00 |
|
RWS.idr
|
finished MonadRWS
|
2021-01-20 05:58:19 +01:00 |
|
ST.idr
|
Remove linearity subtyping
|
2020-12-27 19:58:35 +00:00 |
|
State.idr
|
moved transformer impls to their own directory
|
2021-01-19 11:53:23 +01:00 |
|
Trans.idr
|
[ fix #657 ] RigCount for interface parameters (#808)
|
2020-12-11 11:58:26 +00:00 |
