Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Profunctor.Fix
Documentation
data Fix (p :: k +-> k) (a :: k) (b :: k) where Source Comments #
Constructors
In | |
Instances
MonoidalProfunctor p => MonoidalProfunctor (Fix p :: j -> j -> Type) Source Comments # | |
Profunctor p => Profunctor (Fix p :: k -> k -> Type) Source Comments # | |
Traversable p => Traversable (Fix p :: j -> j -> Type) Source Comments # | |
Promonad p => Promonad (Fix p :: k -> k -> Type) Source Comments # | |
Functor (Fix :: (k +-> k) -> k -> k -> Type) Source Comments # | |
hylo :: forall {k} {k1} (p :: PRO k k) (a :: PRO k k1) (b :: PRO k k1). (Profunctor p, Profunctor a, Profunctor b) => ((p :.: b) :~> b) -> (a :~> (p :.: a)) -> a :~> b Source Comments #
cata :: forall {k1} (p :: PRO k1 k1) (r :: PRO k1 k1). (Profunctor p, Profunctor r) => ((p :.: r) :~> r) -> Fix p :~> r Source Comments #
ana :: forall {k1} (p :: PRO k1 k1) (r :: PRO k1 k1). (Profunctor p, Profunctor r) => (r :~> (p :.: r)) -> r :~> Fix p Source Comments #
embed' :: forall {k1} x a (b :: k1). (Star (ListF x) :.: Star (Const [x] :: k1 -> Type)) a b -> Star (Const [x] :: k1 -> Type) a b Source Comments #