git.iko.soy/Idris-dev
on 71bdbbb 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.idrRefactors rndFin' to only accept length > 0 vectors 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