diff --git a/Data/Profunctor/Yoneda.idr b/Data/Profunctor/Yoneda.idr new file mode 100644 index 0000000..0dde348 --- /dev/null +++ b/Data/Profunctor/Yoneda.idr @@ -0,0 +1,11 @@ +module Data.Profunctor.Yoneda + +import Data.Profunctor + +%default total + + +public export +record Yoneda p a b where + constructor MkYoneda + runYoneda : forall x, y. (x -> a) -> (b -> y) -> p x y