Frames-0.2.0: Data frames For working with tabular data files

Safe HaskellSafe
LanguageHaskell2010

Frames.TypeLevel

Description

Helpers for working with type-level lists.

Synopsis

Documentation

type family AllAre a ts :: Constraint where ... Source #

Constraint that every element of a promoted list is equal to a particular type. That is, the list of types is a single type repeated some number of times.

Equations

AllAre a '[] = () 
AllAre a (t ': ts) = (t ~ a, AllAre a ts)