Bodigrim/logict issues and pull requests

#41 - Please new version release and publish to Hackage

Issue - State: closed - Opened by ncaq 3 months ago - 1 comment

#40 - Improve (>>-) for Logic with isFail check

Issue - State: open - Opened by Bodigrim 5 months ago

#39 - request for Hackage revision with `tasty` 1.5

Issue - State: closed - Opened by peterbecich 11 months ago - 1 comment

#38 - More examples?

Issue - State: open - Opened by emiruz about 1 year ago - 1 comment

#37 - feat: add `instance` for `MonadThrow` and `MonadCatch`

Pull Request - State: closed - Opened by ncaq over 1 year ago - 1 comment

#36 - build: add `.gitignore`

Pull Request - State: closed - Opened by ncaq over 1 year ago - 3 comments

#35 - Fair search with non-terminating unproductive branches (alternative: computing nothing is not the same as doing nothing)

Issue - State: closed - Opened by Undeceiver almost 2 years ago - 7 comments

#34 - Lifting `MonadLogic` through transformers.

Issue - State: open - Opened by jumper149 about 2 years ago - 3 comments

#33 - feat: instance `MonadLogic` for `WriterT`

Pull Request - State: closed - Opened by ncaq about 2 years ago - 10 comments

#32 - Observing all in MonadLogic

Issue - State: open - Opened by treeowl about 2 years ago - 1 comment

#31 - Support `mtl-2.3`

Issue - State: closed - Opened by andreasabel almost 3 years ago - 3 comments

#30 - Add a bit more documentation for fromLogicT

Pull Request - State: closed - Opened by treeowl over 3 years ago - 1 comment

#29 - Add a MonadZip instance

Pull Request - State: closed - Opened by treeowl over 3 years ago - 7 comments

#28 - Can we get things like Pipes.Lift?

Issue - State: closed - Opened by treeowl over 3 years ago - 2 comments

#27 - Add conversion functions

Pull Request - State: closed - Opened by treeowl over 3 years ago - 5 comments

#26 - Add general conversion function

Issue - State: closed - Opened by treeowl over 3 years ago - 3 comments

#25 - Generalize traverse

Pull Request - State: closed - Opened by treeowl over 3 years ago - 4 comments

#24 - Fix ifte example

Pull Request - State: closed - Opened by treeowl over 3 years ago - 2 comments

#23 - Streamline defaults

Pull Request - State: closed - Opened by treeowl over 3 years ago - 1 comment

#22 - Typo fixes

Pull Request - State: closed - Opened by pwm over 3 years ago - 1 comment

#21 - Elaborate on connections between Logic and lists

Pull Request - State: closed - Opened by Bodigrim almost 4 years ago - 1 comment

#20 - Version 0.7.1.0 is deprecated on Hackage

Issue - State: closed - Opened by kquick about 4 years ago - 5 comments

#19 - Additional documentation

Pull Request - State: closed - Opened by kquick about 4 years ago - 1 comment

#18 - Use async concurrent timeout for more reliable test timeouts.

Pull Request - State: closed - Opened by kquick about 4 years ago - 1 comment

#17 - Update README

Pull Request - State: closed - Opened by kquick about 4 years ago - 2 comments

#16 - Add documentation regarding non-associativity of >>- fair conjunction.

Pull Request - State: closed - Opened by kquick about 4 years ago - 11 comments

#15 - Add RebindableSyntax test for fair conjunction (fails).

Pull Request - State: closed - Opened by kquick about 4 years ago - 6 comments

#14 - Additional documentation describing fair conjunction and disjunction.

Pull Request - State: closed - Opened by kquick about 4 years ago - 1 comment

#13 - More tests

Pull Request - State: closed - Opened by kquick about 4 years ago - 6 comments

#12 - Add more haddock documentation with examples.

Pull Request - State: closed - Opened by kquick about 4 years ago - 1 comment

#11 - will not always succeed since the monad stack can block extraction

Pull Request - State: closed - Opened by marklemay over 4 years ago - 1 comment

#10 - observeAllT is not lazy in some monad transformer stacks

Issue - State: closed - Opened by marklemay over 4 years ago - 3 comments

#9 - eta-expand runLogicT for GHC HEAD compatibility

Pull Request - State: closed - Opened by utdemir over 4 years ago - 1 comment

#8 - Could use some examples

Issue - State: closed - Opened by Soupstraw almost 5 years ago - 9 comments

#7 - A lower level msplit?

Issue - State: closed - Opened by Chobbes almost 5 years ago - 2 comments

#6 - remigrate to root on top of a darcs 2 git conversion?

Issue - State: closed - Opened by cartazio almost 5 years ago - 4 comments

#5 - Semigroup and Monoid instances

Pull Request - State: closed - Opened by mikeplus64 over 5 years ago - 1 comment

#4 - Semigroup and Monoid

Issue - State: closed - Opened by mikeplus64 over 5 years ago

#3 - Not inferred as safe with ghc 7.10

Issue - State: closed - Opened by UnkindPartition over 5 years ago - 3 comments

#2 - MonadLogic WriterT instance don't satisfy reflect law

Issue - State: closed - Opened by Bodigrim over 5 years ago - 1 comment

#1 - MonadReader broken?

Issue - State: closed - Opened by mikeplus64 over 5 years ago - 7 comments

GitHub / Bodigrim/logict issues and pull requests