| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Core.Transform.SubstituteTX
Description
Capture avoiding substitution of types in expressions.
If a binder would capture a variable then it is anonymized to deBruijn form.
- class SubstituteTX c where
- substituteWithTX :: forall n. Ord n => Type n -> Sub n -> c n -> c n
- substituteTX :: (SubstituteTX c, Ord n) => Bind n -> Type n -> c n -> c n
- substituteTXs :: (SubstituteTX c, Ord n) => [(Bind n, Type n)] -> c n -> c n
- substituteBoundTX :: (SubstituteTX c, Ord n) => Bound n -> Type n -> c n -> c n
Documentation
class SubstituteTX c where Source
Methods
substituteWithTX :: forall n. Ord n => Type n -> Sub n -> c n -> c n Source
Instances
substituteTX :: (SubstituteTX c, Ord n) => Bind n -> Type n -> c n -> c n Source
substituteTXs :: (SubstituteTX c, Ord n) => [(Bind n, Type n)] -> c n -> c n Source
Wrapper for substituteT to substitute multiple types.
substituteBoundTX :: (SubstituteTX c, Ord n) => Bound n -> Type n -> c n -> c n Source