{- Copyright 2010 Dominique Devriese
This file is part of the grammar-combinators library.
The grammar-combinators library is free software: you can
redistribute it and/or modify it under the terms of the GNU
Lesser General Public License as published by the Free
Software Foundation, either version 3 of the License, or (at
your option) any later version.
Foobar is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General
Public License along with Foobar. If not, see
<http://www.gnu.org/licenses/>.
-}{-# LANGUAGE TemplateHaskell #-}{-# LANGUAGE FlexibleContexts #-}moduleText.GrammarCombinators.TH.BasewhereimportText.GrammarCombinators.BaseimportLanguage.Haskell.TH.SyntaximportData.SetimportqualifiedData.SetasSetinstance(Liftv)=>Lift(Setv)wherelifts=[|Set.fromDistinctAscList$(lift$toAscLists)|]instanceLiftv=>Lift(K0vix)wherelift(K0v)=[|K0$(liftv)|]instance(Lift(v(supIxTix)))=>Lift(SubValsupIxTvix)wherelift(MkSubValv)=[|MkSubVal$(liftv)|]