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 |
Documentation
class Variable t where Source #
Instances for this class for product-like types can be automatically derived
for any type that is an instance of Generic
.
Nothing
Instances
Variable Literal Source # | |
Variable Bit Source # | |
Variable Bit8 Source # | |
Variable Bit7 Source # | |
Variable Bit6 Source # | |
Variable Bit5 Source # | |
Variable Bit4 Source # | |
Variable Bit3 Source # | |
Variable Bit2 Source # | |
Variable Bit1 Source # | |
Variable BitChar Source # | |
(Variable a, Variable b) => Variable (a, b) Source # | |
(Variable a, Variable b, Variable c) => Variable (a, b, c) Source # | |
(Variable a, Variable b, Variable c, Variable d) => Variable (a, b, c, d) Source # | |
(Variable a, Variable b, Variable c, Variable d, Variable e) => Variable (a, b, c, d, e) Source # | |
(Variable a, Variable b, Variable c, Variable d, Variable e, Variable f) => Variable (a, b, c, d, e, f) Source # | |
(Variable a, Variable b, Variable c, Variable d, Variable e, Variable f, Variable g) => Variable (a, b, c, d, e, f, g) Source # | |
class GVariable f where Source #
gliterally :: MonadSAT s m => m Literal -> m (f a) Source #
Instances
GVariable (U1 :: Type -> Type) Source # | |
Defined in Ersatz.Variable | |
Variable a => GVariable (K1 i a :: Type -> Type) Source # | |
Defined in Ersatz.Variable | |
(GVariable f, GVariable g) => GVariable (f :*: g) Source # | |
Defined in Ersatz.Variable | |
GVariable f => GVariable (M1 i c f) Source # | |
Defined in Ersatz.Variable |