issues
search
Bodigrim
/
logict
A continuation-based backtracking logic programming monad
https://hackage.haskell.org/package/logict
Other
85
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
request for Hackage revision with `tasty` 1.5
#39
peterbecich
closed
5 months ago
1
More examples?
#38
emiruz
opened
7 months ago
1
feat: add `instance` for `MonadThrow` and `MonadCatch`
#37
ncaq
closed
1 year ago
1
build: add `.gitignore`
#36
ncaq
closed
1 year ago
3
Fair search with non-terminating unproductive branches (alternative: computing nothing is not the same as doing nothing)
#35
Undeceiver
closed
1 year ago
7
Lifting `MonadLogic` through transformers.
#34
jumper149
opened
1 year ago
3
feat: instance `MonadLogic` for `WriterT`
#33
ncaq
closed
1 year ago
10
Observing all in MonadLogic
#32
treeowl
opened
1 year ago
1
Support `mtl-2.3`
#31
andreasabel
closed
2 years ago
3
Add a bit more documentation for fromLogicT
#30
treeowl
closed
3 years ago
1
Add a MonadZip instance
#29
treeowl
closed
3 years ago
7
Can we get things like Pipes.Lift?
#28
treeowl
closed
2 years ago
2
Add conversion functions
#27
treeowl
closed
3 years ago
5
Add general conversion function
#26
treeowl
closed
3 years ago
3
Generalize traverse
#25
treeowl
closed
3 years ago
4
Fix ifte example
#24
treeowl
closed
3 years ago
2
Streamline defaults
#23
treeowl
closed
3 years ago
1
Typo fixes
#22
pwm
closed
3 years ago
1
Elaborate on connections between Logic and lists
#21
Bodigrim
closed
3 years ago
1
Version 0.7.1.0 is deprecated on Hackage
#20
kquick
closed
3 years ago
5
Additional documentation
#19
kquick
closed
3 years ago
1
Use async concurrent timeout for more reliable test timeouts.
#18
kquick
closed
3 years ago
1
Update README
#17
kquick
closed
3 years ago
2
Add documentation regarding non-associativity of >>- fair conjunction.
#16
kquick
closed
3 years ago
11
Add RebindableSyntax test for fair conjunction (fails).
#15
kquick
closed
3 years ago
6
Additional documentation describing fair conjunction and disjunction.
#14
kquick
closed
3 years ago
1
More tests
#13
kquick
closed
3 years ago
6
Add more haddock documentation with examples.
#12
kquick
closed
3 years ago
1
will not always succeed since the monad stack can block extraction
#11
marklemay
closed
4 years ago
1
observeAllT is not lazy in some monad transformer stacks
#10
marklemay
closed
4 years ago
3
eta-expand runLogicT for GHC HEAD compatibility
#9
utdemir
closed
4 years ago
1
Could use some examples
#8
Soupstraw
closed
3 years ago
9
A lower level msplit?
#7
Chobbes
closed
4 years ago
2
remigrate to root on top of a darcs 2 git conversion?
#6
cartazio
closed
4 years ago
4
Semigroup and Monoid instances
#5
mikeplus64
closed
5 years ago
1
Semigroup and Monoid
#4
mikeplus64
closed
5 years ago
0
Not inferred as safe with ghc 7.10
#3
UnkindPartition
closed
5 years ago
3
MonadLogic WriterT instance don't satisfy reflect law
#2
Bodigrim
closed
5 years ago
1
MonadReader broken?
#1
mikeplus64
closed
5 years ago
7