- binding_group :: Name -> Q (Set Name)
- binding_groups :: [Name] -> Q [Set Name]
- scc :: Name -> Q (Either Name (Set Name))
- sccs :: [Name] -> Q [Either Name (Set Name)]
- class Dependencies t where
- type_dependencies' :: [Name] -> t -> Q (Set Name)
- type_dependencies :: Dependencies t => t -> Q (Set Name)
- printQ :: Show a => Maybe String -> Q a -> Q [a1]
Documentation
class Dependencies t whereSource
Calculate the type declaration upon which this syntactic construct syntactically dependends.
Dependencies Type | |
Dependencies Dec | |
Dependencies Info | |
Dependencies Con | |
Dependencies RecordField |
type_dependencies :: Dependencies t => t -> Q (Set Name)Source