lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Yoneda.hs.txt (327B)

      1 module Todo.Yoneda where
      2 
      3 import Lude
      4 
      5 --------------------------------------------------------------------------------
      6 
      7 type Yoneda :: forall {i}. Endo (i -> Type)
      8 data Yoneda f a = MkYoneda (forall x. Dom f a x -> f x)
      9 
     10 type Coyoneda :: forall {i}. Endo (i -> Type)
     11 data Coyoneda f a = forall x. MkCoyoneda (Dom f x a) (f x)