monadiccp-0.4.1: Package for Constraint Programming

Control.CP.Herbrand.Herbrand

Documentation

type VarId = Int Source

class HTerm t whereSource

Methods

mkVar :: VarId -> tSource

isVar :: t -> Maybe VarId Source

children :: t -> ([t], [t] -> t)Source

nonvar_unify :: MonadState (HState t) m => t -> t -> m Bool Source

Instances

HTerm PrologTerm

newtype Herbrand t a Source

Constructors

Herbrand
Fields unH :: State (HState t) a

Instances

Monad (Herbrand t)
Functor (Herbrand t)
Applicative (Herbrand t)
HTerm t => Solver (Herbrand t)
HTerm t => Term (Herbrand t) t
MonadState (HState t) (Herbrand t)

type Subst t = Map VarId tSource

data HState t Source

Constructors

HState
Fields var_supply :: VarId subst :: Subst t

Instances

MonadState (HState t) (Herbrand t)
Monad m => MonadState (HState t) (HerbrandT t m)

updateState :: (HTerm t, MonadState (HState t) m) => (HState t -> HState t) -> m ()Source

newvarH :: (HTerm t, MonadState (HState t) m) => m tSource

data Unify t Source

Constructors

addH :: (HTerm t, MonadState (HState t) m) => Unify t -> m Bool Source

unify :: (HTerm t, MonadState (HState t) m) => t -> t -> m Bool Source

failure :: Monad m => m Bool Source

success :: Monad m => m Bool Source

bind :: (HTerm t, MonadState (HState t) m) => VarId -> t -> m ()Source

shallow_normalize :: (HTerm t, MonadState (HState t) m) => t -> m tSource

normalize :: (HTerm t, MonadState (HState t) m) => t -> m tSource