curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

Subst

Documentation

data Subst a b Source

Constructors Subst Bool (Map a b) Instances (Show a, Show b) => Show (Subst a b)

idSubst :: Ord a => Subst a b Source

substToList :: Ord v => Subst v e -> [(v, e)] Source

bindSubst :: Ord v => v -> e -> Subst v e -> Subst v e Source

unbindSubst :: Ord v => v -> Subst v e -> Subst v e Source

compose :: (Show v, Ord v, Show e) => Subst v e -> Subst v e -> Subst v e Source

substVar' :: Ord v => (v -> e) -> (Subst v e -> e -> e) -> Subst v e -> v -> e Source

class IntSubst e where Source

Methods ivar :: Int -> e Source isubst :: Subst Int e -> e -> e Source

isubstVar :: IntSubst e => Subst Int e -> Int -> e Source

restrictSubstTo :: Ord v => [v] -> Subst v e -> Subst v e Source

Produced by Haddock version 2.4.2