IOTasks
Safe HaskellNone

Test.IOTasks.ValueMap

Documentation

data ValueMap Source #

Instances

Instances details
Show ValueMap Source # 
Instance details

Defined in Test.IOTasks.ValueMap

Methods

showsPrec :: Int -> ValueMap -> ShowS

show :: ValueMap -> String

showList :: [ValueMap] -> ShowS

Eq ValueMap Source # 
Instance details

Defined in Test.IOTasks.ValueMap

Methods

(==) :: ValueMap -> ValueMap -> Bool

(/=) :: ValueMap -> ValueMap -> Bool

emptyValueMap :: [SomeVar] -> ValueMap Source #

insertValue :: Value -> SomeVar -> ValueMap -> ValueMap Source #

lookup :: SomeVar -> ValueMap -> Maybe ValueEntry Source #

sortedEntries :: Typeable a => [Var a] -> ValueMap -> ValueEntry Source #

varnameTypeRep :: [Varname] -> ValueMap -> Maybe SomeTypeRep Source #

varnameVarList :: [Varname] -> ValueMap -> Maybe SomeConsistentVars Source #

data Value Source #

Constructors

IntegerValue Integer 
BoolValue Bool 
StringValue String 

Instances

Instances details
Show Value Source # 
Instance details

Defined in Test.IOTasks.ValueMap

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

wrapValue :: Typeable a => a -> Value Source #

unwrapValue :: Var a -> Value -> a Source #

readValue :: Var a -> String -> a Source #

showValue :: Value -> String Source #

data ValueEntry Source #

Constructors

NoEntry 
IntegerEntry [(Integer, Int)] 
BoolEntry [(Bool, Int)] 
StringEntry [(String, Int)] 

Instances

Instances details
Show ValueEntry Source # 
Instance details

Defined in Test.IOTasks.ValueMap

Methods

showsPrec :: Int -> ValueEntry -> ShowS

show :: ValueEntry -> String

showList :: [ValueEntry] -> ShowS

Eq ValueEntry Source # 
Instance details

Defined in Test.IOTasks.ValueMap

Methods

(==) :: ValueEntry -> ValueEntry -> Bool

(/=) :: ValueEntry -> ValueEntry -> Bool

withValueEntry :: ValueEntry -> r -> (forall a. (Typeable a, Show a) => [(a, Int)] -> r) -> r Source #

unwrapValueEntry :: Var a -> ValueEntry -> [(a, Int)] Source #

lookupInteger :: SomeVar -> ValueMap -> Maybe [(Integer, Int)] Source #

lookupBool :: SomeVar -> ValueMap -> Maybe [(Bool, Int)] Source #

lookupString :: SomeVar -> ValueMap -> Maybe [(String, Int)] Source #