License	BSD-like (see LICENSE)
Maintainer	sweirich@cis.upenn.edu
Portability	GHC only (-XKitchenSink)
Safe Haskell	None
Language	Haskell2010

Unbound.DynR

Description

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).

Synopsis

data Dyn
toDyn :: Rep a => a -> Dyn
fromDyn :: forall a. Rep a => Dyn -> Maybe a
fromDynR :: forall a. R a -> Dyn -> Maybe a

Documentation

data Dyn Source #

Dynamic type based on type representations (replib)

toDyn :: Rep a => a -> Dyn Source #

Coerce to a Dynamic type

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

Dynamic cast from the dynamic type (could fail)

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

Dyynamic cast using explicit type representation