Test.Method.Dynamic

Documentation

data DynamicShow

Dynamic value whose content is showable. Using this type instead of Dynamic is recommended because it gives better error messages.

Instances

Show DynamicShow

Defined in Test.Method.Dynamic

Methods

showsPrec :: Int -> DynamicShow -> ShowS

show :: DynamicShow -> String

showList :: [DynamicShow] -> ShowS

DynamicLike DynamicShow

Defined in Test.Method.Dynamic

Methods

asDyn :: DynamicShow -> Dynamic

(Typeable a, Show a) => ToDyn DynamicShow a

Defined in Test.Method.Dynamic

Methods

toDyn :: a -> DynamicShow

(Typeable a, Show a) => FromDyn DynamicShow a

Defined in Test.Method.Dynamic

Methods

fromDyn :: DynamicShow -> a

data Dynamic

A value of type Dynamic is an object encapsulated together with its type.

A Dynamic may only represent a monomorphic value; an attempt to create a value of type Dynamic from a polymorphically-typed expression will result in an ambiguity error (see toDyn).

Showing a value of type Dynamic returns a pretty-printed representation of the object's type; useful for debugging.

Instances

Show Dynamic

Since: base-2.1

Defined in Data.Dynamic

Methods

showsPrec :: Int -> Dynamic -> ShowS

show :: Dynamic -> String

showList :: [Dynamic] -> ShowS

Exception Dynamic

Since: base-4.0.0.0

Defined in Data.Dynamic

Methods

toException :: Dynamic -> SomeException

fromException :: SomeException -> Maybe Dynamic

displayException :: Dynamic -> String

DynamicLike Dynamic

Defined in Test.Method.Dynamic

Methods

asDyn :: Dynamic -> Dynamic

Typeable a => ToDyn Dynamic a

Defined in Test.Method.Dynamic

Methods

toDyn :: a -> Dynamic

Typeable a => FromDyn Dynamic a

Defined in Test.Method.Dynamic

Methods

fromDyn :: Dynamic -> a

castMethod :: (ToDyn (Args method) (Args method'), FromDyn (Ret method) (Ret method'), Method method, Method method', Base method ~ Base method') => method -> method'

convert a dynamically-typed method to a polymorphic method.

  fDyn :: String -> DynamicShow -> Dynamic -> IO [DynamicShow]
  fDyn = ...
  fPoly :: (Typeable a, Show a, Typeable b, Typeable c, Show c) => String -> a -> b -> IO [c]
  fPoly = castMethod fDyn
  

dynArg :: (Typeable a, DynamicLike b) => Matcher a -> Matcher b

Convert given matcher to dynamic matcher. The dynamic matcher matches a dynamic value only if the value has the type of given matcher.

class DynamicLike a where

Generalizes Dynamic and DynamicShow

Methods

asDyn :: a -> Dynamic

Instances

DynamicLike Dynamic

Defined in Test.Method.Dynamic

Methods

asDyn :: Dynamic -> Dynamic

DynamicLike DynamicShow

Defined in Test.Method.Dynamic

Methods

asDyn :: DynamicShow -> Dynamic

class FromDyn a b where

FromDyn a b provides a function to convert type a to type b, where b is a type whose dynamic type occurences are replaced by concrete types.

For example: FromDyn (Int, Dynamic, Maybe Dynamic) (Int, Bool, Maybe String)

Minimal complete definition

Nothing

Methods

fromDyn :: a -> b

convert dynamic value to specified type. It thows runtime exception if the dynamic value does not have specified type.

default fromDyn :: (Generic a, Generic b, FromDyn' (Rep a) (Rep b)) => a -> b

Instances

FromDyn a a

Defined in Test.Method.Dynamic

Methods

fromDyn :: a -> a

Typeable a => FromDyn Dynamic a

Defined in Test.Method.Dynamic

Methods

fromDyn :: Dynamic -> a

(Typeable a, Show a) => FromDyn DynamicShow a

Defined in Test.Method.Dynamic

Methods

fromDyn :: DynamicShow -> a

FromDyn a b => FromDyn [a] [b]

Defined in Test.Method.Dynamic

Methods

fromDyn :: [a] -> [b]

FromDyn a b => FromDyn (Maybe a) (Maybe b)

Defined in Test.Method.Dynamic

Methods

fromDyn :: Maybe a -> Maybe b

(ToDyn a a', FromDyn b b') => FromDyn (a -> b) (a' -> b')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a -> b) -> a' -> b'

(FromDyn a a', FromDyn b b') => FromDyn (Either a b) (Either a' b')

Defined in Test.Method.Dynamic

Methods

fromDyn :: Either a b -> Either a' b'

