vinyl-vectors-0.1.0.0: Initial project template from stack

Safe HaskellNone
LanguageHaskell2010

Data.Vector.Vinyl.TypeLevel

Synopsis

Documentation

type family ListAll ts c :: Constraint Source

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

Equations

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