search

Bodigrim / logict

A continuation-based backtracking logic programming monad
https://hackage.haskell.org/package/logict
Other
85 stars 13 forks source link

Semigroup and Monoid #4

Closed mikeplus64 closed 5 years ago

mikeplus64 commented 5 years ago

May as well add these instances, IMO. Only motivation is so I can foldMap :: (Monad m, Foldable f) => (a -> LogicT m a) -> f a -> LogicT m a