| Copyright | © Edward Kmett 2010-2014, Johan Kiviniemi 2013 |
|---|---|
| License | BSD3 |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Ersatz.Variable
Description
- class Variable t where
- exists :: (MonadState s m, HasSAT s) => m t
- forall :: (MonadState s m, HasQSAT s) => m t
- class GVariable f where
- gexists :: (MonadState s m, HasSAT s) => m (f a)
- gforall :: (MonadState s m, HasQSAT s) => m (f a)
Documentation
Instances for this class for product-like types can be automatically derived
for any type that is an instance of Generic.
Minimal complete definition
Nothing
Methods
exists :: (MonadState s m, HasSAT s) => m t Source
forall :: (MonadState s m, HasQSAT s) => m t Source
Instances
| Variable Literal | |
| Variable Bit | |
| Variable Bit8 | |
| Variable Bit7 | |
| Variable Bit6 | |
| Variable Bit5 | |
| Variable Bit4 | |
| Variable Bit3 | |
| Variable Bit2 | |
| Variable Bit1 | |
| (Variable a, Variable b) => Variable (a, b) | |
| (Variable a, Variable b, Variable c) => Variable (a, b, c) | |
| (Variable a, Variable b, Variable c, Variable d) => Variable (a, b, c, d) | |
| (Variable a, Variable b, Variable c, Variable d, Variable e) => Variable (a, b, c, d, e) | |
| (Variable a, Variable b, Variable c, Variable d, Variable e, Variable f) => Variable (a, b, c, d, e, f) | |
| (Variable a, Variable b, Variable c, Variable d, Variable e, Variable f, Variable g) => Variable (a, b, c, d, e, f, g) |