Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Forget

Documentation

data Forget (ob :: OB k) (a :: k) (b :: SUBCAT ob) where Source Comments #

Constructors

Forget :: forall {k} (ob :: OB k) (b1 :: k) (a :: k). ob b1 => (a ~> b1) -> Forget ob a ('SUB b1 :: SUBCAT ob)

Instances

Instances details

CategoryOf k => Profunctor (Forget ob :: k -> SUBCAT ob -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Forget Methods dimap :: forall (c :: k) (a :: k) (b :: SUBCAT ob) (d :: SUBCAT ob). (c ~> a) -> (b ~> d) -> Forget ob a b -> Forget ob c d Source Comments # (\\) :: forall (a :: k) (b :: SUBCAT ob) r. ((Ob a, Ob b) => r) -> Forget ob a b -> r Source Comments #
HasFree ob => Adjunction (FreeSub ob :: SUBCAT ob -> k -> Type) (Forget ob :: k -> SUBCAT ob -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Free Methods unit :: forall (a :: k). Ob a => (Forget ob :.: FreeSub ob) a a Source Comments # counit :: (FreeSub ob :.: Forget ob) :~> ((~>) :: CAT (SUBCAT ob)) Source Comments #
CategoryOf k => Representable (Forget ob :: k -> SUBCAT ob -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Forget Methods index :: forall (a :: k) (b :: SUBCAT ob). Forget ob a b -> a ~> (Forget ob % b) Source Comments # tabulate :: forall (b :: SUBCAT ob) (a :: k). Ob b => (a ~> (Forget ob % b)) -> Forget ob a b Source Comments # repMap :: forall (a :: SUBCAT ob) (b :: SUBCAT ob). (a ~> b) -> (Forget ob % a) ~> (Forget ob % b) Source Comments #
HasCofree ob => Adjunction (Forget ob :: k -> SUBCAT ob -> Type) (CofreeSub ob :: SUBCAT ob -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Cofree Methods unit :: forall (a :: SUBCAT ob). Ob a => (CofreeSub ob :.: Forget ob) a a Source Comments # counit :: (Forget ob :.: CofreeSub ob) :~> ((~>) :: CAT k) Source Comments #
type (Forget ob :: k -> SUBCAT ob -> Type) % ('SUB a :: SUBCAT ob) Source Comments #
Instance details Defined in Proarrow.Profunctor.Forget type (Forget ob :: k -> SUBCAT ob -> Type) % ('SUB a :: SUBCAT ob) = a