Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Fix

Documentation

newtype Fix (p :: PRO k k) (a :: k) (b :: k) where Source Comments #

Constructors

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

Instances details

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 #
Functor (Fix :: PRO k k -> k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Fix Methods map :: forall (a :: PRO k k) (b :: PRO k k). (a ~> b) -> Fix a ~> Fix 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 #

Constructors

Nil
Cons x l

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' :: 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 #