data-layer-1.0.3: Data layering utilities. Layer is a data-type which wrapps other one, but keeping additional information. If you want to access content of simple newtype object, use Lens.Wrapper instead.

Safe HaskellNone
LanguageHaskell2010

Data.Layer.Immersed

Documentation

class Immersed l a where Source

Methods

immersed :: Lens' l a Source

Instances

class ImmersedM l m a where Source

Methods

viewImmersedM :: l -> m a Source

Instances

(Monad m, LayeredM m l, ImmersedM (Unlayered l) m a) => ImmersedM l m a Source 
Monad m => ImmersedM l m l Source