Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.StateModel.Variables

Synopsis

data Var a
data Any f where
- Some :: (Typeable a, Eq (f a)) => f a -> Any f
class HasVariables a where
- getAllVariables :: a -> Set (Any Var)
newtype HasNoVariables a = HasNoVariables a
data VarContext
mkVar :: Int -> Var a
ctxAtType :: Typeable a => VarContext -> [Var a]
arbitraryVar :: Typeable a => VarContext -> Gen (Var a)
shrinkVar :: Typeable a => VarContext -> Var a -> [Var a]
extendContext :: Typeable a => VarContext -> Var a -> VarContext
isWellTyped :: Typeable a => Var a -> VarContext -> Bool
allVariables :: HasVariables a => a -> VarContext
isEmptyCtx :: VarContext -> Bool
unsafeCoerceVar :: Var a -> Var b
unsafeNextVarIndex :: VarContext -> Int

Documentation

data Var a Source #

A symbolic variable for a value of type a

Instances

Instances details

Data a => Data (Var a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Var a -> c (Var a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Var a) # toConstr :: Var a -> Constr # dataTypeOf :: Var a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Var a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Var a)) # gmapT :: (forall b. Data b => b -> b) -> Var a -> Var a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Var a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Var a -> r # gmapQ :: (forall d. Data d => d -> u) -> Var a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Var a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Var a -> m (Var a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Var a -> m (Var a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Var a -> m (Var a) #
Show (Var a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods showsPrec :: Int -> Var a -> ShowS # show :: Var a -> String # showList :: [Var a] -> ShowS #
Eq (Var a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods (==) :: Var a -> Var a -> Bool # (/=) :: Var a -> Var a -> Bool #
Ord (Var a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods compare :: Var a -> Var a -> Ordering # (<) :: Var a -> Var a -> Bool # (<=) :: Var a -> Var a -> Bool # (>) :: Var a -> Var a -> Bool # (>=) :: Var a -> Var a -> Bool # max :: Var a -> Var a -> Var a # min :: Var a -> Var a -> Var a #
Typeable a => HasVariables (Var a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Var a -> Set (Any Var) Source #

data Any f where Source #

Constructors

Some :: (Typeable a, Eq (f a)) => f a -> Any f

Instances

Instances details

(forall a. Show (Action state a)) => Show (Any (Action state)) Source #
Instance details Defined in Test.QuickCheck.StateModel Methods showsPrec :: Int -> Any (Action state) -> ShowS # show :: Any (Action state) -> String # showList :: [Any (Action state)] -> ShowS #
Eq (Any f) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods (==) :: Any f -> Any f -> Bool # (/=) :: Any f -> Any f -> Bool #
(forall a. Ord (f a)) => Ord (Any f) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods compare :: Any f -> Any f -> Ordering # (<) :: Any f -> Any f -> Bool # (<=) :: Any f -> Any f -> Bool # (>) :: Any f -> Any f -> Bool # (>=) :: Any f -> Any f -> Bool # max :: Any f -> Any f -> Any f # min :: Any f -> Any f -> Any f #
(forall a. HasVariables (f a)) => HasVariables (Any f) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Any f -> Set (Any Var) Source #

class HasVariables a where Source #

This type class gives you a way to get all the symbolic variables that appear in a value.

Methods

getAllVariables :: a -> Set (Any Var) Source #

Instances

Instances details

HasVariables Word16 Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Word16 -> Set (Any Var) Source #
HasVariables Word32 Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Word32 -> Set (Any Var) Source #
HasVariables Word64 Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Word64 -> Set (Any Var) Source #
HasVariables Word8 Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Word8 -> Set (Any Var) Source #
HasVariables Integer Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Integer -> Set (Any Var) Source #
HasVariables Char Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Char -> Set (Any Var) Source #
HasVariables Int Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Int -> Set (Any Var) Source #
(Break (TypeError ('Text "Missing instance of HasVariables for non-Generic type " ':<>: 'ShowType a) :: Constraint) (Rep a), Generic a, GenericHasVariables (Rep a)) => HasVariables a Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: a -> Set (Any Var) Source #
HasVariables a => HasVariables (Smart a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Smart a -> Set (Any Var) Source #
HasVariables a => HasVariables (Set a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Set a -> Set (Any Var) Source #
StateModel s => HasVariables (FailingAction s) Source #
Instance details Defined in Test.QuickCheck.DynamicLogic.Internal Methods getAllVariables :: FailingAction s -> Set (Any Var) Source #
(forall a. HasVariables (Action state a)) => HasVariables (Step state) Source #
Instance details Defined in Test.QuickCheck.StateModel Methods getAllVariables :: Step state -> Set (Any Var) Source #
(forall a. HasVariables (f a)) => HasVariables (Any f) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Any f -> Set (Any Var) Source #
HasVariables (HasNoVariables a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: HasNoVariables a -> Set (Any Var) Source #
Typeable a => HasVariables (Var a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Var a -> Set (Any Var) Source #
(HasVariables k, HasVariables v) => HasVariables (Map k v) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: Map k v -> Set (Any Var) Source #
HasVariables (Action state a) => HasVariables (ActionWithPolarity state a) Source #
Instance details Defined in Test.QuickCheck.StateModel Methods getAllVariables :: ActionWithPolarity state a -> Set (Any Var) Source #

newtype HasNoVariables a Source #

Constructors

HasNoVariables a

Instances

Instances details

Show a => Show (HasNoVariables a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods showsPrec :: Int -> HasNoVariables a -> ShowS # show :: HasNoVariables a -> String # showList :: [HasNoVariables a] -> ShowS #
Eq a => Eq (HasNoVariables a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods (==) :: HasNoVariables a -> HasNoVariables a -> Bool # (/=) :: HasNoVariables a -> HasNoVariables a -> Bool #
HasVariables (HasNoVariables a) Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods getAllVariables :: HasNoVariables a -> Set (Any Var) Source #

data VarContext Source #

Instances

Instances details

Monoid VarContext Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods mempty :: VarContext # mappend :: VarContext -> VarContext -> VarContext # mconcat :: [VarContext] -> VarContext #
Semigroup VarContext Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods (<>) :: VarContext -> VarContext -> VarContext # sconcat :: NonEmpty VarContext -> VarContext # stimes :: Integral b => b -> VarContext -> VarContext #
Show VarContext Source #
Instance details Defined in Test.QuickCheck.StateModel.Variables Methods showsPrec :: Int -> VarContext -> ShowS # show :: VarContext -> String # showList :: [VarContext] -> ShowS #

mkVar :: Int -> Var a Source #

ctxAtType :: Typeable a => VarContext -> [Var a] Source #

arbitraryVar :: Typeable a => VarContext -> Gen (Var a) Source #

shrinkVar :: Typeable a => VarContext -> Var a -> [Var a] Source #

extendContext :: Typeable a => VarContext -> Var a -> VarContext Source #

isWellTyped :: Typeable a => Var a -> VarContext -> Bool Source #

allVariables :: HasVariables a => a -> VarContext Source #

isEmptyCtx :: VarContext -> Bool Source #

unsafeCoerceVar :: Var a -> Var b Source #

unsafeNextVarIndex :: VarContext -> Int Source #