kan-extensions-5.2.6: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
Copyright(C) 2013-2016 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
PortabilityGADTs, TFs, MPTCs
Safe HaskellTrustworthy
LanguageHaskell2010

Data.Functor.Contravariant.Yoneda

Description

 
Synopsis

Documentation

newtype Yoneda (f :: Type -> Type) a Source #

Yoneda embedding for a presheaf

Constructors

Yoneda 

Fields

Instances

Instances details
Representable f => Representable (Yoneda f) Source # 
Instance details

Defined in Data.Functor.Contravariant.Yoneda

Associated Types

type Rep (Yoneda f) 
Instance details

Defined in Data.Functor.Contravariant.Yoneda

type Rep (Yoneda f) = Rep f

Methods

tabulate :: (a -> Rep (Yoneda f)) -> Yoneda f a #

index :: Yoneda f a -> a -> Rep (Yoneda f) #

contramapWithRep :: (b -> Either a (Rep (Yoneda f))) -> Yoneda f a -> Yoneda f b #

Contravariant (Yoneda f) Source # 
Instance details

Defined in Data.Functor.Contravariant.Yoneda

Methods

contramap :: (a' -> a) -> Yoneda f a -> Yoneda f a' #

(>$) :: b -> Yoneda f b -> Yoneda f a #

Adjunction f g => Adjunction (Yoneda f) (Yoneda g) Source # 
Instance details

Defined in Data.Functor.Contravariant.Yoneda

Methods

unit :: a -> Yoneda g (Yoneda f a) #

counit :: a -> Yoneda f (Yoneda g a) #

leftAdjunct :: (b -> Yoneda f a) -> a -> Yoneda g b #

rightAdjunct :: (a -> Yoneda g b) -> b -> Yoneda f a #

type Rep (Yoneda f) Source # 
Instance details

Defined in Data.Functor.Contravariant.Yoneda

type Rep (Yoneda f) = Rep f

lowerYoneda :: Yoneda f a -> f a Source #