1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
name: selective
version: 0.7.0.1
synopsis: Selective applicative functors
license: MIT
license-file: LICENSE
author: Andrey Mokhov <andrey.mokhov@gmail.com>, github: @snowleopard
maintainer: Andrey Mokhov <andrey.mokhov@gmail.com>, github: @snowleopard
copyright: Andrey Mokhov, 2018-2024
homepage: https://github.com/snowleopard/selective
bug-reports: https://github.com/snowleopard/selective/issues
category: Control
build-type: Simple
cabal-version: 1.18
tested-with: GHC==9.8.2, GHC==9.6.3, GHC==9.4.7, GHC==9.2.8, GHC==9.0.2, GHC==8.10.7, GHC==8.8.4, GHC==8.6.5
description: Selective applicative functors: declare your effects statically,
select which to execute dynamically.
.
This is a library for /selective applicative functors/, or just
/selective functors/ for short, an abstraction between
applicative functors and monads, introduced in
<https://dl.acm.org/doi/10.1145/3341694 this paper>.
extra-doc-files:
CHANGES.md
README.md
source-repository head
type: git
location: https://github.com/snowleopard/selective.git
library
hs-source-dirs: src
exposed-modules: Control.Selective,
Control.Selective.Free,
Control.Selective.Multi,
Control.Selective.Rigid.Free,
Control.Selective.Rigid.Freer,
Control.Selective.Trans.Except
build-depends: base >= 4.12 && < 5,
transformers >= 0.4.2.0 && < 0.7
default-language: Haskell2010
other-extensions: DeriveFunctor,
FlexibleInstances,
GADTs,
GeneralizedNewtypeDeriving,
RankNTypes,
StandaloneDeriving,
TupleSections,
DerivingVia
ghc-options: -Wall
-fno-warn-name-shadowing
-Wcompat
-Wincomplete-record-updates
-Wincomplete-uni-patterns
-Wredundant-constraints
if impl(ghc >= 9.2)
ghc-options: -Wno-operator-whitespace-ext-conflict
test-suite main
hs-source-dirs: test, examples
other-modules: Build,
Laws,
Parser,
Processor,
Query,
Sketch,
Teletype,
Teletype.Rigid,
Test,
Validation
type: exitcode-stdio-1.0
main-is: Main.hs
build-depends: base >= 4.7 && < 5,
containers >= 0.5.5.1 && < 0.8,
QuickCheck >= 2.8 && < 2.15,
selective,
transformers >= 0.4.2.0 && < 0.7
default-language: Haskell2010
ghc-options: -Wall
-fno-warn-name-shadowing
-Wcompat
-Wincomplete-record-updates
-Wincomplete-uni-patterns
-Wredundant-constraints
if impl(ghc >= 9.2)
ghc-options: -Wno-operator-whitespace-ext-conflict
|
