Language.Hasmtlib.Variable

Documentation

class Variable a where

Construct a variable datum of a data-type by creating variables for all its fields.

   data V3 a = V3 a a a
   instance Variable a => V3 a

>>> varV3 <- variable @(V3 (Expr RealType)) ; varV3
    V3 (Var RealType) (Var RealType) (Var RealType)

Minimal complete definition

Nothing

Methods

variable :: MonadSMT s m => m a

default variable :: (MonadSMT s m, Applicative f, Traversable f, Variable b, a ~ f b) => m a

Instances

Variable ()

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m ()

KnownSMTSort t => Variable (Expr t)

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (Expr t)

Variable a => Variable (Maybe a)

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (Maybe a)

Variable b => Variable (Either a b)

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (Either a b)

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

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (a, b)

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

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (a, b, c)

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

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (a, b, c, d)

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

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => 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 Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => 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 Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (a, b, c, d, e, f, g)

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

Defined in Language.Hasmtlib.Variable

Methods

variable :: MonadSMT s m => m (a, b, c, d, e, f, g, h)

variable' :: forall s m a. (MonadSMT s m, Variable a) => Proxy a -> m a

Wrapper for variable which takes a Proxy