git.iko.soy/semi-iso-optics
on master help sign in
Add SIMonadTrans.
68eee5ePaweł Nowak
Control/SemiIso/Trans.hsnew file+23
compare with master
unifiedsplit
@@ -0,0 +1,23 @@
1+{- |
2+Module : Control.SemiIso.Trans
3+Description : SemiIsoMonad transformers.
4+Copyright : (c) Paweł Nowak
5+License : MIT
6+
7+Maintainer : Paweł Nowak <pawel834@gmail.com>
8+Stability : experimental
9+
10+Monad transformers for the SemiIso hierarchy.
11+-}
12+module Control.SemiIso.Trans where
13+
14+import Data.SemiIsoFunctor
15+
16+-- | Monad transformer. Should satisfy laws:
17+--
18+-- prop> silift . sipure = sipure
19+--
20+-- prop> silift (m //= f) = silift m //= (silift . f)
21+class SIMonadTrans t where
22+ -- | Lifts a computation from the base monad.
23+ silift :: SemiIsoMonad m => m a -> t m a
semi-iso.cabal+1
@@ -22,6 +22,7 @@ source-repository head
22library
22library
23 exposed-modules: Control.Lens.SemiIso
23 exposed-modules: Control.Lens.SemiIso
24 Control.Lens.Internal.SemiIso
24 Control.Lens.Internal.SemiIso
25+ Control.SemiIso.Trans
25 Data.SemiIsoFunctor
26 Data.SemiIsoFunctor
26 Data.Profunctor.Exposed
27 Data.Profunctor.Exposed
27 build-depends: base >= 4 && < 5, profunctors, transformers, lens, tuple-morph
28 build-depends: base >= 4 && < 5, profunctors, transformers, lens, tuple-morph