-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Interpreter for Template Haskell types
--   
--   Interpreter for Template Haskell types
@package type-interpreter
@version 0.0.0

module Language.Haskell.TH.TypeInterpreter

-- | Type atom
data TypeAtom
Integer :: Integer -> TypeAtom
String :: String -> TypeAtom
Name :: Name -> TypeAtom
PromotedName :: Name -> TypeAtom

-- | Type expression
data TypeExp
Atom :: TypeAtom -> TypeExp
Apply :: TypeExp -> TypeExp -> TypeExp
Variable :: Name -> TypeExp
Synonym :: Name -> TypeExp -> TypeExp
Family :: (TypeExp -> TypeExp) -> TypeExp

-- | Get the type expression for a <a>Type</a>.
fromType :: Type -> Q TypeExp

-- | Get the type expression for a <a>Name</a>.
fromName :: Name -> Q TypeExp

-- | <tt>substitute name typ exp</tt> replaces all occurences of
--   <tt>name</tt> in <tt>exp</tt> with <tt>typ</tt>.
substitute :: Name -> TypeExp -> TypeExp -> TypeExp

-- | Just like <a>substitute</a> but for more variables.
substituteAll :: Map Name TypeExp -> TypeExp -> TypeExp

-- | Try to reduce the given type expression as much as possible.
reduce :: TypeExp -> TypeExp

-- | <tt>match pattern input</tt> pattern matches <tt>input</tt> against
--   the given <tt>pattern</tt>.
match :: TypeExp -> TypeExp -> Maybe (Map Name TypeExp)

-- | <tt>familyExp n impl</tt> creates a type family expression with
--   <tt>n</tt> parameters and the implementation <tt>impl</tt>.
familyExp :: Int -> ([TypeExp] -> TypeExp) -> TypeExp