Safe Haskell	None
Language	Haskell2010

CHR.Data.Substitutable

Synopsis

Documentation

class VarUpdatable vv subst where Source #

Term in which variables can be updated with a subst(itution)

Minimal complete definition

Methods

varUpd :: subst -> vv -> vv infixr 6 Source #

Update

varUpdCyc :: subst -> vv -> (vv, VarMp' (VarLookupKey subst) (VarLookupVal subst)) infixr 6 Source #

Update with cycle detection

Instances

(Ord (VarLookupKey subst), VarUpdatable vv subst) => VarUpdatable [vv] subst Source #
Methods varUpd :: subst -> [vv] -> [vv] Source # varUpdCyc :: subst -> [vv] -> ([vv], VarMp' (VarLookupKey subst) (VarLookupVal subst)) Source #
VarUpdatable vv subst => VarUpdatable (Maybe vv) subst Source #
Methods varUpd :: subst -> Maybe vv -> Maybe vv Source # varUpdCyc :: subst -> Maybe vv -> (Maybe vv, VarMp' (VarLookupKey subst) (VarLookupVal subst)) Source #

Term from which free variables can be extracted

Methods

Free vars, as a list

Free vars, as a set

Instances

(VarExtractable vv, Ord (ExtrValVarKey vv)) => VarExtractable [vv] Source #
Methods varFree :: [vv] -> [ExtrValVarKey [vv]] Source # varFreeSet :: [vv] -> Set (ExtrValVarKey [vv]) Source #
(VarExtractable vv, Ord (ExtrValVarKey vv)) => VarExtractable (Maybe vv) Source #
Methods varFree :: Maybe vv -> [ExtrValVarKey (Maybe vv)] Source # varFreeSet :: Maybe vv -> Set (ExtrValVarKey (Maybe vv)) Source #

The variable wich is used as a key into a substitution

Instances

type ExtrValVarKey [vv] Source #
type ExtrValVarKey [vv] = ExtrValVarKey vv
type ExtrValVarKey (Maybe vv) Source #
type ExtrValVarKey (Maybe vv) = ExtrValVarKey vv

class VarTerm vv where Source #

Term with a (substitutable, extractable, free, etc.) variable

Minimal complete definition

Methods

Maybe is a key

Construct wrapper for key (i.e. lift, embed)