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 :: MonadSAT s m => m Literal -> m t

default literally :: (MonadSAT s m, Generic t, GVariable (Rep t)) => m Literal -> m t

Instances

Variable Literal

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m Literal

Variable Bit

Defined in Ersatz.Bit

Methods

literally :: MonadSAT s m => m Literal -> m Bit

Variable Bit8

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit8

Variable Bit7

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit7

Variable Bit6

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit6

Variable Bit5

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit5

Variable Bit4

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit4

Variable Bit3

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit3

Variable Bit2

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit2

Variable Bit1

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit1

Variable BitChar

Defined in Ersatz.BitChar

Methods

literally :: MonadSAT s m => m Literal -> m BitChar

(Variable a, Variable b) => Variable (a, b)

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m (a, b)

(Variable a, Variable b, Variable c) => Variable (a, b, c)

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m (a, b, c)

(Variable a, Variable b, Variable c, Variable d) => Variable (a, b, c, d)

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m (a, b, c, d)

(Variable a, Variable b, Variable c, Variable d, Variable e) => Variable (a, b, c, d, e)

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m (a, b, c, d, e)

(Variable a, Variable b, Variable c, Variable d, Variable e, Variable f) => Variable (a, b, c, d, e, f)

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m (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)

Defined in Ersatz.Variable

Methods

literally :: MonadSAT s m => m Literal -> m (a, b, c, d, e, f, g)

forall :: (Variable a, MonadQSAT s m) => m a

exists :: (Variable a, MonadSAT s m) => m a

class GVariable f where

Methods

gliterally :: MonadSAT s m => m Literal -> m (f a)

Instances

GVariable (U1 :: Type -> Type)

Defined in Ersatz.Variable

Methods

gliterally :: MonadSAT s m => m Literal -> m (U1 a)

Variable a => GVariable (K1 i a :: Type -> Type)

Defined in Ersatz.Variable

Methods

gliterally :: MonadSAT s m => m Literal -> m (K1 i a a0)

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

Defined in Ersatz.Variable

Methods

gliterally :: MonadSAT s m => m Literal -> m ((f :*: g) a)

GVariable f => GVariable (M1 i c f)

Defined in Ersatz.Variable

Methods

gliterally :: MonadSAT s m => m Literal -> m (M1 i c f a)

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