Copyright	Andrew Martin
License	BSD-style (see the file LICENSE)
Maintainer	Andrew Martin <andrew.thaddeus@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Vector.Vinyl.TypeLevel

Description

Try to merge this into vinyl at some point.

Synopsis

Documentation

A constraint on each element of a type-level list.

Equations

ListAll `[]` c = ()
ListAll (t : ts) c = (c t, ListAll ts c)