master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

idrisPackages.transducers 2017-07-28 single

Composable algorithmic transformation

Name
idris-transducers-2017-07-28
Package set
idrisPackages
Homepage
https://github.com/QuentinDuval/IdrisReducers
License
BSD-3-Clause
Source
pkgs/development/idris-modules/transducers.nix:18
Derivation
/nix/store/0cn4gqyxcsr6nb8m8pdl8fqg7giijicm-idris-transducers-2017-07-28.drv
Repology
not reported as outdated · look up (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
brainrake Marton Boros GitHub · martonboros@gmail.com listed on package

Dependencies 5

PackageAsMaintainersUsed 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,029 single
bashNonInteractive 5.3p15 other input 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 0 directly, 0 transitively

No package depends on this one.