Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Stuff that we don't want to export by default, but that we do want to expose in the library interface.
Synopsis
- type Prism s t a b = forall p f. (Choice p, Applicative f) => p a (f b) -> p s (f t)
- type Prism' s a = Prism s s a a
- type Lens' a b = forall f. Functor f => (b -> f b) -> a -> f a
- review :: MonadReader b m => Prism' t b -> m t
- bracketT :: (MonadError e m, MonadIO m) => ExceptT e IO a -> (a -> ExceptT e IO b) -> (a -> ExceptT e IO c) -> m c