Unbound.DynR

A Dynamic type based on type representations. This module should probably be added to RepLib instead of Unbound However, it is currently used only in an experimental function (Unbound.Subst.substPats).

Documentation

data Dyn

Dynamic type based on type representations (replib)

toDyn :: Rep a => a -> Dyn

Coerce to a Dynamic type

fromDyn :: forall a. Rep a => Dyn -> Maybe a

Dynamic cast from the dynamic type (could fail)

fromDynR :: forall a. R a -> Dyn -> Maybe a

Dyynamic cast using explicit type representation