git.iko.soy/Idris-dev
on 40481dc help sign in
Idris-dev/libs/effects/Effect
1 folder, 11 files
../ Logging/Renamed Logging Effects, improved simple logger Default.idrMove Fin, Vect and So from prelude to base Exception.idrFixed bitrot from change to new Effects API. File.idrTrying a new Effects api Memory.idrChanged <$ and $> to <* and *> Monad.idrAdd Effect.Monad and Effect.Trans Random.idrRemove spurious Data.Fin imports (now reexported by Vect) Select.idrTrying a new Effects api State.idrTrying a new Effects api StdIO.idrFixed bitrot from change to new Effects API. System.idrFix 'time' to return Integer rather than Int Trans.idrAdd Effect.Monad and Effect.Trans