Huff

Documentation

huff :: QuasiQuoter

type Spec a = (Problem, Domain a)

data Domain a

A collection of named operators.

Instances

Show a => Show (Domain a)

Methods

showsPrec :: Int -> Domain a -> ShowS

show :: Domain a -> String

showList :: [Domain a] -> ShowS

data Problem

Instances

Show Problem

Methods

showsPrec :: Int -> Problem -> ShowS

show :: Problem -> String

showList :: [Problem] -> ShowS

data Literal

Instances

Show Literal

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Has_neg Literal

Methods

neg :: Literal -> Literal

data Term

Instances

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Has_neg Term

Methods

neg :: Term -> Term

(/\) :: Term -> Term -> Term infixr 3

(\/) :: Term -> Term -> Term infixr 4

imply :: Term -> Term -> Term

class Has_neg a where

Minimal complete definition

neg

Methods

neg :: a -> a

Instances

Has_neg Literal

Methods

neg :: Literal -> Literal

Has_neg Term

Methods

neg :: Term -> Term

findPlan :: Spec a -> IO (Maybe [a])