Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Miso (s -> m a) (b -> m t) |
Instances
Functor m => Profunctor (Miso m a b) Source # | |
Defined in Proton.Miso dimap :: (a0 -> b0) -> (c -> d) -> Miso m a b b0 c -> Miso m a b a0 d # lmap :: (a0 -> b0) -> Miso m a b b0 c -> Miso m a b a0 c # rmap :: (b0 -> c) -> Miso m a b a0 b0 -> Miso m a b a0 c # (#.) :: forall a0 b0 c q. Coercible c b0 => q b0 c -> Miso m a b a0 b0 -> Miso m a b a0 c # (.#) :: forall a0 b0 c q. Coercible b0 a0 => Miso m a b b0 c -> q a0 b0 -> Miso m a b a0 c # |