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


-- | A fast-foward-based planner
--   
--   An implementation of the fast-forward planner, as a quasi-quoter.
@package huff
@version 0.1.0.0

module Huff
huff :: QuasiQuoter
type Spec a = (Problem, Domain a)

-- | A collection of named operators.
data Domain a
data Problem
data Literal
data Term
(/\) :: Term -> Term -> Term
infixr 3 /\
(\/) :: Term -> Term -> Term
infixr 4 \/
imply :: Term -> Term -> Term
class Has_neg a
neg :: Has_neg a => a -> a
findPlan :: Spec a -> IO (Maybe [a])
instance Huff.Has_neg Huff.Compile.AST.Literal
instance Huff.Has_neg Huff.Compile.AST.Term