{-# LANGUAGE DataKinds #-}
{-# LANGUAGE NoNamedWildCards #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module Data.Functor.Singletons (
PFunctor(..), SFunctor(..),
type ($>), (%$>),
type (<$>), (%<$>),
type (<&>), (%<&>),
Void, sVoid,
FmapSym0, FmapSym1, FmapSym2,
type (<$@#@$), type (<$@#@$$), type (<$@#@$$$),
type ($>@#@$), type ($>@#@$$), type ($>@#@$$$),
type (<$>@#@$), type (<$>@#@$$), type (<$>@#@$$$),
type (<&>@#@$), type (<&>@#@$$), type (<&>@#@$$$),
VoidSym0, VoidSym1
) where
import Control.Monad.Singletons.Internal
import Data.Ord (Down(..))
import Data.Ord.Singletons
import Data.Singletons.Base.Instances
import Data.Singletons.TH hiding (Void)
import GHC.Base.Singletons
$