curry-frontend-1.0.3: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Base.KindSubst

Description

This module implements substitutions on kinds.

Synopsis

Documentation

class SubstKind a where Source #

Methods

subst :: KindSubst -> a -> a Source #

Instances
SubstKind Kind Source # 
Instance details

Defined in Base.KindSubst

Methods

subst :: KindSubst -> Kind -> Kind Source #

SubstKind TypeInfo Source # 
Instance details

Defined in Base.KindSubst

SubstKind a => SubstKind (TopEnv a) Source # 
Instance details

Defined in Base.KindSubst

Methods

subst :: KindSubst -> TopEnv a -> TopEnv a Source #

idSubst :: Subst a b Source #

Identity substitution

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

Create a substitution for a single replacement

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

Extend a substitution with a single replacement

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

Compose two substitutions