lens-4.15.1: Lenses, Folds and Traversals

Copyright (C) 2012-2016 Edward Kmett BSD-style (see the file LICENSE) Edward Kmett experimental non-portable None Haskell98

Data.Dynamic.Lens

Description

Synopsis

# Documentation

class AsDynamic t where Source #

Any Dynamic can be thrown as an Exception

Methods

_Dynamic :: Typeable a => Prism' t a Source #

This Prism allows you to traverse the typed value contained in a Dynamic where the type required by your function matches that of the contents of the Dynamic, or construct a Dynamic value out of whole cloth. It can also be used to catch or throw a Dynamic value as SomeException.

_Dynamic :: Typeable a => Prism' Dynamic       a
_Dynamic :: Typeable a => Prism' SomeException a


Instances

 Source # Methods Source # Methods

pattern Dynamic :: forall s t. (AsDynamic s, Typeable * t) => t -> s Source #