Tarkennettu haku
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: haskell-iospec  ]

Paketti: libghc-iospec-dev (0.3-7 ja muut)

Links for libghc-iospec-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti haskell-iospec:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Pure specification of the IO monad

It consists of several modules, that give a pure specification of functions in the IO monad:

Test.IOSpec.Fork: a pure specification of forkIO.

Test.IOSpec.IORef: a pure specification of most functions that create and manipulate on IORefs.

Test.IOSpec.MVar: a pure specification of most functions that create and manipulate and MVars.

Test.IOSpec.STM: a pure specification of atomically and the STM monad.

Test.IOSpec.Teletype: a pure specification of getChar, putChar, and several related Prelude functions.

Besides these modules containing the specifications, there are a few other important modules:

Test.IOSpec.Types: defines the IOSpec type and several amenities.

Test.IOSpec.VirtualMachine: defines a virtual machine on which to execute pure specifications.

Test.IOSpec.Surrogate: a drop-in replacement for the other modules. Import this and recompile your code once you've finished testing and debugging.

There are several well-documented examples included with the source distribution.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Tagit: Software Development: Haskell Development

Muut pakettiin libghc-iospec-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libghc-iospec-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 0.3-7+b1 124.8 kt1,229.0 kt [tiedostoluettelo]
amd64 0.3-7+b2 97.9 kt845.0 kt [tiedostoluettelo]
arm64 0.3-7+b2 107.9 kt1,023.0 kt [tiedostoluettelo]
armel 0.3-7+b2 104.7 kt836.0 kt [tiedostoluettelo]
armhf 0.3-7+b2 105.1 kt836.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 0.3-7+b3 146.6 kt1,206.0 kt [tiedostoluettelo]
hurd-i386 0.3-7+b1 95.0 kt718.0 kt [tiedostoluettelo]
i386 0.3-7+b2 94.9 kt718.0 kt [tiedostoluettelo]
kfreebsd-amd64 0.3-7 96.1 kt844.0 kt [tiedostoluettelo]
kfreebsd-i386 0.3-7 94.6 kt717.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 0.3-7+b2 124.8 kt1,000.0 kt [tiedostoluettelo]
mips 0.3-7+b2 107.1 kt985.0 kt [tiedostoluettelo]
mips64el 0.3-7+b2 115.2 kt1,254.0 kt [tiedostoluettelo]
mipsel 0.3-7+b2 108.7 kt985.0 kt [tiedostoluettelo]
powerpcspe (epävirallinen siirros) 0.3-5 120.4 kt1,025.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 0.3-7+b2 114.3 kt1,296.0 kt [tiedostoluettelo]
ppc64el 0.3-7+b2 117.6 kt1,194.0 kt [tiedostoluettelo]
riscv64 (epävirallinen siirros) 0.3-7+b1 145.7 kt1,572.0 kt [tiedostoluettelo]
s390x 0.3-7+b2 121.8 kt1,185.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 0.3-7+b2 135.8 kt1,631.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 0.3-7+b2 139.9 kt1,040.0 kt [tiedostoluettelo]