Ersatz.Variable

Documentation

class Variable t where

Instances for this class for product-like types can be automatically derived for any type that is an instance of Generic.

Methods

exists :: (MonadState s m, HasSAT s) => m t

forall :: (MonadState s m, HasQSAT s) => m t

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)