| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Data.Accessor
Documentation
newtype Getter (m :: Type -> Type) a Source #
Constructors
| Getter (m a) |
Instances
| Monad m => ReadRef (Getter m a) m a Source # | |
Defined in Data.Accessor Methods readReference :: Getter m a -> m a Source # | |
newtype Setter (m :: Type -> Type) a Source #
Constructors
| Setter (a -> m ()) |
Instances
| Monad m => WriteRef (Setter m a) m a Source # | |
Defined in Data.Accessor Methods writeReference :: Setter m a -> a -> m () Source # | |
newtype Accessor (m :: Type -> Type) a Source #
Instances
| Monad m => ReadRef (Accessor m a) m a Source # | |
Defined in Data.Accessor Methods readReference :: Accessor m a -> m a Source # | |
| Monad m => WriteRef (Accessor m a) m a Source # | |
Defined in Data.Accessor Methods writeReference :: Accessor m a -> a -> m () Source # | |