| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Core.Collect.FreeX
Contents
Description
Collecting sets of variables and constructors.
Documentation
freeX :: (BindStruct c n, Ord n) => Env n -> c -> Set (Bound n) Source #
Collect the free Data and Witness variables in a thing (level-0).
bindDefX :: BindStruct c n => BindWay -> [Bind n] -> [c] -> BindTree n Source #
Helper for constructing the BindTree for an expression or witness binder.
Orphan instances
| BindStruct (Witness a n) n Source # | |
| BindStruct (Cast a n) n Source # | |
| BindStruct (Alt a n) n Source # | |
| BindStruct (Exp a n) n Source # | |
| BindStruct (Module a n) n Source # | |