{-# LANGUAGE GADTs #-}

module Asset.Library.Types where

import Asset.Library.Classes
{-
data Library = JQuery
             | Zepto
             | JQueryUI
             | Backbone
             | Underscore
             | Lodash
  deriving (Show, Eq)
-}


data JQuerySchema = JQuerySchema
data ZeptoSchema = ZeptoSchema

data JQueryUISchema jquery_ where
  JQueryUISchema :: JQuerySchemaLike a =>
                    a
                 -> JQueryUISchema a

data BackboneSchema jquery_ underscore_ where
  BackboneSchema :: UnderscoreSchemaLike a =>
                    JQuerySchema
                 -> a
                 -> BackboneSchema JQuerySchema a

data UnderscoreSchema = UnderscoreSchema
data LodashSchema = LodashSchema
