Type.Normalise

Documentation

normaliseT :: Type -> Type

type StateN = State StateS

data StateS

Constructors

StateS

stateGen :: (Map NameSpace Int)
stateVarMap :: (Map Var Var)

Instances

Typeable StateS

bindVar :: Var -> StateN Var

normaliseTM :: Type -> StateN Type

normaliseVK :: (Var, Kind) -> StateN (Var, Kind)

Produced by Haddock version 0.7