git.iko.soy/Idris-dev
on ce9afae help sign in
Idris-dev/libs/effects/Effect
10 files
../ Default.idrMake 'neweffects' the official effects package Exception.idrMake 'neweffects' the official effects package File.idrAdded documentation for the effectful file operations. Memory.idrMake 'neweffects' the official effects package Monad.idrMake 'neweffects' the official effects package Random.idrMakes rndFin take all values in Fin (S k) Select.idrMake 'neweffects' the official effects package State.idrMake 'neweffects' the official effects package StdIO.idrStandard IO effect docstrings System.idrMake 'neweffects' the official effects package