| Safe Haskell | None |
|---|
Language.Haskell.TH.Universe
- get_universe :: Name -> Q Universe
- get_type_names :: Type -> [Name]
- filter_dups' :: Eq a => [a] -> [(a, b)] -> [a]
- collect_new_dec_names :: (Monad m, MonadState Universe m, MonadError String m) => Dec -> m [Name]
- collect_dec_type_names :: Dec -> [Name]
- eval_state :: Monad m => ErrorStateT e [a1] m a -> m (Either e a)
Documentation
get_universe :: Name -> Q UniverseSource
Collect all the ancestor Dec's for whatever is passed in by name. For instance if we have
data Otherthing = Otherthing Float
data Thing = Thing OtherThing Int
then
get_universe ''Thing
would return the Dec's for Thing, OtherThing, Int and Float
Utils ... Not sure how to hide these.
get_type_names :: Type -> [Name]Source
filter_dups' :: Eq a => [a] -> [(a, b)] -> [a]Source
collect_new_dec_names :: (Monad m, MonadState Universe m, MonadError String m) => Dec -> m [Name]Source
collect_dec_type_names :: Dec -> [Name]Source
eval_state :: Monad m => ErrorStateT e [a1] m a -> m (Either e a)Source