lib:logict

Modules

• Control.Monad.Logic
• Control.Monad.Logic.Class

Dependencies

• base lib:base >=2 && <5
• fail lib:fail >=0
• mtl lib:mtl >=2 && <2.3

Reverse dependencies

Direct only. Not exhaustive.

• cflp lib:cflp
• hmt lib:hmt
• lambdabot exe:lambdabot
• peg exe:peg
• pianola lib:pianola
• regex-genex lib:regex-genex
• smallcheck lib:smallcheck
• unification-fd lib:unification-fd