Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Types.Substitutions

Description

This module contains the various instances for Subable, which (should) depend on the visitors, and hence cannot be in the same place as the Term definitions.

Documentation

mkSubst :: [(Symbol, Expr)] -> Subst Source

isEmptySubst :: Subst -> Bool Source

substExcept :: Subst -> [Symbol] -> Subst Source

substfExcept :: (Symbol -> Expr) -> [Symbol] -> Symbol -> Expr Source

subst1Except :: Subable a => [Symbol] -> a -> (Symbol, Expr) -> a Source

targetSubstSyms :: Subst -> [Symbol] Source

filterSubst :: (Symbol -> Expr -> Bool) -> Subst -> Subst Source