-
Notifications
You must be signed in to change notification settings - Fork 0
/
package.yaml
152 lines (146 loc) · 4.08 KB
/
package.yaml
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
name: monadology
version: 0.3
author: Ashley Yakeley
copyright: (c) 2017-2023 Ashley Yakeley
license: BSD-2-Clause
license-file: LICENSE
maintainer: <ashley@semantic.org>
github: "AshleyYakeley/monadology"
category: Monads
synopsis: The best ideas in monad-related classes and types.
description: >
Monadology is intended as a collection of the best ideas in monad-related classes and types,
with a focus on correctness and elegance, and theoretical understanding, rather than practical performance.
tested-with:
- "GHC == 9.2.8"
- "GHC == 9.4.5"
- "GHC == 9.6.2"
extra-source-files:
- changelog.md
default-extensions:
- AllowAmbiguousTypes
- Arrows
- ConstraintKinds
- DataKinds
- DefaultSignatures
- EmptyCase
- EmptyDataDecls
- ExistentialQuantification
- FlexibleContexts
- FlexibleInstances
- ForeignFunctionInterface
- FunctionalDependencies
- GADTs
- GeneralizedNewtypeDeriving
- ImplicitParams
- NoImplicitPrelude
- InstanceSigs
- KindSignatures
- LambdaCase
- MultiParamTypeClasses
- OverloadedLabels
- OverloadedStrings
- PartialTypeSignatures
- PatternGuards
- PatternSynonyms
- PolyKinds
- QuantifiedConstraints
- RankNTypes
- RecordWildCards
- RecursiveDo
- RoleAnnotations
- ScopedTypeVariables
- StandaloneDeriving
- StandaloneKindSignatures
- NoStarIsType
- TemplateHaskell
- TypeApplications
- TypeFamilies
- TypeFamilyDependencies
- TypeOperators
- TypeSynonymInstances
- UndecidableInstances
- UndecidableSuperClasses
- ViewPatterns
ghc-options:
- -Wall
- -Wincomplete-uni-patterns
- -Wincomplete-record-updates
- -Wcompat
- -Wnoncanonical-monad-instances
- -Wno-partial-type-signatures
library:
source-dirs: src
dependencies:
- base >= 4.15 && < 5
- constraints >= 0.13
- transformers >= 0.5
- witness >= 0.6.1
- invariant >= 0.6
- type-rig >= 0.1
exposed-modules:
- Control.Monad.Ology.Specific.Result
- Control.Monad.Ology.General.IO
- Control.Monad.Ology.General.Function
- Control.Monad.Ology.General.Cont
- Control.Monad.Ology.General.Inner
- Control.Monad.Ology.General.Outer
- Control.Monad.Ology.General.Extract
- Control.Monad.Ology.General.Identity
- Control.Monad.Ology.General.Exception
- Control.Monad.Ology.General.Throw
- Control.Monad.Ology.General.Catch
- Control.Monad.Ology.General.Coroutine
- Control.Monad.Ology.General.Trans.Trans
- Control.Monad.Ology.General.Trans.Constraint
- Control.Monad.Ology.General.Trans.Hoist
- Control.Monad.Ology.General.Trans.Tunnel
- Control.Monad.Ology.General.Trans.Coerce
- Control.Monad.Ology.General.Trans.Unlift
- Control.Monad.Ology.General.Trans.AskUnlift
- Control.Monad.Ology.General
- Control.Monad.Ology.Specific.ComposeInner
- Control.Monad.Ology.Specific.ComposeOuter
- Control.Monad.Ology.Specific.IdentityT
- Control.Monad.Ology.Specific.ComposeT
- Control.Monad.Ology.Specific.MaybeT
- Control.Monad.Ology.Specific.ExceptT
- Control.Monad.Ology.Specific.ReaderT
- Control.Monad.Ology.Specific.WriterT
- Control.Monad.Ology.Specific.StateT
- Control.Monad.Ology.Specific.ContT
- Control.Monad.Ology.Specific.ReaderStateT
- Control.Monad.Ology.Specific.StackT
- Control.Monad.Ology.Specific.WithT
- Control.Monad.Ology.Specific.ResultT
- Control.Monad.Ology.Specific.StepT
- Control.Monad.Ology.Specific.CoroutineT
- Control.Monad.Ology.Specific.LifecycleT
- Control.Monad.Ology.Data.Exn
- Control.Monad.Ology.Data.Param
- Control.Monad.Ology.Data.Prod
- Control.Monad.Ology.Data.Ref
- Control.Monad.Ology.Data
- Control.Monad.Ology
other-modules:
- Control.Monad.Ology.General.Exception.Class
- Import
tests:
test:
source-dirs: test
dependencies:
- base >= 4.15 && < 5
- transformers >= 0.5
- text >= 2.0
- monadology
- tasty >= 1.4
- tasty-hunit >= 0.10
main: Main.hs
other-modules:
- Useful
- Exception
- Compose
- Coroutine
- Lifecycle
- Data
ghc-options: -threaded