Language.HM.Theta

Capture-avoiding substitutions.

Documentation

type Theta = Map String Tau

Substitutions of type variables for monomorphic types.

class CanApply a where

Class of types to which type substitutions can be applied.

Methods

apply :: Theta -> a -> a

apply s t applies s to some type t.

Instances

CanApply Sigma

CanApply Tau

CanApply TyTerm

CanApply t => CanApply (Typed t a)

(<@>) :: Theta -> Theta -> Theta

s1 <@> s2 applies s1 to s2.