Base.KindSubst

This module implements substitutions on kinds.

Documentation

class SubstKind a where

Methods

subst :: KindSubst -> a -> a

Instances

SubstKind Kind

Defined in Base.KindSubst

Methods

subst :: KindSubst -> Kind -> Kind

SubstKind TypeInfo

Defined in Base.KindSubst

Methods

subst :: KindSubst -> TypeInfo -> TypeInfo

SubstKind a => SubstKind (TopEnv a)

Defined in Base.KindSubst

Methods

subst :: KindSubst -> TopEnv a -> TopEnv a

type KindSubst = Subst Int Kind

bindVar :: Int -> Kind -> KindSubst -> KindSubst

substVar :: KindSubst -> Int -> Kind

idSubst :: Subst a b

Identity substitution

singleSubst :: Ord v => v -> e -> Subst v e

Create a substitution for a single replacement

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

Extend a substitution with a single replacement

compose :: Ord v => Subst v e -> Subst v e -> Subst v e

Compose two substitutions