Copyright | (C) 2012-2015 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell98 |
- type family Zoomed m :: * -> * -> *
- newtype Focusing m s a = Focusing {
- unfocusing :: m (s, a)
- newtype FocusingWith w m s a = FocusingWith {
- unfocusingWith :: m (s, a, w)
- newtype FocusingPlus w k s a = FocusingPlus {
- unfocusingPlus :: k (s, w) a
- newtype FocusingOn f k s a = FocusingOn {
- unfocusingOn :: k (f s) a
- newtype FocusingMay k s a = FocusingMay {
- unfocusingMay :: k (May s) a
- newtype May a = May {}
- newtype FocusingErr e k s a = FocusingErr {
- unfocusingErr :: k (Err e s) a
- newtype Err e a = Err {}
- type family Magnified m :: * -> * -> *
- newtype Effect m r a = Effect {
- getEffect :: m r
- newtype EffectRWS w st m s a = EffectRWS {
- getEffectRWS :: st -> m (s, st, w)
Zoom
type family Zoomed m :: * -> * -> * Source
This type family is used by Zoom
to describe the common effect type.
type Zoomed (MaybeT m) = FocusingMay (Zoomed m) Source | |
type Zoomed (ListT m) = FocusingOn [] (Zoomed m) Source | |
type Zoomed (IdentityT m) = Zoomed m Source | |
type Zoomed (WriterT w m) = FocusingPlus w (Zoomed m) Source | |
type Zoomed (WriterT w m) = FocusingPlus w (Zoomed m) Source | |
type Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) Source | |
type Zoomed (ExceptT e m) = FocusingErr e (Zoomed m) Source | |
type Zoomed (StateT s z) = Focusing z Source | |
type Zoomed (StateT s z) = Focusing z Source | |
type Zoomed (ReaderT e m) = Zoomed m Source | |
type Zoomed (RWST r w s z) = FocusingWith w z Source | |
type Zoomed (RWST r w s z) = FocusingWith w z Source |
Focusing | |
|
newtype FocusingWith w m s a Source
FocusingWith | |
|
Monad m => Functor (FocusingWith w m s) Source | |
(Monad m, Monoid s, Monoid w) => Applicative (FocusingWith w m s) Source | |
(Monad m, Semigroup s, Semigroup w) => Apply (FocusingWith w m s) Source |
newtype FocusingPlus w k s a Source
FocusingPlus | |
|
Functor (k (s, w)) => Functor (FocusingPlus w k s) Source | |
Applicative (k (s, w)) => Applicative (FocusingPlus w k s) Source | |
Apply (k (s, w)) => Apply (FocusingPlus w k s) Source |
newtype FocusingOn f k s a Source
FocusingOn | |
|
Functor (k (f s)) => Functor (FocusingOn f k s) Source | |
Applicative (k (f s)) => Applicative (FocusingOn f k s) Source | |
Apply (k (f s)) => Apply (FocusingOn f k s) Source |
newtype FocusingMay k s a Source
FocusingMay | |
|
Functor (k (May s)) => Functor (FocusingMay k s) Source | |
Applicative (k (May s)) => Applicative (FocusingMay k s) Source | |
Apply (k (May s)) => Apply (FocusingMay k s) Source |
newtype FocusingErr e k s a Source
FocusingErr | |
|
Functor (k (Err e s)) => Functor (FocusingErr e k s) Source | |
Applicative (k (Err e s)) => Applicative (FocusingErr e k s) Source | |
Apply (k (Err e s)) => Apply (FocusingErr e k s) Source |
Magnify
type family Magnified m :: * -> * -> * Source
This type family is used by Magnify
to describe the common effect type.
Wrap a monadic effect with a phantom type argument.
newtype EffectRWS w st m s a Source
Wrap a monadic effect with a phantom type argument. Used when magnifying RWST
.
EffectRWS | |
|