-----------------------------------------------------------------------------

-- |

-- Module      :  Data.Singletons.Base.CustomStar

-- Copyright   :  (C) 2013 Richard Eisenberg

-- License     :  BSD-style (see LICENSE)

-- Maintainer  :  Ryan Scott

-- Stability   :  experimental

-- Portability :  non-portable

--

-- This file implements 'singletonStar', which generates a datatype @Rep@ and associated

-- singleton from a list of types. The promoted version of @Rep@ is kind @*@ and the

-- Haskell types themselves. This is still very experimental, so expect unusual

-- results!

--

-- See also "Data.Singletons.TH.CustomStar" from @singletons-th@, a

-- more minimal version of this module that does not re-export anything from

-- "Prelude.Singletons".

--

----------------------------------------------------------------------------


module Data.Singletons.Base.CustomStar (
  singletonStar,

  module Data.Bool.Singletons,
  module Data.Eq.Singletons,
  module Data.Singletons.Base.TH
  ) where

import Data.Bool.Singletons
import Data.Eq.Singletons
import Data.Singletons.Base.TH
import Data.Singletons.TH.CustomStar