Data.Singletons.TH.Options

This module defines Options that control finer details of how the Template Haskell machinery works, as well as an mtl-like OptionsMonad class and an OptionsM monad transformer.

Options

data Options

Options that control the finer details of how singletons' Template Haskell machinery works.

defaultOptions :: Options

Sensible default Options.

genQuotedDecs defaults to True. That is, quoted declarations are generated alongside their promoted and singled counterparts.

genSingKindInsts defaults to True. That is, SingKind instances are generated.

The default behaviors for promotedClassName, promotedValueNamePrefix, singledDataTypeName, singledClassName, singledDataConName, singledValueName, and defunctionalizedName are described in the "On names" section of the singletons README.

Options record selectors

genQuotedDecs :: Options -> Bool

If True, then quoted declarations will be generated alongside their promoted and singled counterparts. If False, then quoted declarations will be discarded.

genSingKindInsts :: Options -> Bool

If True, then SingKind instances will be generated. If False, they will be omitted entirely. This can be useful in scenarios where TH-generated SingKind instances do not typecheck (for instance, when generating singletons for GADTs).

promotedClassName :: Options -> Name -> Name

Given the name of the original, unrefined class, produces the name of the promoted equivalent of the class.

promotedValueName :: Options -> Name -> Maybe Uniq -> Name

Given the name of the original, unrefined value, produces the name of the promoted equivalent of the value. This is used for both top-level and let-bound names, and the difference is encoded in the Maybe Uniq argument. If promoting a top-level name, the argument is Nothing. If promoting a let-bound name, the argument is Just uniq, where uniq is a globally unique number that can be used to distinguish the name from other local definitions of the same name (e.g., if two functions both use let x = ... in x).

singledDataTypeName :: Options -> Name -> Name

Given the name of the original, unrefined data type, produces the name of the corresponding singleton type.

singledClassName :: Options -> Name -> Name

Given the name of the original, unrefined class, produces the name of the singled equivalent of the class.

singledDataConName :: Options -> Name -> Name

Given the name of the original, unrefined data constructor, produces the name of the corresponding singleton data constructor.

singledValueName :: Options -> Name -> Name

Given the name of the original, unrefined value, produces the name of the singled equivalent of the value.

defunctionalizedName :: Options -> Name -> Int -> Name

Given the original name and the number of parameters it is applied to (the Int argument), produces a type-level function name that can be partially applied when given the same number of parameters.

Note that defunctionalization works over both term-level names (producing symbols for the promoted name) and type-level names (producing symbols directly for the name itself). As a result, this callback is used for names in both the term and type namespaces.

Derived functions over Options

promotedTopLevelValueName :: Options -> Name -> Name

Given the name of the original, unrefined, top-level value, produces the name of the promoted equivalent of the value.

promotedLetBoundValueName :: Options -> Name -> Uniq -> Name

Given the name of the original, unrefined, let-bound value and its globally unique number, produces the name of the promoted equivalent of the value.

defunctionalizedName0 :: Options -> Name -> Name

Given the original name of a function (term- or type-level), produces a type-level function name that can be partially applied even without being given any arguments (i.e., 0 arguments).

OptionsMonad

class DsMonad m => OptionsMonad m where

Class that describes monads that contain Options.

Methods

getOptions :: m Options

Instances

OptionsMonad Q

Defined in Data.Singletons.TH.Options

Methods

getOptions :: Q Options

OptionsMonad m => OptionsMonad (DsM m)

Defined in Data.Singletons.TH.Options

Methods

getOptions :: DsM m Options

DsMonad m => OptionsMonad (OptionsM m)

Turn any DsMonad into an OptionsMonad.

Defined in Data.Singletons.TH.Options

Methods

getOptions :: OptionsM m Options

OptionsMonad m => OptionsMonad (ReaderT r m)

Defined in Data.Singletons.TH.Options

Methods

getOptions :: ReaderT r m Options

OptionsMonad m => OptionsMonad (StateT s m)

Defined in Data.Singletons.TH.Options

Methods

getOptions :: StateT s m Options

(OptionsMonad m, Monoid w) => OptionsMonad (WriterT w m)

Defined in Data.Singletons.TH.Options

Methods

getOptions :: WriterT w m Options

(OptionsMonad m, Monoid w) => OptionsMonad (RWST r w s m)

Defined in Data.Singletons.TH.Options

Methods

getOptions :: RWST r w s m Options

data OptionsM m a

A convenient implementation of the OptionsMonad class. Use by calling withOptions.

Instances

MonadTrans OptionsM

Defined in Data.Singletons.TH.Options

Methods

lift :: Monad m => m a -> OptionsM m a

Monad m => Monad (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

(>>=) :: OptionsM m a -> (a -> OptionsM m b) -> OptionsM m b

(>>) :: OptionsM m a -> OptionsM m b -> OptionsM m b

return :: a -> OptionsM m a

Functor m => Functor (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

fmap :: (a -> b) -> OptionsM m a -> OptionsM m b

(<$) :: a -> OptionsM m b -> OptionsM m a

MonadFail m => MonadFail (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

fail :: String -> OptionsM m a

Applicative m => Applicative (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

pure :: a -> OptionsM m a

(<*>) :: OptionsM m (a -> b) -> OptionsM m a -> OptionsM m b

liftA2 :: (a -> b -> c) -> OptionsM m a -> OptionsM m b -> OptionsM m c

(*>) :: OptionsM m a -> OptionsM m b -> OptionsM m b

(<*) :: OptionsM m a -> OptionsM m b -> OptionsM m a

MonadIO m => MonadIO (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

liftIO :: IO a -> OptionsM m a

Quasi m => Quasi (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

qNewName :: String -> OptionsM m Name

qReport :: Bool -> String -> OptionsM m ()

qRecover :: OptionsM m a -> OptionsM m a -> OptionsM m a

qLookupName :: Bool -> String -> OptionsM m (Maybe Name)

qReify :: Name -> OptionsM m Info

qReifyFixity :: Name -> OptionsM m (Maybe Fixity)

qReifyType :: Name -> OptionsM m Type

qReifyInstances :: Name -> [Type] -> OptionsM m [Dec]

qReifyRoles :: Name -> OptionsM m [Role]

qReifyAnnotations :: Data a => AnnLookup -> OptionsM m [a]

qReifyModule :: Module -> OptionsM m ModuleInfo

qReifyConStrictness :: Name -> OptionsM m [DecidedStrictness]

qLocation :: OptionsM m Loc

qRunIO :: IO a -> OptionsM m a

qAddDependentFile :: FilePath -> OptionsM m ()

qAddTempFile :: String -> OptionsM m FilePath

qAddTopDecls :: [Dec] -> OptionsM m ()

qAddForeignFilePath :: ForeignSrcLang -> String -> OptionsM m ()

qAddModFinalizer :: Q () -> OptionsM m ()

qAddCorePlugin :: String -> OptionsM m ()

qGetQ :: Typeable a => OptionsM m (Maybe a)

qPutQ :: Typeable a => a -> OptionsM m ()

qIsExtEnabled :: Extension -> OptionsM m Bool

qExtsEnabled :: OptionsM m [Extension]

DsMonad m => DsMonad (OptionsM m)

Defined in Data.Singletons.TH.Options

Methods

localDeclarations :: OptionsM m [Dec]

DsMonad m => OptionsMonad (OptionsM m)

Turn any DsMonad into an OptionsMonad.

Defined in Data.Singletons.TH.Options

Methods

getOptions :: OptionsM m Options

withOptions :: Options -> OptionsM m a -> m a

Declare the Options that a TH computation should use.