You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
117 lines
4.1 KiB
117 lines
4.1 KiB
1 year ago
|
Name: strict
|
||
|
|
Version: 0.4.0.1
|
||
|
|
x-revision: 4
|
||
|
|
Synopsis: Strict data types and String IO.
|
||
|
|
Category: Data, System
|
||
|
|
Description:
|
||
|
|
This package provides strict versions of some standard Haskell data
|
||
|
|
types (pairs, Maybe and Either). It also contains strict IO operations.
|
||
|
|
.
|
||
|
|
It is common knowledge that lazy datastructures can lead to space-leaks.
|
||
|
|
This problem is particularly prominent, when using lazy datastructures to
|
||
|
|
store the state of a long-running application in memory. One common
|
||
|
|
solution to this problem is to use @seq@ and its variants in every piece of
|
||
|
|
code that updates your state. However a much easier solution is to use
|
||
|
|
fully strict types to store such state values. By \"fully strict types\" we
|
||
|
|
mean types for whose values it holds that, if they are in weak-head normal
|
||
|
|
form, then they are also in normal form. Intuitively, this means that
|
||
|
|
values of fully strict types cannot contain unevaluated thunks.
|
||
|
|
.
|
||
|
|
To define a fully strict datatype, one typically uses the following recipe.
|
||
|
|
.
|
||
|
|
1. Make all fields of every constructor strict; i.e., add a bang to
|
||
|
|
all fields.
|
||
|
|
.
|
||
|
|
2. Use only strict types for the fields of the constructors.
|
||
|
|
.
|
||
|
|
The second requirement is problematic as it rules out the use of
|
||
|
|
the standard Haskell 'Maybe', 'Either', and pair types. This library
|
||
|
|
solves this problem by providing strict variants of these types and their
|
||
|
|
corresponding standard support functions and type-class instances.
|
||
|
|
.
|
||
|
|
Note that this library does currently not provide fully strict lists.
|
||
|
|
They can be added if they are really required. However, in many cases one
|
||
|
|
probably wants to use unboxed or strict boxed vectors from the 'vector'
|
||
|
|
library (<http://hackage.haskell.org/package/vector>) instead of strict
|
||
|
|
lists. Moreover, instead of @String@s one probably wants to use strict
|
||
|
|
@Text@ values from the @text@ library
|
||
|
|
(<http://hackage.haskell.org/package/text>).
|
||
|
|
.
|
||
|
|
This library comes with batteries included; i.e., mirror functions and
|
||
|
|
instances of the lazy versions in @base@. It also includes instances for
|
||
|
|
type-classes from the @deepseq@, @binary@, and @hashable@ packages.
|
||
|
|
License: BSD3
|
||
|
|
License-File: LICENSE
|
||
|
|
Author: Roman Leshchinskiy <rl@cse.unsw.edu.au>
|
||
|
|
Simon Meier <iridcode@gmail.com>
|
||
|
|
Maintainer: Don Stewart <dons@galois.com>,
|
||
|
|
Bas van Dijk <v.dijk.bas@gmail.com>,
|
||
|
|
Oleg Grenrus <oleg.grenrus@iki.fi>,
|
||
|
|
Simon Meier <iridcode@gmail.com>,
|
||
|
|
Ximin Luo <infinity0@pwned.gg>
|
||
|
|
Copyright: (c) 2006-2008 by Roman Leshchinskiy
|
||
|
|
(c) 2013-2014 by Simon Meier
|
||
|
|
Homepage: https://github.com/haskell-strict/strict
|
||
|
|
Cabal-Version: >= 1.10
|
||
|
|
Build-type: Simple
|
||
|
|
extra-source-files: CHANGELOG.md
|
||
|
|
tested-with:
|
||
|
|
GHC ==7.4.2
|
||
|
|
|| ==7.6.3
|
||
|
|
|| ==7.8.4
|
||
|
|
|| ==7.10.3
|
||
|
|
|| ==8.0.2
|
||
|
|
|| ==8.2.2
|
||
|
|
|| ==8.4.4
|
||
|
|
|| ==8.6.5
|
||
|
|
|| ==8.8.3
|
||
|
|
|| ==8.10.4
|
||
|
|
|| ==9.0.1
|
||
|
|
|| ==9.2.1
|
||
|
|
|
||
|
|
flag assoc
|
||
|
|
description: Build with assoc dependency
|
||
|
|
manual: True
|
||
|
|
default: True
|
||
|
|
|
||
|
|
library
|
||
|
|
default-language: Haskell2010
|
||
|
|
hs-source-dirs: src
|
||
|
|
ghc-options: -Wall
|
||
|
|
|
||
|
|
build-depends:
|
||
|
|
base >= 4.5.0.0 && < 5
|
||
|
|
, binary >= 0.5.1.0 && < 0.9
|
||
|
|
, bytestring >= 0.9.2.1 && < 0.12
|
||
|
|
, deepseq >= 1.3.0.0 && < 1.5
|
||
|
|
, hashable >= 1.2.7.0 && < 1.5
|
||
|
|
, text >= 1.2.3.0 && < 1.3 || >=2.0 && <2.1
|
||
|
|
, these >= 1.1.1.1 && < 1.2
|
||
|
|
, transformers >= 0.3.0.0 && < 0.7
|
||
|
|
, ghc-prim
|
||
|
|
|
||
|
|
if !impl(ghc >= 8.0)
|
||
|
|
build-depends:
|
||
|
|
semigroups >= 0.18.5 && < 0.21
|
||
|
|
, transformers-compat >= 0.6.5 && < 0.8
|
||
|
|
|
||
|
|
-- Ensure Data.Functor.Classes is always available
|
||
|
|
if impl(ghc >= 7.10)
|
||
|
|
build-depends: transformers >= 0.4.2.0
|
||
|
|
|
||
|
|
if !impl(ghc >= 8.2)
|
||
|
|
build-depends:
|
||
|
|
bifunctors >= 5.5.2 && < 5.6
|
||
|
|
|
||
|
|
if flag(assoc)
|
||
|
|
build-depends: assoc >= 1.0.1 && < 1.1
|
||
|
|
|
||
|
|
exposed-modules:
|
||
|
|
Data.Strict
|
||
|
|
Data.Strict.Classes
|
||
|
|
Data.Strict.These
|
||
|
|
Data.Strict.Tuple
|
||
|
|
Data.Strict.Maybe
|
||
|
|
Data.Strict.Either
|
||
|
|
System.IO.Strict
|