hsqml-datamodel-vinyl-0.1.0.0: HsQML DataModel instances for Vinyl Rec.

Copyright(c) Marcin Mrotek, 2015
LicenseBSD3
Maintainermarcin.jan.mrotek@gmail.com
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • ScopedTypeVariables
  • GADTs
  • GADTSyntax
  • PolyKinds
  • DataKinds
  • TypeSynonymInstances
  • FlexibleContexts
  • FlexibleInstances
  • KindSignatures
  • TypeOperators
  • ExplicitNamespaces
  • ExplicitForAll

Graphics.QML.DataModel.Vinyl

Description

HsQML DataModel instances recursively defined for all Recs. SetupColumns requires the field labels to be instances of Typeable.

Synopsis

Documentation

lengthVal :: forall sing xs a. (KnownNat (Length xs), Integral a) => sing xs -> a Source

Integral value of the length of a type-level list.