CHR.Data.Substitutable

Documentation

class VarUpdatable vv subst where

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

Minimal complete definition

varUpd

Methods

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

Update

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

Update with cycle detection

Instances

(Ord (VarLookupKey subst), VarUpdatable vv subst) => VarUpdatable [vv] subst

Methods

varUpd :: subst -> [vv] -> [vv]

varUpdCyc :: subst -> [vv] -> ([vv], VarMp' (VarLookupKey subst) (VarLookupVal subst))

VarUpdatable vv subst => VarUpdatable (Maybe vv) subst

Methods

varUpd :: subst -> Maybe vv -> Maybe vv

varUpdCyc :: subst -> Maybe vv -> (Maybe vv, VarMp' (VarLookupKey subst) (VarLookupVal subst))

class Ord (ExtrValVarKey vv) => VarExtractable vv where

Term from which free variables can be extracted

Methods

varFree :: vv -> [ExtrValVarKey vv]

Free vars, as a list

varFreeSet :: vv -> Set (ExtrValVarKey vv)

Free vars, as a set

Instances

(VarExtractable vv, Ord (ExtrValVarKey vv)) => VarExtractable [vv]

Methods

varFree :: [vv] -> [ExtrValVarKey [vv]]

varFreeSet :: [vv] -> Set (ExtrValVarKey [vv])

(VarExtractable vv, Ord (ExtrValVarKey vv)) => VarExtractable (Maybe vv)

Methods

varFree :: Maybe vv -> [ExtrValVarKey (Maybe vv)]

varFreeSet :: Maybe vv -> Set (ExtrValVarKey (Maybe vv))

type family ExtrValVarKey vv :: *

The variable wich is used as a key into a substitution

Instances

type ExtrValVarKey [vv]

type ExtrValVarKey [vv] = ExtrValVarKey vv

type ExtrValVarKey (Maybe vv)

type ExtrValVarKey (Maybe vv) = ExtrValVarKey vv

class VarTerm vv where

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

Minimal complete definition

varTermMbKey, varTermMkKey

Methods

varTermMbKey :: vv -> Maybe (ExtrValVarKey vv)

Maybe is a key

varTermMkKey :: ExtrValVarKey vv -> vv

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