(FromDyn a a', FromDyn b b') => FromDyn (a, b) (a', b')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a, b) -> (a', b')

(FromDyn a b, FromDyn c d) => FromDyn (a :* c) (b :* d)

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a :* c) -> b :* d

(FromDyn a a', FromDyn b b', FromDyn c c') => FromDyn (a, b, c) (a', b', c')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a, b, c) -> (a', b', c')

(FromDyn a a', FromDyn b b', FromDyn c c', FromDyn d d') => FromDyn (a, b, c, d) (a', b', c', d')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a, b, c, d) -> (a', b', c', d')

(FromDyn a a', FromDyn b b', FromDyn c c', FromDyn d d', FromDyn e e') => FromDyn (a, b, c, d, e) (a', b', c', d', e')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a, b, c, d, e) -> (a', b', c', d', e')

(FromDyn a a', FromDyn b b', FromDyn c c', FromDyn d d', FromDyn e e', FromDyn f f') => FromDyn (a, b, c, d, e, f) (a', b', c', d', e', f')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a, b, c, d, e, f) -> (a', b', c', d', e', f')

(FromDyn a a', FromDyn b b', FromDyn c c', FromDyn d d', FromDyn e e', FromDyn f f', FromDyn g g') => FromDyn (a, b, c, d, e, f, g) (a', b', c', d', e', f', g')

Defined in Test.Method.Dynamic

Methods

fromDyn :: (a, b, c, d, e, f, g) -> (a', b', c', d', e', f', g')

class ToDyn a b where

ToDyn a b provides a function to convert type b to type a, where b is a type whose dynamic type occurences are replaced by concrete types.

For example: ToDyn (Int, Dynamic, Maybe Dynamic) (Int, Bool, Maybe String)

Minimal complete definition

Nothing

Methods

toDyn :: b -> a

convert value of specified type to dynamic value

default toDyn :: (Generic a, Generic b, ToDyn' (Rep a) (Rep b)) => b -> a

Instances

ToDyn a a

Defined in Test.Method.Dynamic

Methods

toDyn :: a -> a

Typeable a => ToDyn Dynamic a

Defined in Test.Method.Dynamic

Methods

toDyn :: a -> Dynamic

(Typeable a, Show a) => ToDyn DynamicShow a

Defined in Test.Method.Dynamic

Methods

toDyn :: a -> DynamicShow

ToDyn a b => ToDyn [a] [b]

Defined in Test.Method.Dynamic

Methods

toDyn :: [b] -> [a]

ToDyn a b => ToDyn (Maybe a) (Maybe b)

Defined in Test.Method.Dynamic

Methods

toDyn :: Maybe b -> Maybe a

(FromDyn a a', ToDyn b b') => ToDyn (a -> b) (a' -> b')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a' -> b') -> a -> b

(ToDyn a a', ToDyn b b') => ToDyn (Either a b) (Either a' b')

Defined in Test.Method.Dynamic

Methods

toDyn :: Either a' b' -> Either a b

(ToDyn a a', ToDyn b b') => ToDyn (a, b) (a', b')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a', b') -> (a, b)

(ToDyn a b, ToDyn c d) => ToDyn (a :* c) (b :* d)

Defined in Test.Method.Dynamic

Methods

toDyn :: (b :* d) -> a :* c

(ToDyn a a', ToDyn b b', ToDyn c c') => ToDyn (a, b, c) (a', b', c')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a', b', c') -> (a, b, c)

(ToDyn a a', ToDyn b b', ToDyn c c', ToDyn d d') => ToDyn (a, b, c, d) (a', b', c', d')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a', b', c', d') -> (a, b, c, d)

(ToDyn a a', ToDyn b b', ToDyn c c', ToDyn d d', ToDyn e e') => ToDyn (a, b, c, d, e) (a', b', c', d', e')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a', b', c', d', e') -> (a, b, c, d, e)

(ToDyn a a', ToDyn b b', ToDyn c c', ToDyn d d', ToDyn e e', ToDyn f f') => ToDyn (a, b, c, d, e, f) (a', b', c', d', e', f')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a', b', c', d', e', f') -> (a, b, c, d, e, f)

(ToDyn a a', ToDyn b b', ToDyn c c', ToDyn d d', ToDyn e e', ToDyn f f', ToDyn g g') => ToDyn (a, b, c, d, e, f, g) (a', b', c', d', e', f', g')

Defined in Test.Method.Dynamic

Methods

toDyn :: (a', b', c', d', e', f', g') -> (a, b, c, d, e, f, g)

class Typeable (a :: k)

The class Typeable allows a concrete representation of a type to be calculated.

Minimal complete definition

typeRep#