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.

Minimal complete definition

Nothing

Methods

literally :: (HasSAT s, MonadState s m) => 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

class GVariable f where

Methods

gliterally :: (MonadState s m, HasSAT s) => m Literal -> m (f a)

Instances

GVariable U1

Variable a => GVariable (K1 i a)

(GVariable f, GVariable g) => GVariable ((:*:) f g)

GVariable f => GVariable (M1 i c f)

genericLiterally :: (HasSAT s, MonadState s m, Generic t, GVariable (Rep t)) => m Literal -> m t