hsqml-datamodel-vinyl-0.0.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 Showtype, which can be automatically declared using Graphics.QML.DataModel.Vinyl.TH module.

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.