unbound-0.5.1.1: Generic support for programming with names and binders

LicenseBSD-like (see LICENSE)
Maintainersweirich@cis.upenn.edu
PortabilityGHC only (-XKitchenSink)
Safe HaskellNone
LanguageHaskell2010

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

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