idrisPackages.effects 1.3.4 unmaintained
effects builtin Idris library
- Name
idris-effects-1.3.4- Package set
- idrisPackages
- Homepage
- https://hackage.haskell.org/package/idris
- License
- BSD-3-Clause
- Source
- pkgs/development/idris-modules/build-builtin-package.nix:22
- Derivation
/nix/store/zwgmbldi6jvii4hxbgc230ji6zi4qp52-idris-effects-1.3.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 0
This package has no maintainers.
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| idrisPackages.base 1.3.4 | propagatedBuildInputs | 80 | unmaintained | |
| idrisPackages.prelude 1.3.4 | propagatedBuildInputs | 81 | unmaintained | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 15 directly, 22 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| idrisPackages.lightyear 2017-09-10 | propagatedBuildInputs | 8 | maintained | |
| idrisPackages.specdris 2018-01-23 | propagatedBuildInputs | 2 | unmaintained | |
| idrisPackages.test 2017-03-30 | propagatedBuildInputs | 2 | single | |
| idrisPackages.containers 2017-09-10 | propagatedBuildInputs | 1 | single | |
| idrisPackages.sdl2 0.1.1 | propagatedBuildInputs | 1 | maintained | |
| idrisPackages.config 2017-11-06 | propagatedBuildInputs | 0 | single | |
| idrisPackages.eternal 2018-07-02 | propagatedBuildInputs | 0 | single | |
| idrisPackages.farrp 2018-02-13 | propagatedBuildInputs | 0 | single | |
| idrisPackages.glfw 2016-12-05 | propagatedBuildInputs | 0 | single | |
| idrisPackages.hamt 2016-11-15 | propagatedBuildInputs | 0 | single | |
| idrisPackages.idrishighlighter 2018-02-22 | propagatedBuildInputs | 0 | single | |
| idrisPackages.ipkgparser 2017-11-14 | propagatedBuildInputs | 0 | single | |
| idrisPackages.mhd 2016-04-22 | propagatedBuildInputs | 0 | single | |
| idrisPackages.tlhydra 2017-13-26 | propagatedBuildInputs | 0 | single | |
| idrisPackages.wyvern 2017-06-26 | propagatedBuildInputs | 0 | single |