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

Copyright	(c) 2016 Finn Teegen
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Base.KindSubst

Description

This module implements substitutions on kinds.

Synopsis

class SubstKind a where
- subst :: KindSubst -> a -> a
type KindSubst = Subst Int Kind
bindVar :: Int -> Kind -> KindSubst -> KindSubst
substVar :: KindSubst -> Int -> Kind
idSubst :: Subst a b
singleSubst :: Ord v => v -> e -> Subst v e
bindSubst :: Ord v => v -> e -> Subst v e -> Subst v e
compose :: Ord v => Subst v e -> Subst v e -> Subst v e

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 Methods subst :: KindSubst -> TypeInfo -> TypeInfo Source #
SubstKind a => SubstKind (TopEnv a) Source #
Instance details Defined in Base.KindSubst Methods subst :: KindSubst -> TopEnv a -> TopEnv a Source #

type KindSubst = Subst Int Kind Source #

bindVar :: Int -> Kind -> KindSubst -> KindSubst Source #

substVar :: KindSubst -> Int -> Kind 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