UHC.Util.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))

(VarUpdatable c s, VarUpdatable p s) => VarUpdatable (RuleBodyAlt c p) s

Methods

varUpd :: s -> RuleBodyAlt c p -> RuleBodyAlt c p

varUpdCyc :: s -> RuleBodyAlt c p -> (RuleBodyAlt c p, VarMp' (VarLookupKey s) (VarLookupVal s))

(VarUpdatable c s, VarUpdatable g s, VarUpdatable bp s, VarUpdatable p s) => VarUpdatable (Rule c g bp p) s

Methods

varUpd :: s -> Rule c g bp p -> Rule c g bp p

varUpdCyc :: s -> Rule c g bp p -> (Rule c g bp p, VarMp' (VarLookupKey s) (VarLookupVal s))

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))

VarExtractable c => VarExtractable (RuleBodyAlt c p)

Methods

varFree :: RuleBodyAlt c p -> [ExtrValVarKey (RuleBodyAlt c p)]

varFreeSet :: RuleBodyAlt c p -> Set (ExtrValVarKey (RuleBodyAlt c p))

(VarExtractable c, VarExtractable g, (~) * (ExtrValVarKey c) (ExtrValVarKey g)) => VarExtractable (Rule c g bp p)

Methods

varFree :: Rule c g bp p -> [ExtrValVarKey (Rule c g bp p)]

varFreeSet :: Rule c g bp p -> Set (ExtrValVarKey (Rule c g bp p))

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

type ExtrValVarKey (RuleBodyAlt c p)

type ExtrValVarKey (RuleBodyAlt c p) = ExtrValVarKey c

type ExtrValVarKey (Rule c g bp p)

type ExtrValVarKey (Rule c g bp p) = ExtrValVarKey c

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)