DDC.Type.Env

data Env n

type SuperEnv n

type KindEnv n

type TypeEnv n

Construction

empty

singleton

extend

extends

union

unions

Conversion

fromList

fromTypeMap

Projections

depth

member

memberBind

lookup

lookupName

Primitives

setPrimFun

isPrim

Lifting

wrapTForalls

Wrapping

lift