A type used to represent class constraints as values. This exists primarily so that typeOf (ClassConstraint :: ClassConstraint cs) can be used to obtain a TypeRep that uniquely identifies a typeclass.

A type that contains a value whose type is unknown at compile time, but for which it is known whether or not it satisfies any of a list of constraints, thus allowing operations to be performed when those constraints are satisfied.

Create an MCDynamic for a given value. Note that this function must be used in a context where the required list of constraint types can be determined, for example by explicitly identifying the required type using the form toDyn value :: MCDynamic [TypeClass,...].

Additionally, there must be appropriate instances of the type class HasClass that describe instances available for type classes that are to be used with the dynamic object and the type to be included in it. In most circumstances you should at least import Data.Type.HasClassPreludeInstances to allow the use of instances of standard Prelude classes and types.

Extract a value MCDynamic to a particular type if and only if the value contained with in it has that type, returning Just v if the value v has the correct type or Nothing otherwise,

Extract a value MCDynamic to a particular type if and only if the value contained with in it has that type, returning the value if it has the correct type or a default value otherwise.

Return the TypeRep for the type of value contained within a MCDynamic.

Return a list of TypeReps that uniquely identify the constraints from an MCDynamics type arguments that are satisfied by the value contained inside the MCDynamic. The actual type whose representation is returned for each constraint is is ClassConstraint c where c is the constraint.

Return a list of TypeReps that uniquely identify the constraints from an MCDynamics type arguments, whether or not they are satisfied by the value contained inside the MCDynamic. The actual type whose representation is returned for each constraint is is ClassConstraint c where c is the constraint.

Return a list of TypeReps that uniquely identify the constraints from an MCDynamics type arguments, that are not satisfied by the value contained inside the MCDynamic. The actual type whose representation is returned for each constraint is is ClassConstraint c where c is the constraint.

Apply a polymorphic function that accepts all values matching a constraint to the value stored inside an MCDynamic wherever possible. If the constraint is satisfied, returns Just r, where r is the result of the function. If the constraint is not satisfied, returns Nothing.

Note that the function *must* be a polymorphic function with only a single argument that is constrained by the constraint, so for example the function show from the typeclass Show is allowable, but == from the typeclass Eq would not work as it requires a second argument that has the same type as the first, and it is not possible to safely return the partially-applied function as its type is not known in the calling context.