{-# LANGUAGE DataKinds #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} {-# OPTIONS_GHC -Wno-orphans #-} {- Data/Singletons/Base/Instances.hs (c) Richard Eisenberg 2013 rae@cs.brynmawr.edu This (internal) module contains the main class definitions for singletons-base, re-exported from various places. -} module Data.Singletons.Base.Instances ( module Data.Singletons.Base.Instances , Sing ) where import Data.Singletons import Data.Singletons.Base.Util import Data.Singletons.TH -- some useful singletons $