Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Functor f => MonadState (Storage s) (DPLL s f) Source # | |
Functor f => MonadFree (DPLLF f) (DPLL s f) Source # | |
Functor f => Monad (DPLL s f) Source # | |
Functor f => Functor (DPLL s f) Source # | |
Functor f => Applicative (DPLL s f) Source # | |
(Show1 f, Functor f) => Show1 (DPLL s f) Source # | |
(Show1 f, Functor f, Show a) => Show (DPLL s f a) Source # | |
stepDPLL :: Functor f => DPLL s f a -> Storage s -> (FreeF (DPLLF f) a (DPLL s f a), Storage s) Source #
bcpComplete :: Functor f => DPLL s f () Source #
decisionComplete :: Functor f => DPLL s f () Source #
backtraceExhaustion :: Functor f => DPLL s f () Source #