License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Safe Haskell	Safe
Language	Haskell2010

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→_-+