git.iko.soy/Idris-dev
on 44539ec help sign in
Idris-dev/libs/effects/Effect
1 folder, 12 files
../ Logging/Updates to renaming dependent pairs. Default.idrChange export qualifier keywords Exception.idrChange export qualifier keywords File.idrUpdated documentation for new file effect, and added to the CHANGELOG. Memory.idrfindCalls should find constructors too Monad.idrChange export qualifier keywords Perf.idrChange export qualifier keywords Random.idrChange export qualifier keywords Select.idrChange export qualifier keywords State.idrChange export qualifier keywords StdIO.idrChange export qualifier keywords System.idrChange export qualifier keywords Trans.idrChange export qualifier keywords