pandora-0.1.6: A box of patterns and paradigms
Pandora.Paradigm.Basis.Yoneda
newtype Yoneda t a Source #
Constructors
Fields
Defined in Pandora.Paradigm.Basis.Yoneda
Methods
(<$>) :: (a -> b) -> Yoneda t a -> Yoneda t b Source #
comap :: (a -> b) -> Yoneda t a -> Yoneda t b Source #
(<$) :: a -> Yoneda t b -> Yoneda t a Source #
($>) :: Yoneda t a -> b -> Yoneda t b Source #
void :: Yoneda t a -> Yoneda t () Source #
loeb :: Yoneda t (Yoneda t a -> a) -> Yoneda t a Source #
(<&>) :: Yoneda t a -> (a -> b) -> Yoneda t b Source #
(<$$>) :: Covariant u => (a -> b) -> (Yoneda t :.: u) a -> (Yoneda t :.: u) b Source #
(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> (Yoneda t :.: (u :.: v)) a -> (Yoneda t :.: (u :.: v)) b Source #
(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> (Yoneda t :.: (u :.: (v :.: w))) a -> (Yoneda t :.: (u :.: (v :.: w))) b Source #
(<&&>) :: Covariant u => (Yoneda t :.: u) a -> (a -> b) -> (Yoneda t :.: u) b Source #
(<&&&>) :: (Covariant u, Covariant v) => (Yoneda t :.: (u :.: v)) a -> (a -> b) -> (Yoneda t :.: (u :.: v)) b Source #
(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => (Yoneda t :.: (u :.: (v :.: w))) a -> (a -> b) -> (Yoneda t :.: (u :.: (v :.: w))) b Source #
(<*>) :: Yoneda t (a -> b) -> Yoneda t a -> Yoneda t b Source #
apply :: Yoneda t (a -> b) -> Yoneda t a -> Yoneda t b Source #
(*>) :: Yoneda t a -> Yoneda t b -> Yoneda t b Source #
(<*) :: Yoneda t a -> Yoneda t b -> Yoneda t a Source #
forever :: Yoneda t a -> Yoneda t b Source #
(<+>) :: Yoneda t a -> Yoneda t a -> Yoneda t a Source #
alter :: Yoneda t a -> Yoneda t a -> Yoneda t a Source #
idle :: Yoneda t a Source #
extract :: Yoneda t a -> a Source #
point :: a -> Yoneda t a Source #
phi :: (Yoneda t a -> b) -> a -> Yoneda u b Source #
psi :: (a -> Yoneda u b) -> Yoneda t a -> b Source #
eta :: a -> (Yoneda u :.: Yoneda t) a Source #
epsilon :: (Yoneda t :.: Yoneda u) a -> a Source #