hindley-milner-0.1.0.0: Template for Hindley-Milner based languages

Safe HaskellSafe
LanguageHaskell2010

Language.HM.Theta

Description

Capture-avoiding substitutions.

Synopsis

Documentation

type Theta = Map String Tau Source

Substitutions of type variables for monomorphic types.

class CanApply a where Source

Class of types to which type substitutions can be applied.

Methods

apply :: Theta -> a -> a Source

apply s t applies s to some type t.

Instances

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

s1 <@> s2 applies s1 to s2.