squares-0.1: The double category of Hask functors and profunctors

LicenseBSD-style (see the file LICENSE)
Maintainersjoerd@w3future.com
Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Rep.Square

Description

 
Synopsis

Documentation

tabulate :: Representable f => Square '[] '[] '[(->) (Rep f)] '[f] Source #

+-k→_-+
|  v  |
|  @  |
|  v  |
+--f--+

index :: Representable f => Square '[] '[] '[f] '[(->) (Rep f)] Source #

+--f--+
|  v  |
|  @  |
|  v  |
+-k→_-+