Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Fix

Documentation

data Fix (p :: k +-> k) (a :: k) (b :: k) where Source Comments #

Constructors

In
Fields :: forall {k} (p :: k +-> k) (a :: k) (b :: k). { out :: ~((p :.: Fix p) a b) } -> Fix p a b

Instances

Instances details

MonoidalProfunctor p => MonoidalProfunctor (Fix p :: j -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods par0 :: Fix p (Unit :: j) (Unit :: j) Source Comments # par :: forall (x1 :: j) (x2 :: j) (y1 :: j) (y2 :: j). Fix p x1 x2 -> Fix p y1 y2 -> Fix p (x1 y1) (x2 y2) Source Comments #
Profunctor p => Profunctor (Fix p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods dimap :: forall (c :: k) (a :: k) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> Fix p a b -> Fix p c d Source Comments # (\\) :: forall (a :: k) (b :: k) r. ((Ob a, Ob b) => r) -> Fix p a b -> r Source Comments #
Cotraversable p => Cotraversable (Fix p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods cotraverse :: forall (p0 :: k +-> k). (DistributiveProfunctor p0, Strong k p0, SelfAction k) => (p0 :.: Fix p) :~> (Fix p :.: p0) Source Comments #
Traversable p => Traversable (Fix p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods traverse :: forall (p0 :: k +-> k). (DistributiveProfunctor p0, Strong k p0, SelfAction k) => (Fix p :.: p0) :~> (p0 :.: Fix p) Source Comments #
Promonad p => Promonad (Fix p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods id :: forall (a :: k). Ob a => Fix p a a Source Comments # (.) :: forall (b :: k) (c :: k) (a :: k). Fix p b c -> Fix p a b -> Fix p a c Source Comments #
Functor (Fix :: (k +-> k) -> k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods map :: forall (a :: k +-> k) (b :: k +-> k). (a ~> b) -> Fix a ~> Fix b 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 #

data ListF x l Source Comments #

Constructors

Nil
Cons x l

Instances

Instances details

Functor (ListF x :: Type -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods map :: (a ~> b) -> ListF x a ~> ListF x b Source Comments #

embed :: ListF x [x] -> [x] Source Comments #

project :: [x] -> ListF x [x] 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 #

project' :: forall {k1} x a (b :: k1). Star (Const [x] :: k1 -> Type) a b -> (Star (ListF x) :.: Star (Const [x] :: k1 -> Type)) a b Source Comments #

toList :: Fix (Star (ListF x)) a b -> Star (Const [x] :: Type -> Type) a b Source Comments #

fromList :: Star (Const [x] :: Type -> Type) a b -> Fix (Star (ListF x)) a b Source Comments #