Copyright | (C) 2014-2018 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Data.Profunctor.Closed
Description
Synopsis
- class Profunctor p => Closed p where
- closed :: p a b -> p (x -> a) (x -> b)
- newtype Closure p a b = Closure {
- runClosure :: forall x. p (x -> a) (x -> b)
- close :: Closed p => (p :-> q) -> p :-> Closure q
- unclose :: Profunctor q => (p :-> Closure q) -> p :-> q
- data Environment p a b where
- Environment :: ((z -> y) -> b) -> p x y -> (a -> z -> x) -> Environment p a b
- curry' :: Closed p => p (a, b) c -> p a (b -> c)
Documentation
class Profunctor p => Closed p where Source #
A strong profunctor allows the monoidal structure to pass through.
A closed profunctor allows the closed structure to pass through.
Methods
Instances
newtype Closure p a b Source #
Closure
adjoins a Closed
structure to any Profunctor
.
Constructors
Closure | |
Fields
|
Instances
ProfunctorComonad Closure Source # | |
Defined in Data.Profunctor.Closed Methods proextract :: forall (p :: Type -> Type -> Type). Profunctor p => Closure p :-> p Source # produplicate :: forall (p :: Type -> Type -> Type). Profunctor p => Closure p :-> Closure (Closure p) Source # | |
ProfunctorAdjunction Environment Closure Source # | |
Defined in Data.Profunctor.Closed Methods unit :: forall (p :: Type -> Type -> Type). Profunctor p => p :-> Closure (Environment p) Source # counit :: forall (p :: Type -> Type -> Type). Profunctor p => Environment (Closure p) :-> p Source # | |
ProfunctorFunctor Closure Source # | |
Defined in Data.Profunctor.Closed | |
Category p => Category (Closure p :: Type -> Type -> Type) Source # | |
Arrow p => Arrow (Closure p) Source # | |
Defined in Data.Profunctor.Closed | |
ArrowLoop p => ArrowLoop (Closure p) Source # | |
Defined in Data.Profunctor.Closed | |
ArrowPlus p => ArrowPlus (Closure p) Source # | |
Defined in Data.Profunctor.Closed | |
ArrowZero p => ArrowZero (Closure p) Source # | |
Defined in Data.Profunctor.Closed | |
Profunctor p => Closed (Closure p) Source # | |
Strong p => Strong (Closure p) Source # | |
Profunctor p => Profunctor (Closure p) Source # | |
Defined in Data.Profunctor.Closed Methods dimap :: (a -> b) -> (c -> d) -> Closure p b c -> Closure p a d Source # lmap :: (a -> b) -> Closure p b c -> Closure p a c Source # rmap :: (b -> c) -> Closure p a b -> Closure p a c Source # (#.) :: forall a b c q. Coercible c b => q b c -> Closure p a b -> Closure p a c Source # (.#) :: forall a b c q. Coercible b a => Closure p b c -> q a b -> Closure p a c Source # | |
(Profunctor p, ArrowPlus p) => Alternative (Closure p a) Source # | |
(Profunctor p, Arrow p) => Applicative (Closure p a) Source # | |
Defined in Data.Profunctor.Closed | |
Profunctor p => Functor (Closure p a) Source # | |
(Profunctor p, Arrow p, Semigroup b, Monoid b) => Monoid (Closure p a b) Source # | |
(Profunctor p, Arrow p, Semigroup b) => Semigroup (Closure p a b) Source # | |
data Environment p a b where Source #
Constructors
Environment :: ((z -> y) -> b) -> p x y -> (a -> z -> x) -> Environment p a b |
Instances
ProfunctorMonad Environment Source # | |
Defined in Data.Profunctor.Closed Methods proreturn :: forall (p :: Type -> Type -> Type). Profunctor p => p :-> Environment p Source # projoin :: forall (p :: Type -> Type -> Type). Profunctor p => Environment (Environment p) :-> Environment p Source # | |
ProfunctorAdjunction Environment Closure Source # | |
Defined in Data.Profunctor.Closed Methods unit :: forall (p :: Type -> Type -> Type). Profunctor p => p :-> Closure (Environment p) Source # counit :: forall (p :: Type -> Type -> Type). Profunctor p => Environment (Closure p) :-> p Source # | |
ProfunctorFunctor Environment Source # | |
Defined in Data.Profunctor.Closed Methods promap :: forall (p :: Type -> Type -> Type) (q :: Type -> Type -> Type). Profunctor p => (p :-> q) -> Environment p :-> Environment q Source # | |
Closed (Environment p) Source # | |
Defined in Data.Profunctor.Closed Methods closed :: Environment p a b -> Environment p (x -> a) (x -> b) Source # | |
Profunctor (Environment p) Source # | |
Defined in Data.Profunctor.Closed Methods dimap :: (a -> b) -> (c -> d) -> Environment p b c -> Environment p a d Source # lmap :: (a -> b) -> Environment p b c -> Environment p a c Source # rmap :: (b -> c) -> Environment p a b -> Environment p a c Source # (#.) :: forall a b c q. Coercible c b => q b c -> Environment p a b -> Environment p a c Source # (.#) :: forall a b c q. Coercible b a => Environment p b c -> q a b -> Environment p a c Source # | |
Functor (Environment p a) Source # | |
Defined in Data.Profunctor.Closed Methods fmap :: (a0 -> b) -> Environment p a a0 -> Environment p a b (<$) :: a0 -> Environment p a b -> Environment p a a0 |