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